A curated list of Rust code and resources.

A simple, fast and user-friendly alternative to 'find'

A new type of shell

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

a structural diff that understands syntax 🟥🟩

A Flash Player emulator written in Rust

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

Better configuration for less

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

A model checker for implementing distributed systems.

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

A brand-new language server for Typst, plus a VS Code extension

Kernel-Bypass LibOS Architecture

Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]

Rust libraries for interacting with hardware from TUXEDO Computers

Taming the transient while reconfiguring BGP (SIGCOMM'23)

NJU irsim in rust

Auto Nix GC Roots Retention

A raytracer in Rust