SpecWare is a ProgramSynthesis system based on CategoryTheory.

*Homepage:* http://www.kestrel.edu/HTML/prototypes/specware.html