TTool est un ensemble d'outils dédié à la création et à la vérification de diagrammes UML et SysML. Il permet de simuler et de vérifier la sécurité, la performance et d'autres propriétés formelles de ces diagrammes.

Nouveau thème Beamer aux couleurs de Télécom Paris, permettant de créer des présentations professionnelles et personnalisées pour un usage académique ou corporate.

Modèle pour la génération de supports de cours au format HTML, PDF et DOCX à partir d'une source unique au format markdown/pandoc. Il permet de gérer des figures SVG, de les convertir en PDF pour une utilisation avec Latex et de masquer certains blocs en fonction de la valeur d'une variable.

MERLIN est un framework de réduction de bruit pour les images radar syntétiques à haute résolution. Il utilise une stratégie d'apprentissage auto-supervisé pour former des réseaux neuronaux profonds à la réduction du bruit speckle, sans besoin de données de référence. MERLIN prend en compte les corrélations spatiales spécifiques à chaque capteur et mode d'imagerie radar.

Pydesfire est un projet permettant de gérer des cartes à puce et de communiquer avec des lecteurs de cartes via une interface définie. Il offre des fonctionnalités de sécurisation des données grâce au cryptage et à la gestion des clés.

MCsimCoq est un outil de simulation de systèmes de mémoire informatique. Il permet d'analyser les performances de différents types de mémoire, tels que DDR3 et DDR4, en utilisant des modèles formels générés par Coq. Il vérifie également la conformité des commandes de mémoire avec les protocoles spécifiés.

OSATE-DIM est un outil permettant de faciliter la transformation de modèles AADL grâce à la génération de traces de transformation et à la visualisation de ces dernières.

Outil dédié à la conception de systèmes numériques, proposant une simulation basée sur Verilog/SystemVerilog et SystemC à l'aide de Verilator.

VaFL (prononcé 'waffle') est un langage de cadre de validité qui aide à la conception de modèles pour des systèmes physiques, génère automatiquement une documentation technique à partir de ces modèles et permet également de valider ces modèles.

BeamerTPT est un projet dédié à la création de présentations professionnelles en utilisant le langage LaTeX et le package Beamer. Il offre des fonctionnalités de personnalisation des diapositives et la possibilité d'utiliser des thèmes prédéfinis pour faciliter la conception.