Explore projects

A template to write simple math documents.

A LaTeX template to write beautiful posters.

This project contains gazebo simulations environment for use with ros2.

Plant segmentation for the farmbot.

Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html

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

This project contains gazebo simulations environment for use with ros2.

This repo contains an Airfoil demo app I use to lecture about airfoil aerodynamics, solving differential equations through state-space dynamic functions and Runge-Kutta in C/C++, modeling, and others.

Implementation of bigraphs in Coq.

Acado Toolkit solvers testing

This library proposes an easy way to implement real-time algorithms for critical embedded systems.