rd is a record/replay debugger written in rust. Contribute to sidkshatriya/rd development by creating an account on GitHub. (more…)

We introduce Flux, which shows how logical refinements can work hand in glove with Rust's ownership mechanisms to yield ergonomic type-based verification of low-level pointer manipulating programs. First, we design a novel refined type system for Rust tha... (more…)

Rust grammar tool libraries and binaries. Contribute to softdevteam/grmtools development by creating an account on GitHub. (more…)

In order to prepare to conduct a technical interview of a potential future co-worker, I decided to try to solve the problem we would be presenting to the candidate. I chose to do it in Rust (even thou... (more…)

Go and Rust are two of the hottest compiled programming languages. I develop in Go full-time and love it, and I’m learning more about Rust recently – its an exciting ... Read More... (more…)