Explore projects

Some slides about the gitlabci gallery project

An LR(1) parser generator for OCaml.

https://learninglab.gitlabpages.inria.fr/serious-game/smartphone

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.

Demo : https://learninglab.gitlabpages.inria.fr/mooc-styleguide/

Mooc Recherche Reproductible ressources publiques (https://learninglab.gitlabpages.inria.fr/mooc-rr/mooc-rr-ressources)

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.

Generic service to manage geo-distributed resources

Test Management tool (Testing session management, user, organization and system registration, network configuration, test plan and test execution, reporting).

User documentation of Inria's Continuous Integration services

Biocham-4 sources and CI

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

Demo website for Palmed. Intended to be publicly available.

ConnectionLens ingests heterogeneous data sources (JSON, XML, HTML, CSV, RDF, relational databases, text files, PDF) into a single, integrated graph. It stores these graphs and allows querying them using keywords, and connecting them through a GUI.

Documentation for the Titanic cluster

ProVerif symbolic protocol verifier