A dotfile manager and templater written in rust 🦀. Contribute to SuperCuber/dotter development by creating an account on GitHub. (more…)

Kani Rust Verifier. Contribute to model-checking/kani development by creating an account on GitHub. (more…)

Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube. (more…)

userspace nvme driver. Contribute to bootreer/vroom development by creating an account on GitHub. (more…)

Retrospective of my first useful Rust project Retrospective of my first useful Rust project This post is a retrospective of my first “useful” Rust … (more…)