This site may become many things, but for now it serves mainly to host an implementation of SETL.
I have also posted here a few items in memory of Jen Stark.
dB