Free Software

Scientific

• HSOLVER: verification of hybrid systems
• RSOLVER: solver for quantified constraints over the real numbers
• Approximate Quantified Constraint Solving (AQCS) (superseded by RSOLVER!)
• Interface between O'Caml and the interval library smathlib

Other

(using the functional programming language Haskell ):

• Vocabulary Trainer
• Music generator