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

[UPM] - Radiation module

Nanospace Docker Images (Front-End/Back-End)

[UC3M] activity profile tool designer

[Bordeaux INP] - connection between IDM and NSS

Recipe for SEMpy library

Acado Toolkit solvers testing

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