Explore projects

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

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

In this repository, you can find information about the tool Model-based to Design Matrix (MB2DM) which is for the creation of design structure matrices from SysML models.

Projet public mettant à disposition l’exécutable d'installation

Our fork of Frama-C.

A project that investigate the correcteness and performance of different quicksort implementations.