SOFA plugin to track the surface of non-rigid objects using RGB-D camera.

bibtex-sw-entry

CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

Extraction de la structure logique pour le corpus des Ouvriers des Deux Mondes (monographies de Le Play).

A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.

Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.

A project providing digital recognition of handwritten documents using machine learning techniques.

A library to build experimental frameworks on various platforms

Simple experimental campaign workflow

Project move to github

KNOT: Knowledge Network Overlap exTraction is a tool for the investigation of fragmented long read assemblies.

Verifiable online voting system http://www.belenios.org

Sources of the Abstract Categorial Development toolkit.

Alpha language includes the core language, its parser, and editor based on Xtext.

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