Explore projects

A drone simulator using Gazebo and ROS.

Fork of CAPEv2 to add new functionalities.

Gathers technical materials to follow on what has been learnt and what is to be learnt

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

Extensions of GNU Guix for high-performance computing.

Simple threejs app for low vision simulations

Dense linear algebra subroutines for heterogeneous and distributed architectures

https://numpex-pc5.gitlabpages.inria.fr

Contains the code for the webinterface of botascopia

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

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

Python bindings for graph2svg rust library.

Library to convert graph to SVG file. Support constraints for positions and sizes of nodes and edges.