Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

Collection of APIs provided by Ethereum execution layer clients

An AMQP 0-9-1 Go client maintained by the RabbitMQ team. Originally by @streadway: `streadway/amqp`

PyMilo: Python for ML I/O

R1CS constraints for bits, fields, and elliptic curves

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

zk-SNARK library.

A toolbox for zkSNARKs on Ethereum

🦄 🦄 🦄 Peripheral smart contracts for interacting with Uniswap v3

zkSnark circuit compiler

A curated list of awesome StarkNet resources, libraries, tools and more

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

A guide to smart contract security best practices

Aderyn 🦜 Rust-based Solidity AST analyzer.

Generate Solidity Source Code Metrics, Complexity and Risk profile reports for your project.

Solidity Code Metrics

Sample Artemis bot to fill UniswapX orders using on-chain liquidity

CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.

Uniswap V3 Development Book

Solidity, the Smart Contract Programming Language

Zarban Liquidity Market

Zarban Stable Coin System Contracts

Electrum Bitcoin Wallet

CoinSwap implementation

👁‍🗨 Rare and exotic sats

Aave Protocol V2

A Merkle Tree implementation written in Go.