Explore projects

Fork from https://gitlab.inf.telecom-sudparis.eu/infra-web/hotcrp-docker.git

Code archive for the paper Does Functional Package Management Enable Reproducible Builds at Scale? Yes.

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

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

RAMSES-2 (Refinement of AADL Models for Synthesis of Embedded Systems) is a model refinement and code generation tool that produces C code for ARINC653, OSEK and POSIX-compliant operating systems. More at https://mem4csd.telecom-paristech.fr/blog/