Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

a structural diff that understands syntax 🟥🟩

Learn Rust by writing Entirely Too Many linked lists

A static verifier for Rust, based on the Viper verification infrastructure.

🛡️ Terminal-based, real-time traffic monitoring and statistics for your AdGuard Home instance