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.

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

This project contains gazebo simulations environment for use with ros2.

A LaTeX template to write beautiful posters.

A Nushell module that help cruising academic papers to build a bibliography.

Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html

Recipe for SEMpy library

Acado Toolkit solvers testing

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

A repository for our fork of Frama-C.

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

[UPM] - Radiation module