Full name Description Actions
testguixci Guix powered CI
gudhi Geometry Understanding in Higher Dimension
Blare Description of your software. Tools used to build and test your software.
FreeFem (additional slaves) Additional slaves for FreeFem CI
clinicadl Software to help in the clinical diagnosis of Alzheimer Disease using deep learning techniques.
Malia Rendering Framework MRF stands for Malia Rendering Framework, an open source library for predictive, physically-realistic rendering. It comes with [...]
Coquelicot Coquelicot provides vernacular files containing a formalization of real analysis for the Coq proof assistant. It is a conservat [...]
Gappa Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or [...]
CoqInterval CoqInterval provides vernacular files containing tactics for simplifying the proofs of inequalities on expressions of real numb [...]
Security Analyser A Python implementation of the Security Analyser which aims at computing a security level from data collected from the compiler
SIBR Description of your software. Tools used to build and test your software.