Research Software
- The Metis theorem prover is released as free software.
- The opentheory tool processes theory packages for the OpenTheory project.
Powered by 
- The Gomi go playing program is released as a Mac OS X binary.
- The fen2img chess diagram maker powers the Gilith chess diagram generator.
