Secondary indices for RocksDB in Rust. Contribute to nlfiedler/mokuroku development by creating an account on GitHub. (more…)

The Kani Rust Verifier (Kani) is an open-source automated reasoning tool that proves properties about Rust code. This is our blog for the project. (more…)

Simplified Find command made with Rust. Contribute to LyonSyonII/hunt-rs development by creating an account on GitHub. (more…)

This is a space where I express my thoughts and opinions on mostly technical things - sidkshatriya/me... (more…)

In this video, we will learn about derive macros in Rust, which is a subtype of procedural macros. We will code a simple example to understand the concept of... (more…)