LLVM-based Solidity compiler.

Generalized RISC-V based state transition function for the ZKsync protocol

RISC-V prover system for ZKsync OS

Testing framework for EVM implementations.

ZKsync protocol libraries

An automated market maker running on top of CoW Protocol

Opinionated security and code quality standard for Solidity smart contracts.

cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes

A curated list of Rust code and resources.

Multi-agent framework for design, simulation, and auditing.

Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

The Z3 Theorem Prover

A mutation-based tool for finding bugs in tests

A symbolic testing tool for EVM smart contracts

A mutation testing tool for Solidity Smart Contracts

🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4

A template project containing different configs for Foundry and Hardhat working along. Includes linter, prettier configs.

A zero-knowledge protocol for anonymous interactions.

A protocol for private on-chain voting, implemented in Solidity.

Solidity compiler for ZKsync.

nostr.net - awesome-nostr is a collection of projects and resources built on nostr to help developers and users find new things

Reusable Proofs of Work by Hal Finney

Algebra AMM main repository. Contact us for licenses.

🔑🔑🔑 next generation token approvals mechanism

Hardhat plugin that adds ways to ignore Solidity warnings

Automatically expose internal Solidity functions for smart contract testing.

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.