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

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

A library to build experimental frameworks on various platforms

Simple experimental campaign workflow

Dense linear algebra subroutines for heterogeneous and distributed architectures

An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data

Ocaml library for grew

command line interface to the Grew library

Parallel Sparse direct Solver

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

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

PIPER application