In my #rust2020 blog post, I mentioned rather off-handedly that I think the time has come for us to talk about forming a Rust foundation. I wanted to come ba... (more…)
Read more »
We present Aeneas, a new verification toolchain for Rust programs based on a
lightweight functional translation. We leverage Rust's rich region-based type
system to eliminate memory reasoning for many Rust programs, as long as they do
not rely on interior... (more…)
Read more »
A pure functional language for type-level programming in Rust - willcrichton/tyrade... (more…)
Read more »
Natural language detection library for Rust. Try demo online: https://whatlang.org/ - greyblake/whatlang-rs... (more…)
Read more »