Full name Description Actions
OCaml Testing OCaml under Windows, BSD, Linux, MacOSX.
MIXMOD Mixture Models for Clustering and Discriminant Analysis C++ software suite for high performance clustering and discriminant analysis based on mixture models. The three major component [...]
Eigen Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related algorithms.
CosyVerif CosyVerif is a software environment whose goal is the formal specification and verification of dynamic systems.

Matrices Over Runtime Systems @ Exascale http://icl.cs.utk.edu/projectsdev/morse/software/index.html
coq Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms [...]
DiverSE Commons Libraries and tools for the DiverSE INRIA team that are reusable accross projects
Chevalier ConPaaS