Today we have released a library that you can use to implement license key verification for applications written in Rust. The library is freely available on GitHub. To verify a license, you can use… (more…)

While we focus on Haskell at MMH, it's also good to branch out to other languages every once and a while. If you're a diehard Haskell developer, Rust is one of the more interesting languages to try out when you broaden your horizons. Its syntax has a lot ... (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…)

A Rust framework for building Minecraft servers. Contribute to valence-rs/valence development by creating an account on GitHub. (more…)

A Rust DHCP server. Contribute to bluecatengineering/dora development by creating an account on GitHub. (more…)