A simple, safe HTTP client

🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.

Sherlock audit and coverage reports

Simulations for Yield Basis

a vyper interpreter

Autoleverage AMM and leveraged liquidity token

An extremely fast Python package and project manager, written in Rust.

A post-modern modal text editor.

Smart Contract Security Verification Standard

TOML Formatter / Linter / Language Server

A Neovim Plugin for the yazi terminal file manager

Python bindings to the Tree-sitter parsing library

Specification for the Execution Layer. Tracking network upgrades.

Tool suite for testing ethereum applications.

Wake is a Python-based Solidity development and fuzz testing framework with built-in vulnerability detectors for building secure Ethereum dApps.

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

Offensive fuzzing suite for Origin Protocol WOETH.

Multi self-hosted runners on single host!

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Symbolic execution tool

Symbolic and concrete EVM execution engine

Size is a credit marketplace with unified liquidity across maturities

Whetstone Research's docs

Create code bookmarks and code highlights with a click.

A symbolic testing tool for EVM smart contracts