Count your code, quickly. Contribute to XAMPPRocky/tokei development by creating an account on GitHub. (more…)
Read more »
A curated list of awesome rust resources regarding automated or semi-automated formalization efforts in any area, including classical mathematics, constructive mathematics formal algorithms, and pr... (more…)
Read more »
Rust wrapper for UEFI. Contribute to rust-osdev/uefi-rs development by creating an account on GitHub. (more…)
Read more »
Memory- and type-safe languages like Rust are increasingly popular for systems development. Nonetheless, practical systems must interact with code written in... (more…)
Read more »
A Doom Renderer written in Rust. Contribute to cristicbz/rust-doom development by creating an account on GitHub. (more…)
Read more »