Explore projects

Arduino demo software for this project's hardware

Arduino demo software for this project's hardware

Resource-Constrained Scheduling Solver based on difference logic and clause learning

Set of tools for the Gepetto Team

python bindings for the rbprm library

https://github.com/stack-of-tasks/pinocchio

Cache side channel attacks for RISC-V (also works for x86)

https://github.com/stack-of-tasks/pinocchio

ROS package to interface with cosypose

Implementation of the sl1m solver for multi contact planning