[http://setl.org/setl GNU SETL] is an implementation of SETL developed between 1989-2009 by David Bacon. Extensions include bindings to many POSIX functions for process control, sockets, asynchronous I/O and file management.