GitLab

A Unified Runtime System for Heterogeneous Multicore Architectures

Apps to compile from skel to gallina for use with the Coq Proof Assistant

Note : La publication de l'intégralité du code source de l’application mobile sous Android fait apparaitre des écrans et des textes qui évolueront au cours des jours qui viennent, en amont de tout déploiement éventuel (cd accueil/ README.md)

A library to build experimental frameworks on multiple platforms

A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.

Efficiently answering regular path queries on very large graphs, by guiding the search through distances in an embedding of the graph. This embedding is precomputed in quasi-linear time and space, independently of the regular query.

Data Processing for Cartolabe

Tool to prepare file before sending it to lola. It compress and crypt dataset and bordereau.

Scripts for Jenkins continous integration of CompCert

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

Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.

Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.

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

The FloPoCo arithmetic core generator

web-based user interface for rewriting in Grew