Read news on crates with our app.
Read more in the app
Cutting down Rust compile times from 30 to 2 minutes with one thousand crates
I've compared nearly all Rust crates.io crates to contents of their Git repos
Translation of Rust's core and alloc crates to Coq for formal verification
What we've been playing - pools, crates, and tombs
