Bisects rustc, either nightlies or CI artifacts

Diamond iO implementation https://eprint.iacr.org/2025/236

Eager evaluation of macros like `concat!` and `env!`

An implementation of Shazam's song recognition algorithm.

Procedural macro for automatically implementing metrics description and initialization.

Easy function multiversioning for Rust

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

A vector with a fixed capacity. (Rust)

The 2013 edition of the Source SDK

A smarter cd command. Supports all major shells.

All you need account for authentication and payments on the web.

The next-generation file converter. Open source, fully local* and free forever.

A memory profiler for Linux.

A pretty (simple) alternative to strace

Rust HTTP types

The Rust Playground

An open source payments switch written in Rust to make payments fast, reliable and affordable

GitHub Actions for GitHub Pages 🚀 Deploy static files and publish your site easily. Static-Site-Generators-friendly.

“Zero setup” cross compilation and “cross testing” of Rust crates

SNARKifying Ethereum

Experimental Next-gen Account

A very fast linker for Linux

Cairo is the first Turing-complete language for creating provable programs for general computation.

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…

A curated list of zkVM, zero-knowledge virtual machine

A simple, modern, ergonomic JSON-RPC router, using tower and axum

Create code snippets, browse AI prompts, create extension icons and more.