Free Software
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
Last Modification: December 21, 2009
Free Software