Explore projects

Welcome to the gitlabci gallery! Please start by reading this first.

An LR(1) parser generator for OCaml.

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.

User documentation of Inria's Continuous Integration services

An experimental GUI programming toolkit based on the Entity-Component-System (ECS) model

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

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

An introduction level training course on Docker and Docker-compose.

Biocham-4 sources and CI

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.

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

https://aviz.gitlabpages.inria.fr/swimflow/

ProVerif symbolic protocol verifier

Demo website for Palmed. Intended to be publicly available.

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.

Web-based scalable visualization fo large document collections