The Coq library that accompanies the Menhir parser generator.

The OpenViBE extras: Acquisition Server, demos, plugin contributions

Website of the Synalp research team of LORIA laboratory

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

Matrix Matrix Multiplication using Static Algorithms on Multicores and GPUs.

The meta repository for building OpenViBE

Biocham-4 sources and CI

Dense linear algebra subroutines for heterogeneous and distributed architectures

MoReFEM core library.

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

POMDP and rho-POMDP solver exploiting the Lipschitz-continuity of finite-horizon value functions

Public repository for the new implementation of the Generalized Parallel Replica algorithm, developed at CERMICS, ENPC, France, by Florent Hédin and Tony Lelièvre, in collaboration with INRIA MATHERIALS.

Object detection using a Marked Point Process (in Python 3)

Verifiable online voting system

Ab initio inference of metabolic pathways.

The main application

An LR(1) parser generator for OCaml.