Discover dapphub/dappsys Open Source project by DappHub (@dapphub)

1

dapptools

Dapp, Seth, Hevm, and more

Haskell

2,086

2

ds-proxy

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

Solidity

311

3

dapple

EVM contract system developer multitool

JavaScript

298

4

ds-math

Safe arithmetic

Solidity

268

5

dapp

This repository has been moved to dapphub/dapptools

249

6

ds-token

A simple and sufficient ERC20 implementation

Solidity

225

7

ds-test

Assertions, equality checks and other test helpers

Solidity

208

8

chai

ERC20 wrapper over the Dai Savings Rate

Solidity

147

9

seth

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

147

10

ds-auth

Updatable, unobtrusive Solidity authorization pattern

Solidity

138

11

klab

K framework proof explorer & smart contract specification format

JavaScript

124

12

hevm

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

114

13

dmap

registry contract with no time to argue

JavaScript

58

14

ds-dach

Dai Automated Clearing House

Shell

52

15

dpack

simple lockfile for your dapp's addresses and artifacts

TypeScript

46

16

k-dss

formal verification of multicollateral dai in the K framework

GCC Machine Description

45

17

ds-feeds

Simple data access pattern for dumb, durable software objects

Makefile

32

18

ds-chief

approval voting to select who wears the hat by consensus

Solidity

29

19

ds-weth

ETH->ERC20 with extra opinions

Solidity

27

20

ds-pause

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

Solidity

26

21

ethrun

Directly run EVM bytecode (using Parity technology)

Rust

24

22

ds-vault

DSAuth-protected ERC20 token vault

Solidity

24

23

erc20

erc20 interface definition container package

Solidity

24

ds-guard

Whitelist DSAuthority for use with DSAuth

Solidity

22

25

ds-group

Multisig with a command-line interface

Shell

22

26

dapp-tools

Code for the dapp.tools website

Nix

21

27

dappsys-monolithic

Dappsys for all

Solidity

21

28

ds-cabal

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

Makefile

21

29

keeper

Admin toolkit for incentive-following software daemons

Shell

19

30

ds-roles

A DSAuthority for up to 256 roles

Solidity

17

31

ds-note

Log function calls as events

Solidity

17

32

ds-value

Set and get a value

Solidity

14

33

fv-tutorial

Materials for the devcon4 workshop

GCC Machine Description

14

34

ds-eth-token

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

Makefile

13

35

ds-exec

Better exception handling

Solidity

9

36

ll

Linear Logic references

HTML

8

37

awesome-dmap

awesome dmap links

7

38

nixpkgs-dapphub

Dapp development overlay for Nix

Nix

7

39

locktopus

sqlite file of locked values in the dmap

JavaScript

6

40

ds-warp

Time travel for Ethereum

Nix

6

41

token

(OLD REPO) Command-line utility for ERC20 tokens

6

42

ACS

Applied Computer Science Working Group

6

43

ds-pain

Shell

5

44

erc20-golf

GCC Machine Description

5

45

chronobank-contracts

audit branch of chronobank contracts

JavaScript

5

46

ds-items

Ownable, transferrable, non-fungible unsigned integers

Makefile

4

47

dapphub.com

HTML

4

48

dapphub-registry

JavaScript

4

49

ds-forkable

Forkable Datastore Service

4

50

ds-cache

DSValue with expiry

Solidity

3

51

dapple-script

DappleScript - A simple ethereum interaction language.

JavaScript

3

52

ds-thing

Your things should be DSThings

Solidity

3

53

dapp-wizard

Racket

3

54

remappings-test

dummy project for testing dapp remappings

Solidity

2

55

kyo

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

2

56

k

k-fork

Java

2

57

ethsign

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

2

58

ds-spell

An object that does one thing once.

Makefile

2

59

dappsys-graphics

dappsys visualizations

JavaScript

2

60

ethkey

Create Ethereum accounts using Geth as a library

Go

2

61

ds-store

Dappsys data management components

Makefile

2

62

qrtx

JavaScript

2

63

dapple-quicktest

Blazingly fast EVM test runner

JavaScript

2

64

cage

Nix

2

65

maker-docs

Reference documentation for Maker and the Dai Credit System

HTML

2

66

libethjet-haskell

2

67

tr-base

dummy repo for testing some dapp-remappings stuff

Solidity

1

68

lockpack

1

69

LLPoster

TeX

1

70

dapp.org-old

HTML

1

71

guts

1

72

ds-delay

Makefile

1

73

dapp.tools

Unused - obsolete github pages site for dapp.tools.

HTML

1

74

fv-tutorial-solutions

GCC Machine Description

1

75

celf-evm

EVM written in celf

JavaScript

1

76

llmotivation

Motivational Paper on Linear Logic as a blockchain programming language

TeX

1

77

ds-read

Makefile

1

78

dapp.org

1

79

dapp.coop

HTML

1

80

exp-squaring-percise-dapp

Makefile

1

81

ds-rpow

Makefile

1

82

mod-blockchain

JavaScript

1

83

wiki.dapp.coop

JavaScript

1

84

klab-explorer.github.io

klab explorer webpage

1

85

k-gas-analyser

Haskell

1

86

chronobank-review

review of chronobank contracts

HTML

1

87

ds-base

building up a reasonable base class

Makefile

1

88

ds-stop

DSAuth-protected stop and start

Solidity

1

89

dappsys-docs

Python

1

90

klab-multipleCalls

proving that one contract can call another one, wow

GCC Machine Description

1

91

tr0

dummy repo for testing dapp-remappings

Solidity

1

92

k-ds-rpow

SMT

1

93

manny

Manny O'Malley, Malicious Oracle

1

94

bat-rewrite

Makefile

1

95

hubot-channel-welcome

JavaScript

1

96

dappsys-nix

Shell

1

97

dapple-wevm

Wallet side ethereum virtual machine

JavaScript

1

98

dpath

dpath syntax and semantics

1

99

dai-semantics

K specification of the dai stablecoin system

Lua

1

100

dapple-pkg

Dapple packages module

JavaScript

1

dapphub/dappsys

dapphub

Reviews

Repository Details

Dappsys

More Repositories