Explore projects

An SQL querybuilder written in Python.

Spring WP6 - Learning Robot Behavior

Main leader : Inria

https://spring-h2020.eu

Docker environment for perception nodes for bodies: front_fisheye_2d_body_pose_detector, 3d_body_tracker, body_to_face_mapper, group_detector

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

https://pberg.gitlabpages.inria.fr/bedrock

Simple example of pipelines with two stages.

Usage example to expand github actions commands in gitlab-ci.

Data Processing for Cartolabe

Data Processing for Cartolabe

VASICyto

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.