Various projects written in Standard ML