Formal methods
Model checkers
BLAST model checks C code using counterexample-driven predicate abstraction.
Proof assistants
System administration
Cooperative hosting tools help manage shared daemons on cooperatively-run UNIX servers
Web tools
Dynamic web site tools for SML: A sort of PHP replacement with statically checked page sources and the ability to interact with StandardMl modules. Also includes separately-usable SQL database interfaces.