Explore projects

This project contains gazebo simulations environment for use with ros2.

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

A LaTeX template to write beautiful posters.

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

Acado Toolkit solvers testing

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

Contains SEMpy's documentation and a set of examples of the library applications.

Recipe for SEMpy library

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

[Bordeaux INP] - connection between IDM and NSS

A repository for our fork of Frama-C.

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

[UPM] - Radiation module

This repository contains "experimental modular TFA" (aka xtfa), a python-implementation of the algorithms and data structures that I have developed during my thesis. For more information on the theoretical grounds, please consult my manuscript.