MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions
Your graphical tool for Syntactic/Semantic Structure Analysis of texts
console-mode visual binary diff
A graphical Finite State Machine (FSM) designer.
Electric Behaviour of Crystals and Pierce Crystal Oscillators
Fast C library for relation algebra using binary decision diagrams.
Java Decision Diagrams (BDD) libraries: JDD and JBDD