Here are some examples of Araiza Consultants Rust code, all written with an emphasis on readability, reliability, and correctness.
An open-source Rust crate with over eight 8,000 downloads on crates.io. It provides a strongly-typed wat to write the DOT language for describing graphs.
A simulation of a computer from the transistor level upwards, building simple logic gates into adder chips, through ALU to a full 8-bit CPU.