- Crypto: an SML/NJ cryptogram encoder/decoder, intended as a functional MVC example
- eXene: a multi-threaded, higher-order user-interface toolkit for the X window system
- Forlan: a toolset for experimenting with formal languages
- Kripke: a countermodel checker for intuitionistic propositional logic
- Lambda: a program for solving lambda definability problems of order at most two
- Porgi: a Proof-Or-Refutation Generator for Intuitionistic propositional logic
- An SML/NJ library for pretty-printing possibly infinite syntax trees
- A Standard ML program for generating SML/NJ transcripts in LaTeX

Alley Stoughton (alley.stoughton@icloud.com)