Discover dapphub/celf-evm Open Source project by DappHub (@dapphub)

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

572

ds-proxy

EVM contract system developer multitool

306

dapple

ds-math

dapp

This repository has been moved to dapphub/dapptools

249

ds-token

A simple and sufficient ERC20 implementation

Assertions, equality checks and other test helpers

222

ds-test

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

195

seth

148

chai

ERC20 wrapper over the Dai Savings Rate

Updatable, unobtrusive Solidity authorization pattern

145

ds-auth

K framework proof explorer & smart contract specification format

138

klab

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

124

hevm

114

dmap

registry contract with no time to argue

Dai Automated Clearing House

ds-dach

formal verification of multicollateral dai in the K framework

k-dss

simple lockfile for your dapp's addresses and artifacts

dpack

TypeScript

ds-feeds

Simple data access pattern for dumb, durable software objects

ETH->ERC20 with extra opinions

ds-weth

approval voting to select who wears the hat by consensus

ds-chief

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

ds-pause

Directly run EVM bytecode (using Parity technology)

ethrun

Rust

ds-vault

DSAuth-protected ERC20 token vault

erc20 interface definition container package

erc20

Whitelist DSAuthority for use with DSAuth

ds-guard

Multisig with a command-line interface

ds-group

Simple m-of-n multisig proxy written in handcrafted EVM bytcode

ds-cabal

dappsys-monolithic

Dappsys for all

Admin toolkit for incentive-following software daemons

keeper

Code for the dapp.tools website

dapp-tools

A DSAuthority for up to 256 roles

ds-roles

Log function calls as events

ds-note

ds-value

Set and get a value

Materials for the devcon4 workshop

fv-tutorial

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

ds-eth-token

Linear Logic references

Dapp development overlay for Nix

awesome-dmap

awesome dmap links

nixpkgs-dapphub

Better exception handling

ds-exec

sqlite file of locked values in the dmap

locktopus

ds-warp

Time travel for Ethereum

Applied Computer Science Working Group

ACS

token

(OLD REPO) Command-line utility for ERC20 tokens

ds-pain

erc20-golf

audit branch of chronobank contracts

chronobank-contracts

Ownable, transferrable, non-fungible unsigned integers

ds-items

dapphub.com

dapphub-registry

Forkable Datastore Service

ds-forkable

ds-cache

DSValue with expiry

DappleScript - A simple ethereum interaction language.

dapple-script

Your things should be DSThings

ds-thing

dummy project for testing dapp remappings

dapp-wizard

Racket

remappings-test

know-your-origin, don't use this terrible anti-pattern you fool

kyo

ethkey

Create Ethereum accounts using Geth as a library

k-fork

Java

ethsign

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

ds-spell

An object that does one thing once.

dappsys-graphics

dappsys visualizations

Dappsys data management components

ds-store

qrtx

Blazingly fast EVM test runner

dapple-quicktest

cage

Reference documentation for Maker and the Dai Credit System

libethjet-haskell

maker-docs

dummy repo for testing some dapp-remappings stuff

tr-base

lockpack

LLPoster

TeX

dapp.org-old

guts

ds-rpow

ds-delay

Unused - obsolete github pages site for dapp.tools.

dapp.tools

fv-tutorial-solutions

Motivational Paper on Linear Logic as a blockchain programming language

llmotivation

TeX

ds-read

dapp.org

dapp.coop

review of chronobank contracts

exp-squaring-percise-dapp

mod-blockchain

wiki.dapp.coop

k-gas-analyser

klab-explorer.github.io

klab explorer webpage

chronobank-review

building up a reasonable base class

ds-base

DSAuth-protected stop and start

ds-stop

proving that one contract can call another one, wow

dappsys-docs

Python

klab-multipleCalls

dummy repo for testing dapp-remappings

tr0

Manny O'Malley, Malicious Oracle

k-ds-rpow

SMT

manny

bat-rewrite

hubot-channel-welcome

dpath syntax and semantics

dpath

dapple-wevm

Wallet side ethereum virtual machine

K specification of the dai stablecoin system

dai-semantics

Lua

proof.dapp.ci

100

dapple-pkg

Dapple packages module