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.

Multisig for decentralized protocols.

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

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

A Solidity test generator 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

The most gas optimized ERC-4337 account - written in Huff

The goal of this project is to automatically generate stack comments for huff macros

Symbolic stack CFG generator for EVM