Explore projects

Customized rddlsim version for my personal use

Document de travail pour les cours de ROS-2 à l'ANF en septembre 2022

Modèle de thèse initialement publié à git:redmine du LAAS. Télécharger et utiliser en locale (besoin latexmk + pdflatex je crois), ou en Overleaf. N'hésite pas à l'améliorer!

Sample and basic use of LaTeX beamer theme

Try to adapt Mastik Toolkit to RISC-V

MATANA Implementation on Chipyard (Rocket-Chip RISC-V Softcore processor) on ML605 board

H-Fiacre example of a puck tracking system

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