Pinned Loading

1. evm-opcodes evm-opcodes Public

   A quick reference for EVM opcodes

   821 117

2. k-brainfuck-semantics k-brainfuck-semantics Public

   Formal semantics of the Brainfuck language in K

   Brainfuck 12

3. minisig minisig Public

   Gas-optimized EVM multisig

   25

4. meta-jumpers meta-jumpers Public

   A collection of malicious smart contracts that jump into their own metadata

   5

5. runrun runrun Public

   Flexible Rust testing framework

   Rust 4

6. tokemak-exploit tokemak-exploit Public

   Rust 1