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

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.

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

A set of commonly used widgets written using Qt5.

The web interface for searching grew patterns in corpora

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

PIPER application

The library

Dense linear algebra subroutines for heterogeneous and distributed architectures

Extensions of GNU Guix for high-performance computing.

N-body simulation using kernel independent Fast Multipole Method

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