David Tolnay's starred repositories
sanitizers
AddressSanitizer, ThreadSanitizer, MemorySanitizer
rust-base64
base64, in rust
coq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
rustc-demangle
Rust symbol demangling
rustc-build-sysroot
Build a rustc sysroot with custom flags