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

N-body simulation using kernel independent Fast Multipole Method

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

A set of commonly used widgets written using Qt5.

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

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.

The web interface for searching grew patterns in corpora

PIPER application

The library

Dense linear algebra subroutines for heterogeneous and distributed architectures

Extensions of GNU Guix for high-performance computing.

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

Simple experimental campaign workflow

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

A library to build experimental frameworks on multiple platforms