spitbol The SPITBOL repository now lives at https://github.com/spitbol/spitbol. (No further work will be done on this version after 14 June 2015.)