wolflo

evm-opcodes. A quick reference for EVM opcodes

minisig. Gas-optimized EVM multisig

forge-middleware. foundry + ethers

proxies.huff. Minimal Ethereum delegatecall proxies

solidity-interest-helper. An implementation of continuously compounding interest in Solidity.

k-brainfuck-semantics. Formal semantics of the Brainfuck language in K

quadratic-voting-dapp. JavaScript

token-rs. Solidity

simple-state-rs. Rust <=> Solidity

etk-odin. Rust

meta-jumpers. A collection of malicious smart contracts that jump into their own metadata

runrun. Flexible Rust testing framework

minisig.sol. Python

minisig.vy. Python

minisig.huff. Python

minisig-semantics. Makefile

tokemak-exploit. Rust

minisig.k. SMT

sandy. A sandbox for executing semi-trusted evm bytecode

k-bitbank. SMT

proxies.test.huff. Makefile

huff-safemath. EVM safemath library implemented in Huff

eth-collateral-manager. Free the capital!

vim-huff. Vim syntax files for huff