[hakank]

Not sure if they are that meningful, but I have a collection of SETL programs here: http://www.hakank.org/setl/ (My SETL page).

The page also includes some SetlX programs.