A Rust client wrapper for Aeron C bindings

Companion benchmarks for the article Branchless Rust: https://www.greyblake.com/blog/branchless-rust/

A better compressed bitset in Rust

Verified Rust for low-level systems code

Talk: NixOS instead of Talos — declarative bare-metal Kubernetes nodes with NixOS (Slidev deck, Russian)

Angie - drop-in replacement for nginx

A blazingly fast Slack TUI

Clone trait that is object-safe

Publish Rust crates from CI with a Release PR.

A highly customizable Changelog Generator that follows Conventional Commit specifications ⛰️

Tonbo is an embedded database for serverless and edge runtimes.

First-class compile‑time Arrow schemas for Rust.

Rust bindings for the Python interpreter

Make production Rust binaries auditable

A cryptographically verifiable code review system for the cargo (Rust) package manager.

RustSec API & Tooling

Security advisory database for Rust crates published through crates.io

supply-chain security for Rust

kubernetes, reimplemented in Rust

C Bounded Model Checker

CBMC training material and documentation

CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.

The CBMC starter kit makes it easy to add CBMC verification to a software project.

Kani Rust Verifier

High-precision, one-shot and consistent benchmarking framework/harness for Rust. All Valgrind tools at your fingertips.

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

A performance-critical trading system implementation demonstrating expertise in low-latency C++ development, systems programming, and financial infrastructure.

mimalloc is a compact general purpose allocator with excellent performance.

A batteries-included framework for building web apps