Dense linear algebra subroutines for heterogeneous and distributed architectures

Extensions of GNU Guix for high-performance computing.

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

Parallel Sparse direct Solver

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.

Collection of CMake modules that can be shared among projects

N-body simulation using kernel independent Fast Multipole Method

PIPER application

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

A library to build experimental frameworks on multiple platforms

Phd thesis template for the UBL MathSTIC doctoral school:

https://ed-mathstic.u-bretagneloire.fr/fr/8_soutenance-de-these

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

ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.

command line interface to the Grew library

python client for sharelatex and a tool to manage a project between git and the web UI.

A set of commonly used widgets written using Qt5.