Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
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
-
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.
-
This project provides utility libraries that can be used by several MBE tools such as RAMSES, TTool or RDALTE
-
-
TD équation de Kaya, transition énergétique et développement durable
-
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.
-
A toy example project showing how GitLab CI can be used for teaching
-
Nouveau thème Beamer aux couleur de Télécom Paris
-
Nouveau thème Beamer aux couleur de Télécom Paris
-
Modèle de présentation Beamer + Modèle de Poster aux couleur de TPT
-
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).
-
16 nibbles (64 bits) parallel sboxes using Xilinx CFGLUT5 primitive
