wolflo

evm-opcodes

A quick reference for EVM opcodes

minisig

Gas-optimized EVM multisig

forge-middleware

foundry + ethers

proxies.huff

Minimal Ethereum delegatecall proxies

k-brainfuck-semantics

Formal semantics of the Brainfuck language in K

token-rs

simple-state-rs

Rust <=> Solidity

etk-odin

runrun

Flexible Rust testing framework

minisig.huff

minisig.sol

minisig.vy

minisig-semantics

huff-safemath

EVM safemath library implemented in Huff

k-bitbank

minisig.k

sandy

A sandbox for executing semi-trusted evm bytecode

tokemak-exploit

contracts

[Optimism] Smart Contracts

ethers-hashing-examples

Because I can never remember.

ethers-rs

Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers

evmodin

Ethereum Virtual Machine implementation

foundry

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

fuuuture

go-ethereum

Official Go implementation of the Ethereum protocol

hardhat

Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software. Get Solidity stack traces & console.log.

harvey-safetychecker

huff-literals-scratch

manticore-scratch

truffle-contract-bug-test