Explore projects

Plant segmentation for the farmbot.

test

This repository contains "experimental modular TFA" (aka xtfa), a python-implementation of the algorithms and data structures that I have developed during my thesis. For more information on the theoretical grounds, please consult my manuscript.

Ros2 packages

Implementation of bigraphs in Coq.

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