Explore projects

Implementation of bigraphs in Coq.

Forked from https://github.com/arkworks-rs/poly-commit. Required as a dependency by https://gitlab.isae-supaero.fr/dragoon/pcs-fec-id.

forked from https://github.com/amtoine/dotfiles

This project contains gazebo simulations environment for use with ros2.

The PhD day at ISAE-Supaero. (template from https://github.com/hakimel/reveal.js)