Explore projects

Customized rddlsim version for my personal use

File database for solo robot using the hpp-rbprm framework

File database for solo robot using the hpp-rbprm framework

Benchmarks of the Pinocchio library

A repository to perform integration tests

BE INSA

Website

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

Try to adapt Mastik Toolkit to RISC-V

Implementation of the sl1m solver for multi contact planning

Linux Module for : 1) R/W mmio registers. 2) Context change send info. 3) Interrupts handler.