Explore projects
-
-
Updated
-
Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
Updated -
Vue d'ensemble des codes sources des composants de la plateforme StopCovid (version 1.0 à 1.X sur iOS et 1.Y sur Android). La V2.0 (et ses évolutions futures) est renommée TousAntiCovid. (voir README.md)
Updated -
An introduction level training course on Docker and Docker-compose.
Updated -
-
Updated
-
A Coq formalization of real analysis compatible with the standard library.
Updated -
Updated
-
A C program for solving the heat propagation equation in 2D. Serves also as a toy project for playing with gitlab, gitlab-ci, Jenkins, SonarQube, etc.
Updated -
Official repository for "Intracranial Aneurysm Detection: An object detection perspective" paper
Updated -
Updated
-
-
CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.
Updated -
-
-
Implementation of an anonymous credential, where the Verifier cannot learn who is the Issuer of a given signature.
Updated -
Updated
-
Code to create a docker for multi-person tracking
Updated -
Docker environment for perception nodes for bodies: front_fisheye_2d_body_pose_detector, 3d_body_tracker, body_to_face_mapper, group_detector
Updated