| Full name | Description | Actions |
|---|---|---|
| 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. | ||
| CosyVerif is a software environment whose goal is the formal specification and verification of dynamic systems. [...] |
||
| Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms [...] | ||
| Libraries and tools for the DiverSE INRIA team that are reusable accross projects | ||
| ConPaaS | ||
| ConPaaS pylint/pep8 unit and mocked tests also functional testing with VM deploying containers |
