Explore projects

[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

[Bordeaux INP] - connection between IDM and NSS

Explores ways to branch an RNG to measure things about a random process without changing the state of the RNG when doing measures or not.