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…)

The page is loading. If for some reason nothing shows up you can see the newest post by going to GitHub where the code is hosted. Just click here. (more…)

Tornado. Contribute to WuerthPhoenix/tornado development by creating an account on GitHub. (more…)

Microsoft already stewards several popular programming languages -- C#, TypeScript, F# -- so what's up with its love of Rust, along with the rest of the world? (more…)

Twistr is a Domain name permutation and enumeration library powered by Rust. It aims to directly port the well-known dnstwist tool allowing for fast and flexible interfacing capabilities with the core libraries based on client's requirements. (more…)