GitLab

TTool (pronounced "tea-tool") is a toolkit dedicated to the edition of UML and SysML diagrams, and to the simulation and formal verification (safety, security, performance) of those diagrams. See ttool.telecom-paris.fr and @TTool_UML_SysML

TD équation de Kaya, transition énergétique et développement durable

Python implementation of the GLRT based linear features detector proposed by N.Gasnier, L.Denis, F.Liège, R.Fjørtoft, and F.Tupin in Narrow River Extraction from SAR ImagesUsing Exogenous Information (Submitted to IEEE JSTARS).

This project provides utility libraries that can be used by several MBE tools such as RAMSES, TTool or RDALTE

RAMSES (Refinement of AADL Models for Synthesis of Embedded Systems) is a model transformation and code generation tool that produces C code for ARINC653-compliant operating systems and OSEK-compliant operating systems.

Présentation de l'offre de service de la DSI

Model synchronization between Adele and OSATE with MoTE TGG.

Yet another Makefile for LaTeX

This repository contains the code in order to reproduce the results presented in "Enriching Wikidata with Semantified Hyperlinks" by Armand Boschin and Thomas Bonald.

Example project for a bash/python3 course. Labs managed using git, GitLab and GitLab CI.