Explore projects
-
Updated
-
A simple project showing how to use Witmotion IMUs for doing inverse kinematics using biorbd library and calculating the human's force polytope.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Command-line for ci.inria.fr.
Updated -
Simple example of a docker-in-docker project launched on the shared runners with good practices.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Updated