Lists (10)
Starred repositories
45
stars
written in Rust
Clear filter
Empowering everyone to build reliable and efficient software.
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
An open source SDK for logging, storing, querying, and visualizing multimodal and multi-rate data
bloop is a fast code search engine written in Rust.
A CLI tool to convert your codebase into a single LLM prompt with source tree, prompt templating, and token counting.
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Techniques and numbers for estimating system's performance from first-principles
A Decentralized Operating System for ZK Applications
App source + Nix packages + Docker = Image
The Nexus zkVM: The zero-knowledge virtual machine
Emerging smart contract language for the Ethereum blockchain.
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes
A zkVM for Decentralized Private Computations (DPC)
ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.
High-performance, well-tested & documented core libraries for Ethereum, in Rust
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Noosphere is a protocol for thought; let's discover it together!
A blazingly fast general purpose blockchain analytics engine specialized in systematic mev detection
A Rust program for finding salts that create gas-efficient Ethereum addresses via CREATE2.
A Rust library for polynomial commitments
The Ultimate Parallel EVM Engine: Transaction Execution, State Root Calculation, Shred Broadcasting. All in One and at Once!