Dense linear algebra subroutines for heterogeneous and distributed architectures

Parallel Sparse direct Solver

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

Base code for practicals 3rd year Ensimag and Mosig2 GVR. Contains everything needed to run shaders --- except the shaders themselves.

Biocham-4 sources and CI

IceSL scripting language documentation wiki

Verifiable online voting system

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

Grew rewriting rules to convert Sequoia to UD format

Tissue Image Toolkit (timagetk) is a Python package dedicated to image processing of multicellular architectures such as plants or animals.

implementation and metatheory of time credits and time receipts in Iris / Coq

Website of the Synalp research team of LORIA laboratory

The web interface for searching grew patterns in corpora

SYsTème embArqué faible consommation à mémoiRE persistante