A couple weekends ago, I found myself with the desire to fetch oil and gas production data for a specific county in New Mexico from the New Mexico Oil Conservation Division (OCD). (more…)

This is chapter 6 of a multi-part series on writing a RISC-V OS in Rust. (more…)

When the Prusti Assistant extension is active, Rust files can be verified in one of the following ways: (more…)

CLI reimplementation of Scoop in Rust. Contribute to chawyehsu/hok development by creating an account on GitHub. (more…)

:crab: Small exercises to get you used to reading and writing Rust code! - rust-lang/rustlings... (more…)