Rust newtype with guarantees 🇺🇦 🦀

A cryptographically verifiable code review system for the cargo (Rust) package manager.

supply-chain security for Rust

Mirror rustup and crates.io repositories, for offline Rust and cargo usage.

A free book about developing secure and robust systems software.

Rust async runtime based on io-uring.

The Witchcraft Compiler Collection

POSIX makefile linter

automated releases based on conventional commits

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/

A rust library for parsing ethernet & ethernet using protocols.

A markup-based typesetting system that is powerful and easy to learn.

Component to perform network speed tests against Cloudflare's edge network

Grafana dashboards

🥧 Savoury implementation of the QUIC transport protocol and HTTP/3

A more powerful alternative to sysctl(8) with a terminal user interface 🐧

Syllabus du cours de principes de fonctionnement des ordinateurs

IPv6 routing examples with IPMininet for the CNP3 ebook

Student project for advanced networking course. The set of scripts to provision VMs, build a virtual exchange point and run virtual campus networks on VM for an advanced networking course.

Linux Kernel implementation of MultiPath TCP

REPETITA: Repeatable Experiments for Performance Evaluation of Traffic-Engineering Algorithms

Computer Networking : Principles, Protocols and Practice (first and second edition, third edition is being written on https://github.com/cnp3/ebook)