Specification for the Execution Layer. Tracking network upgrades.

helps you preserve the ethereum dataset fresh, fast and small

a vyper interpreter

Vyper compiler for ZKsync

Formatter for Vyper

ABIv3 proof of concept for Ethereum

a lisp built on top of vyper

registry contract with no time to argue

simple multisig for EVM

Go implementation of the Ethereum protocol

Pythonic Smart Contract Language for the EVM

A Curve DAO-controlled fundraising smart contract system that directs inflation to funding-seekers.

Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference

The single instruction C compiler

The smart contract development tool for Pythonistas, Data Scientists, and Security Professionals

An interactive EVM repl/shell.

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

Formal semantics of the Brainfuck language in K

A quick reference for EVM opcodes

Python bytecode to native compiler

A non-fungible implementation of the ERC20 standard, allowing scalable NFT transfers with fixed gas costs.

Skill language interpreter

webapp for Beacon exchange

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

A convenient tagless EDSL

Squeal, a deep embedding of SQL in Haskell