• Stars
    star
    6
  • Rank 2,466,814 (Top 50 %)
  • Language
  • Created over 6 years ago
  • Updated almost 6 years ago

Reviews

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

Repository Details

Applied Computer Science Working Group

More Repositories

1

dapptools

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

dappsys

Composable building blocks for Ethereum contracts
Nix
572
star
3

ds-proxy

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

dapple

EVM contract system developer multitool
JavaScript
298
star
5

ds-math

Safe arithmetic
Solidity
255
star
6

dapp

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

ds-token

A simple and sufficient ERC20 implementation
Solidity
222
star
8

ds-test

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

seth

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

chai

ERC20 wrapper over the Dai Savings Rate
Solidity
145
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

k-dss

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

dpack

simple lockfile for your dapp's addresses and artifacts
TypeScript
40
star
18

ds-feeds

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

ds-weth

ETH->ERC20 with extra opinions
Solidity
27
star
20

ds-chief

approval voting to select who wears the hat by consensus
Solidity
26
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
22
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

ds-cabal

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

dappsys-monolithic

Dappsys for all
Solidity
21
star
29

keeper

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

dapp-tools

Code for the dapp.tools website
Nix
18
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

ll

Linear Logic references
HTML
8
star
37

awesome-dmap

awesome dmap links
7
star
38

nixpkgs-dapphub

Dapp development overlay for Nix
Nix
7
star
39

ds-exec

Better exception handling
Solidity
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

ds-pain

Shell
5
star
44

erc20-golf

GCC Machine Description
5
star
45

chronobank-contracts

audit branch of chronobank contracts
JavaScript
5
star
46

ds-items

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

dapphub.com

HTML
4
star
48

dapphub-registry

JavaScript
4
star
49

ds-forkable

Forkable Datastore Service
4
star
50

ds-cache

DSValue with expiry
Solidity
3
star
51

dapple-script

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

ds-thing

Your things should be DSThings
Solidity
3
star
53

dapp-wizard

Racket
3
star
54

remappings-test

dummy project for testing dapp remappings
Solidity
2
star
55

kyo

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

ethkey

Create Ethereum accounts using Geth as a library
Go
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

ds-store

Dappsys data management components
Makefile
2
star
62

qrtx

JavaScript
2
star
63

dapple-quicktest

Blazingly fast EVM test runner
JavaScript
2
star
64

cage

Nix
2
star
65

libethjet-haskell

2
star
66

maker-docs

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

tr-base

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

lockpack

1
star
69

LLPoster

TeX
1
star
70

dapp.org-old

HTML
1
star
71

guts

1
star
72

ds-rpow

Makefile
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

k-gas-analyser

Haskell
1
star
85

klab-explorer.github.io

klab explorer webpage
1
star
86

chronobank-review

review of chronobank contracts
HTML
1
star
87

ds-base

building up a reasonable base class
Makefile
1
star
88

ds-stop

DSAuth-protected stop and start
Solidity
1
star
89

dappsys-docs

Python
1
star
90

klab-multipleCalls

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

tr0

dummy repo for testing dapp-remappings
Solidity
1
star
92

k-ds-rpow

SMT
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

dpath

dpath syntax and semantics
1
star
97

dapple-wevm

Wallet side ethereum virtual machine
JavaScript
1
star
98

dai-semantics

K specification of the dai stablecoin system
Lua
1
star
99

proof.dapp.ci

JavaScript
1
star
100

dapple-pkg

Dapple packages module
JavaScript
1
star