15 open source projects by dapphub

a proxy object that can compose transactions on owner's behalf

ERC20 wrapper over the Dai Savings Rate

(OLD REPO) A debug-oriented Ethereum VM (EVM)

Safe arithmetic

A simple and sufficient ERC20 implementation

K framework proof explorer & smart contract specification format

formal verification of multicollateral dai in the K framework

Dapp, Seth, Hevm, and more

Composable building blocks for Ethereum contracts

EVM contract system developer multitool

Simple data access pattern for dumb, durable software objects

Dappsys for all

Directly run EVM bytecode (using Parity technology)

This repository has been moved to dapphub/dapptools

erc20 interface definition container package