Outil open source dédié à l'optimisation et à la synthèse de haut niveau (HLS) pour les circuits électroniques. Il permet de transformer des descriptions algorithmiques en architectures matérielles optimisées, facilitant ainsi la conception de systèmes embarqués et de circuits intégrés. Le projet intègre des fonctionnalités avancées pour l'analyse de performance et la génération automatique de code VHDL ou Verilog.

Un compilateur dédié à la transformation de programmes écrits en langage MinCaml vers du code assembleur ARM. Il permet de vérifier la cohérence des types, d'optimiser les performances et de générer un code exécutable pour des architectures matérielles cibles. Utilisé principalement dans un contexte académique ou de recherche pour l'enseignement des concepts de compilation.

OTAWA est un outil d'analyse et d'optimisation de performances de code logiciel sur des architectures matérielles spécifiques. Il permet de générer des rapports d'analyse détaillés et de proposer des optimisations de code pour améliorer les performances.

Ce projet vise à reproduire des traces d'exécution de code sur un processeur ARM v7 en analysant les signaux générés par un analyseur logique. Il explore des attaques matérielles pour tromper un moniteur de sécurité en simulant des accès mémoire et des branchements indirects. Les résultats permettent de renforcer la sécurité des systèmes embarqués contre des attaques ciblant les mécanismes de traçage matériel.

Le projet Capla Compiler est une version modifiée du compilateur CompCert, un compilateur C formellement vérifié. Il permet de transformer du code source C en code assembleur pour différentes architectures matérielles (ARM, PowerPC, RISC-V, x86) tout en garantissant la conformité du code généré par rapport au code source. Ce projet est utilisé dans des contextes où la fiabilité et la sécurité des programmes compilés sont critiques, notamment dans les domaines de la recherche, de l'éducation et de l'industrie.

Squelette de projet pour la programmation directe de matériel x86, permettant de créer un noyau de système d'exploitation bootable via une image ISO générée avec grub. Le projet inclut des interfaces pour la Global Descriptor Table (GDT) et l'Interrupt Descriptor Table (IDT), ainsi qu'un exemple de code C principal.

Squelette de projet pour la programmation directe de matériel x86, permettant de créer un noyau de système d'exploitation bootable via une image ISO générée avec grub. Le projet inclut des interfaces pour la Global Descriptor Table (GDT) et l'Interrupt Descriptor Table (IDT), ainsi qu'un exemple de code C principal.

Le référentiel de référence est un dépôt de code source qui gère les données de matériel informatique, automatise la configuration de clusters et génère des fichiers de configuration pour des logiciels réseau. Il permet de s'assurer que tous les clusters d'un parc informatique sont configurés de manière cohérente et optimale.

Nachos est un logiciel d'enseignement conçu pour les cours universitaires de systèmes d'exploitation. Il comprend un overviews, du code de base pour un système d'exploitation fonctionnel, un simulateur pour un ordinateur personnel/workstation générique, des exemples d'assignations, et un guide de démarrage en C++. Les assignations couvrent tous les aspects des systèmes d'exploitation modernes, y compris les threads, la multiprogrammation, les appels systèmes, la mémoire virtuelle, les traductions matérielles, les systèmes de fichiers, les protocoles de réseau, les appels de procédure distants, et les systèmes distribués.

Nachos est un logiciel pédagogique conçu pour enseigner les systèmes d'exploitation aux étudiants de niveau licence et master. Il propose un simulateur de machine générique, des exemples de code de base pour un système d'exploitation fonctionnel, et des exercices couvrant des sujets comme la gestion des threads, la mémoire virtuelle, les appels système, les protocoles réseau et les systèmes distribués. Utilisé dans les universités, il permet aux étudiants de manipuler concrètement les concepts théoriques tout en explorant les architectures matérielles et logicielles.