Type-safe database access for Rust. Contribute to Brendonovich/prisma-client-rust development by creating an account on GitHub. (more…)

Creating a minimal ELF file. Contribute to tchajed/minimal-elf development by creating an account on GitHub. (more…)

My work towards a binary that shares performance characteristics with C++17... (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…)

lexicographic sort-order preserving binary encoding - danburkert/bytekey... (more…)