Explore projects

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

An SQL querybuilder written in Python.

Dense linear algebra subroutines for heterogeneous and distributed architectures

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

Declearn - a modular and extensible python framework for Federated Learning

A library to build experimental frameworks on multiple platforms

The OpenViBE Designer project. This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.

This project aims at providing a set of tools to generate efficient trees for the tile QR/LQ algorithms in order to reduce the volume of communications and increase the level of parallelism of those algorithm for Tall and skinny matrices.

The OpenViBE extras: Acquisition Server, demos, plugin contributions

ConnectionStudio integrates highly heterogeneous data into graphs, enriched with extracted entities. Studio users can discover the entities in their data, navigate across connections between datasets, explore and query the data in many ways. The Studio currently supports: CSV, JSON, XML, RDF, text, property graphs, all Office formats, and PDF datasets.

For more information, see: https://connectionstudio.inria.fr

The scientific publications behind the platform: https://team.inria.fr/cedar/connectionlens/

Sources of the Abstract Categorial Development toolkit.

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