Explore projects

Plant segmentation for the farmbot.

[UC3M] activity profile tool designer

[IST] ADCS-Module - based on Orekit/Patrius

Ros2 packages

awesome_ros2_tutorials is a gitlab project who containt the docs, and the packages for taking in hand ros2 in the isae autonomous platform.

Library for performing acoustic beamforming from signal obtained with an array of microphones.

Effects of Boundary Conditions in Fully Convolutional Networks for Learning Spatio-temporal Dynamics

Fork of Certyflie project from AdaCore, cf. https://github.com/AdaCore/Certyflie

Reproducibility study of a multiscale CNN used for modelling PDE's

Implementation of bigraphs in Coq.