Distributed Micro Network Emulation (DµNE) Framework

SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/

Parser for the IS-IS protocol, written in pure rust

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

llvm2KITTeL

Formal verification of the side-effects property on PQUIC plugins by using SeaHorn

Formal methods play an important role in validating networking protocols. During the development of TLS 1.3, formal methods have helped to identify several issues with draft versions of the protoco…

Reconstruct a 3D digital twin of the plant from pictures (RGB images) and quantify its phyllotaxis.

The operating system and all related software that runs on FarmBot's Raspberry Pi.

Simulate data upload to boost your ratio on BitTorrent trackers

Exercises for the ebook Computer Networking : Principles, Protocols and Practice

lighttpd1.4 on github for easier collaboration - main repo still on lighttpd.net

Documentation on Multipath TCP and its socket API

📝 A curated list of awesome Raspberry Pi tools, projects, images and resources

PDF et sources des différentes fiches Informatives du Louvain-li-Nux

Synthèses et travaux pour l'EPL