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

Contribute to KarelPeeters/Kyanite development by creating an account on GitHub. (more…)

Heroic Labs builds Nakama - an open-source social and realtime server for games and apps. (more…)

RustyHermit is a unikernel, which is completely written Rust. Unikernels are application images that directly contain the kernel as a library, so they do not require an installed operating system (OS). They are typical used in virtualized environments, wh... (more…)

Post with 7725 views. Code gen'd quick sunday slam - Comparing compilation time of random code in C++, D, Go, Pascal and Rust... (more…)