Explore projects

An SQL querybuilder written in Python.

VASICyto

Spring WP6 - Learning Robot Behavior

Main leader : Inria

https://spring-h2020.eu

Data Processing for Cartolabe

Rework of the website around the scientific community on "Term Rewriting" http://rewriting.loria.fr/.

Command-line for ci.inria.fr.

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

A workspace to test panda_qp_control

Data Processing for Cartolabe

Command-line for ci.inria.fr.

Mapping and localization pipelines with COLMAP + Hloc

Command-line for ci.inria.fr.

diodon project with numpy