Explore projects

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.

A repository for our fork of Frama-C.

Ros2 packages

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

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

Nanospace Demonstration

Acado Toolkit solvers testing

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

Recipe for SEMpy library

[Bordeaux INP] - connection between IDM and NSS