The best smart contracts in one place.

A Solidity code search tool with built-in static analysis detection

The weiroll virtual machine

A monorepo for the Beanstalk protocol, SDK, subgraphs and UI. Currently houses infra for the Basin protocol.

Agentic Smart Accounts https://docs.loreum.org/

Repo for foundry testing of SparkLend.

Aderyn 🦜 Rust-based Solidity AST analyzer.

Pattern Interrupts to prevent you from signing malicious transactions

A general purpose foundation for cloud-based fuzzing and mutation testing jobs

An efficient in-memory key-value store in Solidity

Diagrams for Solidity contracts

Generate and auto-execute Python scripts in the cli

Project Serum Rust Monorepo

Observations and tips checklist for auditing protocols on multiple chains 🧐

Modify ASTs Easily & Reliably

Generate tests based on the Branching Tree Technique.

A curated list of TLA+ resources.

A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.

A data structures library that does memory management for you

Efficiently transfer ether or tokens to many addresses in batch, powered by Huff.

Vim syntax files for huff

Development framework for Foundry projects

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

A capital-efficient Uniswap v4 liquidity bootstrapping pool (LBP) hooks contract