Bringing structurally typed functions to Rust via LabelledGeneric... (more…)

In Rust, if I want to print some 32-bit unsigned value in hex, with the leading 0x, padded out with zeros, I would write that as: (more…)

Pattern matching and exhaustiveness checking algorithms implemented in Rust - GitHub - yorickpeterse/pattern-matching-in-rust: Pattern matching and exhaustiveness checking algorithms implemented in... (more…)

oreboot is a fork of coreboot, with C removed, written in Rust. - oreboot/oreboot... (more…)

Recorded talks from the 1st Rust Verification Workshop, held online on Apr 7, 9 and 12, 2021 See: https://sites.google.com/view/rustverify2021/home... (more…)