Usbsas est un outil et un framework open source permettant de lire en toute sécurité des clés USB non fiables. Il vise à réduire la surface d'attaque de l'empilement USB en déplaçant la plupart des tâches USB (analyse de paquets USB, commandes SCSI, systèmes de fichiers, etc.) habituellement exécutées dans l'espace noyau vers l'espace utilisateur, chaque tâche étant exécutée dans un mode informatique restreint.

Portail est un proxy d'accès conçu pour sécuriser et contrôler les connexions terminales. Il permet de filtrer, rediriger ou bloquer les requêtes selon des règles d'accès avancées basées sur des métadonnées (appareils, géolocalisation, risques). Le système offre une journalisation détaillée des connexions et une authentification renforcée via certificats mTLS ou OIDC. Il vise à remplacer les solutions obsolètes comme Squid ou tinyproxy pour un usage moderne et sécurisé.

Joulehunter est un outil d'analyse de la consommation d'énergie des programmes. Il permet d'identifier les parties du code qui consomment le plus d'énergie, contribuant ainsi à l'optimisation de la consommation énergétique des logiciels.

NixOS-Compose vise à simplifier la configuration d'environnements distribués éphémères grâce à Nix, le gestionnaire de packages fonctionnel, et Nixos. Il s'inspire de NixOS Tests, nixos-generators et Arion.

TRISTAN est un défi EIG (Entrepreneur d'Intérêt Général) visant à aider les magistrats dans la préparation de leurs audiences en fournissant une API REST Django, des workers Celery, un frontend React.js, un bouchon SPS et un projet de démo Angular.js.

Ce projet propose une implémentation de référence pour déployer une infrastructure sécurisée et légère, adaptée aux besoins d'une petite organisation comme Securix. Il s'appuie sur des outils modernes et des bonnes pratiques de sécurité pour offrir une solution modulaire et facile à prendre en main, notamment pour les utilisateurs familiers avec Nix.

Anima est une bibliothèque alternative conçue pour manipuler le langage 'skel' en Haskell. Elle propose des utilitaires pour analyser et typer des fichiers skel, facilitant ainsi le développement et le débogage de ce type de fichiers. Le projet est encore en phase de développement mais offre déjà des fonctionnalités de base pour les développeurs souhaitant travailler avec ce langage.

Ensemble d'outils Go autour de Batsim pour simplifier les expériences. Il permet de gérer l'exécution de simulations, de tester les outils associés et de construire des workflows expérimentaux robustes avec Batsim.

Batsim est un outil de simulation dédié à l'étude des systèmes de calcul haute performance. Il permet d'analyser et d'optimiser les performances des infrastructures informatiques, notamment en évaluant l'impact énergétique des politiques d'ordonnancement de tâches. Utilisé dans la recherche académique et industrielle, il aide à concevoir des solutions plus efficaces et durables pour les centres de données et les supercalculateurs.

Baxmc est un outil permettant de résoudre des problèmes d'optimisation combinatoire en utilisant des techniques avancées telles que l'analyse de symétries et la génération de clauses et de permutations. Il peut être utilisé de différentes manières, y compris via Docker ou Nix, et est open source sous licence CeCILL-B.