tla-rust - writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+... (more…)

A lightweight Datalog engine in Rust. Contribute to rust-lang/datafrog development by creating an account on GitHub. (more…)

Rust makes it impossible to introduce some of the most common security vulnerabilities. And its adoption can’t come soon enough. (more…)

Over the past few weeks I have been starting to build a raspberry pi zero w controlled rover. (more…)

The rusty shell toolkit for hackers. Contribute to MrPicklePinosaur/shrs development by creating an account on GitHub. (more…)