Explore projects

Implementation of bigraphs in Coq.

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

This project contains gazebo simulations environment for use with ros2.

Plant segmentation for the farmbot.