| Full name | Description | Actions |
|---|---|---|
| Inria Startup Studio project Concordant | ||
| Guix powered CI | ||
| Description of your software. Tools used to build and test your software. | ||
| Additional slaves for FreeFem CI | ||
| Software to help in the clinical diagnosis of Alzheimer Disease using deep learning techniques. | ||
| MRF stands for Malia Rendering Framework, an open source library for predictive, physically-realistic rendering. It comes with [...] | ||
| Coquelicot provides vernacular files containing a formalization of real analysis for the Coq proof assistant. It is a conservat [...] | ||
| Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or [...] |
