🦀 Small exercises to get you used to reading and writing Rust code!

Spotify for the terminal written in Rust 🚀

A Rust compiler front-end for IDEs

Substrate: The platform for blockchain innovators

A CLI tool to convert your codebase into a single LLM prompt with source tree, prompt templating, and token counting.

Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases

Rust implementation of Google protocol buffers

A simple, modular, and fast framework for writing MEV bots in Rust.

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

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

A Starknet full node written in Rust

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…

DEPRECATED in favor of https://github.com/madara-alliance/madara

Flexible BFT consensus engine in Rust

Polkadot Telemetry service

Complete Starknet library in Rust™

Collection of crates used in Parity projects

A stateless trustless Starknet light client in Rust 🦀

Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.

A Rust implementation of Starknet execution logic

Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.

Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

Madara is a powerful hybrid Starknet client written in Rust.

Rust Library for running the Starknet OS via the Cairo VM

A storage system inspired by Besu using Starknet Merkle Trees

Cairo-VM STONE STARK Verifier Rust implementation

A privacy-preserving payment network. Enabling seamless off-chain transactions with bearer tokens backed by on-chain assets.

Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. 🦀🧙‍♂️