• Stars
    star
    1
  • Language SMT
  • Created over 6 years ago
  • Updated over 6 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

dapptools

Dapp, Seth, Hevm, and more
Haskell
2,086
star
2

dappsys

Composable building blocks for Ethereum contracts
Nix
580
star
3

ds-proxy

a proxy object that can compose transactions on owner's behalf
Solidity
311
star
4

dapple

EVM contract system developer multitool
JavaScript
298
star
5

ds-math

Safe arithmetic
Solidity
268
star
6

dapp

This repository has been moved to dapphub/dapptools
249
star
7

ds-token

A simple and sufficient ERC20 implementation
Solidity
225
star
8

ds-test

Assertions, equality checks and other test helpers
Solidity
208
star
9

chai

ERC20 wrapper over the Dai Savings Rate
Solidity
147
star
10

seth

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

ds-auth

Updatable, unobtrusive Solidity authorization pattern
Solidity
138
star
12

klab

K framework proof explorer & smart contract specification format
JavaScript
124
star
13

hevm

(OLD REPO) A debug-oriented Ethereum VM (EVM)
114
star
14

dmap

registry contract with no time to argue
JavaScript
58
star
15

ds-dach

Dai Automated Clearing House
Shell
52
star
16

dpack

simple lockfile for your dapp's addresses and artifacts
TypeScript
46
star
17

k-dss

formal verification of multicollateral dai in the K framework
GCC Machine Description
45
star
18

ds-feeds

Simple data access pattern for dumb, durable software objects
Makefile
32
star
19

ds-chief

approval voting to select who wears the hat by consensus
Solidity
29
star
20

ds-weth

ETH->ERC20 with extra opinions
Solidity
27
star
21

ds-pause

Schedule function calls that can only be executed once some delay has elapsed
Solidity
26
star
22

ethrun

Directly run EVM bytecode (using Parity technology)
Rust
24
star
23

ds-vault

DSAuth-protected ERC20 token vault
Solidity
24
star
24

erc20

erc20 interface definition container package
Solidity
24
star
25

ds-guard

Whitelist DSAuthority for use with DSAuth
Solidity
22
star
26

ds-group

Multisig with a command-line interface
Shell
22
star
27

dapp-tools

Code for the dapp.tools website
Nix
21
star
28

dappsys-monolithic

Dappsys for all
Solidity
21
star
29

ds-cabal

Simple m-of-n multisig proxy written in handcrafted EVM bytcode
Makefile
21
star
30

keeper

Admin toolkit for incentive-following software daemons
Shell
19
star
31

ds-roles

A DSAuthority for up to 256 roles
Solidity
17
star
32

ds-note

Log function calls as events
Solidity
17
star
33

ds-value

Set and get a value
Solidity
14
star
34

fv-tutorial

Materials for the devcon4 workshop
GCC Machine Description
14
star
35

ds-eth-token

ERC20 ETH token wrapper. No more special case logic for Ether.
Makefile
13
star
36

ds-exec

Better exception handling
Solidity
9
star
37

ll

Linear Logic references
HTML
8
star
38

awesome-dmap

awesome dmap links
7
star
39

nixpkgs-dapphub

Dapp development overlay for Nix
Nix
7
star
40

locktopus

sqlite file of locked values in the dmap
JavaScript
6
star
41

ds-warp

Time travel for Ethereum
Nix
6
star
42

token

(OLD REPO) Command-line utility for ERC20 tokens
6
star
43

ACS

Applied Computer Science Working Group
6
star
44

ds-pain

Shell
5
star
45

erc20-golf

GCC Machine Description
5
star
46

chronobank-contracts

audit branch of chronobank contracts
JavaScript
5
star
47

ds-items

Ownable, transferrable, non-fungible unsigned integers
Makefile
4
star
48

dapphub.com

HTML
4
star
49

dapphub-registry

JavaScript
4
star
50

ds-forkable

Forkable Datastore Service
4
star
51

ds-cache

DSValue with expiry
Solidity
3
star
52

dapple-script

DappleScript - A simple ethereum interaction language.
JavaScript
3
star
53

ds-thing

Your things should be DSThings
Solidity
3
star
54

dapp-wizard

Racket
3
star
55

remappings-test

dummy project for testing dapp remappings
Solidity
2
star
56

kyo

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

k

k-fork
Java
2
star
58

ethsign

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

ds-spell

An object that does one thing once.
Makefile
2
star
60

dappsys-graphics

dappsys visualizations
JavaScript
2
star
61

ethkey

Create Ethereum accounts using Geth as a library
Go
2
star
62

ds-store

Dappsys data management components
Makefile
2
star
63

qrtx

JavaScript
2
star
64

dapple-quicktest

Blazingly fast EVM test runner
JavaScript
2
star
65

cage

Nix
2
star
66

maker-docs

Reference documentation for Maker and the Dai Credit System
HTML
2
star
67

libethjet-haskell

2
star
68

tr-base

dummy repo for testing some dapp-remappings stuff
Solidity
1
star
69

lockpack

1
star
70

LLPoster

TeX
1
star
71

dapp.org-old

HTML
1
star
72

guts

1
star
73

ds-delay

Makefile
1
star
74

dapp.tools

Unused - obsolete github pages site for dapp.tools.
HTML
1
star
75

fv-tutorial-solutions

GCC Machine Description
1
star
76

celf-evm

EVM written in celf
JavaScript
1
star
77

llmotivation

Motivational Paper on Linear Logic as a blockchain programming language
TeX
1
star
78

ds-read

Makefile
1
star
79

dapp.org

1
star
80

dapp.coop

HTML
1
star
81

exp-squaring-percise-dapp

Makefile
1
star
82

mod-blockchain

JavaScript
1
star
83

wiki.dapp.coop

JavaScript
1
star
84

klab-explorer.github.io

klab explorer webpage
1
star
85

ds-rpow

Makefile
1
star
86

k-gas-analyser

Haskell
1
star
87

chronobank-review

review of chronobank contracts
HTML
1
star
88

ds-base

building up a reasonable base class
Makefile
1
star
89

ds-stop

DSAuth-protected stop and start
Solidity
1
star
90

dappsys-docs

Python
1
star
91

klab-multipleCalls

proving that one contract can call another one, wow
GCC Machine Description
1
star
92

tr0

dummy repo for testing dapp-remappings
Solidity
1
star
93

manny

Manny O'Malley, Malicious Oracle
1
star
94

bat-rewrite

Makefile
1
star
95

hubot-channel-welcome

JavaScript
1
star
96

dappsys-nix

Shell
1
star
97

dapple-wevm

Wallet side ethereum virtual machine
JavaScript
1
star
98

dpath

dpath syntax and semantics
1
star
99

dai-semantics

K specification of the dai stablecoin system
Lua
1
star
100

dapple-pkg

Dapple packages module
JavaScript
1
star