A cross-platform integrated CASE system
Inventory Forms
Deductive Database with Datalog, SQL, RA, TRC, DRC
Intellect Modeling Kit: assisting research, diagnostics, consulting
A redefined framework with new approach and methodology for unit test
music composition and notation software, audio to midi converter
orchestrator / cluster deployment tool
High-performance transactional memory for Common Lisp
A command line utility for common string functions