CREATE4 — easy-to-mine contract addresses with deterministic initcode

A Solidity implementation for distribution prediction markets.

Market marker for onchain FX

⛳ Template for Forge + EVM Toolkit

Symbolic Execution Benchmarks for Ethereum Smart Contracts

Fuzz testing framework for Uniswap V4 Hooks

Assertions, equality checks and other test helpers

Solidity version manager

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

Build blazingly fast, tiny blockchain applications that run natively on all major desktop and mobile platforms.

Solidity library for secure and modular Uniswap hooks.

Fast, secure and RFC-compliant WebSocket implementation for Rust.

🔎 Highly optimized Solidity library of statistical functions rationally approximated

Go Bindings for the Solidity Compiler

Generates zero-knowledge proofs of Ethereum smart contract execution.

A stricter gofmt

💯Go Struct and Field validation, including Cross Field, Cross Struct, Map, Slice and Array diving

🦄 🦄 🦄 🦄 Peripheral smart contracts for interacting with Uniswap v4

A simple, fast, and fun package for building command line apps in Go

VSCode IDE Integration for Dafny

A kitchen sink of data structures and algorithms in Go

The new huff compiler, with improved codegen, label semantics & error messages.

A low-level assembly language for the Ethereum Virtual Machine built in blazing-fast pure rust.

A trustless replacement to the Lido Accounting Oracle, powered by ZK.

Numerical optimization solvers for unconstrained and simple-bounds constrained convex optimization problems in Rust

Web3 support for Julia, with ABI decoding and JSON-RPC calls to Ethereum nodes