Explore projects

[UPM] - Radiation module

An example application of Komodo. This implements a simple CLI application with a Nushell wrapper.

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

Our fork of Frama-C.

This repository contains a framework for injecting artificial SEU faults into RISC-V core. This work was done as a part of ISAE Supaero Master Aerospace Engineering degree.

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

Implementation of bigraphs in Coq.

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