Explore projects

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.

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

Provide the gnomon core functionalities.

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

An OCaml library that provides facilities for memoization and fixed points.

Perceptual Evaluation platform

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

Documentation for the Titanic cluster

Flexible and extensible framework that integrates state-of-the-art methods for graph partitioning and sparse matrix ordering.

A tool to do conversions between Gamma Mesh Format (see libMeshb) files and VTK files for ParaView

CoRTex is a LGPL-licensed Python library for Noun Phrase coreference resolution in natural language texts. The version corresponds to a new implementation of the legacy 'cortex' project. Main novelty is the support of the French language.

Python library for manipulating trees and DAG reduction of trees

PlaFRIM user documentation

CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.