The Nexus zkVM: The zero-knowledge virtual machine

Plonkish Nova implementation along with advanced features

Rust discord music bot

🎵 Source code for Cider 1

Nova: High-speed recursive zero-knowledge arguments from folding schemes

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

FoundationDB - the open source, distributed, transactional key-value store

A safe and fast multi-producer, multi-consumer channel.

Ergonomic and modular web framework built with Tokio, Tower, and Hyper

Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.

Master programming by recreating your favorite technologies from scratch.

Postgres Explain Visualizer

Heapless, `static` friendly data structures

A spotify daemon

A native gRPC client & server implementation with async/await support.

Rayon: A data parallelism library for Rust

Collection of articles on good practices and tools to improve C code quality

Tools for concurrent programming in Rust

Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.

A collection of samples to discuss and showcase different architectural tools and patterns for Android apps.

A cross-platform, OpenGL terminal emulator.

Demonstration of various hardware effects.

🔀⏳ Easy throttling with asyncio support

Ringbuffer with FD signalling - fast IPC without memory copies!

Async version of the Rust standard library