|Axel is an algebraic geometric modeling platform|
|A framework to benchmark different optimistic replication mechanisms.|
|Testing OCaml under Windows, BSD, Linux, MacOSX.|
|C++ software suite for high performance clustering and discriminant analysis based on mixture models. The three major component [...]|
|Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related algorithms.|
|K3 action language is the evolution of Kermeta action language.|
|CosyVerif is a software environment whose goal is the formal specification and verification of dynamic systems.
Are you sure you want to delete this project?