We join the Rust community in announcing the formation of the Rust Foundation, the host of the popular Rust programming language that began within Mozilla. (more…)
Read more »
UNDER CONSTRUCTION There has been much discussion of using the Rust language in the Linux kernel (for example, here , here , and here ), at the Kangrejos Rust for Linux Workshop ( here , here , and here ) and 2021 LInux Plumbers Conference had a number of... (more…)
Read more »
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. - GitHub - sarsko/CreuSAT: CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. (more…)
Read more »
The slower version of this talk (2h32m): https://youtu.be/FSyfZVuD32YSlides: https://jacko.io/firehose_of_rust or https://web.archive.org/web/20210531222456i... (more…)
Read more »
SQLite clone from scratch in Rust. Contribute to joaoh82/rust_sqlite development by creating an account on GitHub. (more…)
Read more »