Chai

Composable building blocks for Ethereum contracts

EVM contract system developer multitool

This repository has been moved to dapphub/dapptools

A simple and sufficient ERC20 implementation

(OLD REPO) The command-line Ethereum army knife by DappHub

K framework proof explorer & smart contract specification format

registry contract with no time to argue

simple lockfile for your dapp's addresses and artifacts

Simple data access pattern for dumb, durable software objects

Schedule function calls that can only be executed once some delay has elapsed

Code for the dapp.tools website

Whitelist DSAuthority for use with DSAuth

Directly run EVM bytecode (using Parity technology)

Dappsys for all

Admin toolkit for incentive-following software daemons

A DSAuthority for up to 256 roles

ERC20 ETH token wrapper. No more special case logic for Ether.

Linear Logic references

Time travel for Ethereum

Applied Computer Science Working Group

sqlite file of locked values in the dmap

audit branch of chronobank contracts

Ownable, transferrable, non-fungible unsigned integers

DSValue with expiry

K Semantics of the Ethereum Virtual Machine (EVM)

Blazingly fast EVM test runner

[LEGACY] immutable owner storage, before immutable keyword // bare-mana direct-map with owner address in code -- plus utilities

Dappsys data management components

(OLD REPO) Simple Ethereum transaction signer using Geth as a library

k-fork

dummy project for testing dapp remappings

parent repo for brave access token review

EVM written in celf

Separate repo for making code review document edits.

Unused - obsolete github pages site for dapp.tools.

Dapple utility functions

Wallet side ethereum virtual machine

DappHub Explorer - chrome extension

building up a reasonable base class

approval voting to select a set of addresses

alternative token architecture using data/controller/frontend pattern