Software

• 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