Beast est un outil de simulation et de test dédié aux infrastructures réseau. Il permet aux administrateurs système, développeurs et chercheurs de modéliser des environnements réseau complexes pour analyser les flux, tester des protocoles ou valider des configurations avant déploiement. Le projet offre une plateforme flexible pour étudier le comportement des réseaux locaux, des routeurs ou des commutateurs dans des conditions contrôlées.

Ce projet académique vise à explorer et analyser les algorithmes fondamentaux utilisés dans les réseaux informatiques. Il permet aux étudiants de comprendre les mécanismes de transmission de données, d'évaluer l'efficacité des protocoles et de simuler des scénarios réels pour optimiser les performances des infrastructures réseau.

Projet open source dédié à la simulation de réseaux informatiques avancés, notamment axé sur les protocoles de communication comme ceux utilisés dans les réseaux définis par logiciel (SDN) et les architectures de type Named Data Networking (NDN). Il permet aux chercheurs, ingénieurs et étudiants de modéliser, tester et analyser le comportement des réseaux dans des environnements contrôlés et reproductibles.

Ce projet pédagogique accompagne un TP d'architecture des réseaux axé sur le routage. Il permet aux étudiants de configurer des machines virtuelles, d'étudier les adresses IP, les tables de routage et les protocoles comme OSPF. Les apprenants manipulent des commandes réseau et analysent le trafic pour comprendre les mécanismes de transmission de paquets entre réseaux.

Parsifal est un moteur de parsing basé sur OCaml, conçu pour analyser et décoder divers formats binaires et protocoles réseau. Il permet d'extraire des informations structurées à partir de fichiers ou de flux réseau, notamment des certificats SSL/TLS, des messages cryptographiques ou des formats de fichiers complexes. Utilisé principalement par des experts en sécurité informatique et en analyse de données.

RNoC Simu est un cadre de simulation dédié aux routeurs R-NoC, basé sur le framework open-source HNOCS. Il permet de modéliser et d'analyser des réseaux sur puce (NoC) hétérogènes en utilisant le simulateur OMNeT++ comme moteur backend. L'outil facilite la validation de protocoles de communication et l'évaluation des performances des architectures de réseaux sur puce.

PRISM est un outil open source dédié à la vérification formelle de systèmes probabilistes et stochastiques. Il permet de modéliser et d'analyser des systèmes complexes comme les protocoles de communication, les algorithmes distribués ou les réseaux de files d'attente. L'outil prend en charge plusieurs formalismes (DTMC, CTMC, MDP, etc.) et offre des fonctionnalités avancées pour l'évaluation de propriétés quantitatives et temporelles.

Ce projet est un analyseur de paquets pour le protocole SSH 2.0. Il permet de reconnaitre les différentes versions de SSH et de parsing les paquets pour assurer une analyse sécurisée des échanges réseau.

Rusticata est un projet Rust dédié à l'analyse et au test de protocoles réseau. Il fournit des parseurs pour une variété de protocoles, y compris DHCP, DNS, HTTP, IPsec, Kerberos, LDAP, NetBIOS, NTP, OpenVPN, Radius, SNMP, SSH et TLS.

Ce projet consiste en une simulation de réseaux pair-à-pair utilisant le framework PeerSim. Il permet d'analyser les performances de différents protocoles de diffusion de messages et d'étudier la cohérence des données dans un contexte de blockchain. Les résultats obtenus peuvent être utilisés pour évaluer et comparer l'efficacité et la fiabilité de divers algorithmes de diffusion de messages dans des réseaux pair-à-pair.