Explore projects

A simple project showing how to use Witmotion IMUs for doing inverse kinematics using biorbd library and calculating the human's force polytope.

Command-line for ci.inria.fr.

Simple example of a docker-in-docker project launched on the shared runners with good practices.

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