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.

Our fork of Frama-C.

[Bordeaux INP] - connection between IDM and NSS

forked from https://github.com/amtoine/dotfiles

[Nanostar Team]

Acado Toolkit solvers testing

Forked from https://github.com/arkworks-rs/poly-commit. Required as a dependency by https://gitlab.isae-supaero.fr/dragoon/pcs-fec-id.

This project contains gazebo simulations environment for use with ros2.

A LaTeX template to write beautiful posters.

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

[ISAE-SUPAERO] - Mission Analysis

User version - v1.0 - CS-Group

Tool dedicated to preliminary Space Mission Analysis

(Orbit definition, surface coverage, visibility windows, eclipse calculation, etc.)

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.

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

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

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

A project that investigate the correcteness and performance of different quicksort implementations.