Explore projects

Public repository hosting the simulator for the Similitude paper, imported from github on 2018-06-11: https://github.com/plroman/similitude_experiments

Testing StoryTeller (https://gitlab.inria.fr/aluxey/gossip/tree/master/storyteller)

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Presentation of LMS-MUFF done at ICT 2018

Collection of CMake modules that can be shared among projects

Use of YOLO to test and traing on caltech datasets

Collection of CMake modules that can be shared among projects

Package for algebraic curves and surfaces

Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filters, and more. All exercises include solutions.

Mirror site to download state-of-the-art partitioning software.

Portage en Python3 à partir de Vensim du modèle World3-2003 (révision de 2005).

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.

Draws ASCII boxes and arrows.