Lists (10)
Sort Name ascending (A-Z)
Starred repositories
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
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
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.
A zkVM for Decentralized Private Computations (DPC)
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. ⚡
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!