Rust has an amazing dbg macro that lets you quickly set up an expression printer that will also put in the source line. It also returns the value of the expression so you can even easily inline the printing when you want to! (more…)
Read more »
Simplified Find command made with Rust. Contribute to LyonSyonII/hunt-rs development by creating an account on GitHub. (more…)
Read more »
A PostgreSQL inspired SQL database written in Rust. - GitHub - chotchki/feophant: A PostgreSQL inspired SQL database written in Rust. (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 »
This guide explains how you can use "global data" in Rust - paulkernfeld/global-data-in-rust... (more…)
Read more »