Explore @dapphub Open Source projects

DappHub (@dapphub)

dapphub

Stars
5,690
Global Org. Rank 4,070 (Top 2 %)
Registered over 8 years ago
Most used languages

Solidity
23.5 %

JavaScript
20.6 %

Makefile 14.7 %

HTML
8.8 %

Shell
6.9 %

GCC Machine Description 5.9 %

Nix
4.9 %

Haskell
2.9 %

TeX
2.0 %

SMT 2.0 %

Python
1.0 %

Go
1.0 %

Rust
1.0 %

TypeScript
1.0 %

CSS
1.0 %

Racket
1.0 %

Lua
1.0 %

Java
1.0 %
Location 🇺🇸 United States
Country Total Rank 1,904
Country Ranking

GCC Machine Description 2

Nix
8

Solidity
8

Haskell
11

SMT 26

Makefile 149

Racket
267

Shell
1,703

Rust
2,354

JavaScript
2,823

TeX
3,520

TypeScript
4,052

Lua
4,775

HTML
5,435

dapptools

Dapp, Seth, Hevm, and more

dappsys

Composable building blocks for Ethereum contracts

ds-proxy

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

dapple

EVM contract system developer multitool

ds-math

Safe arithmetic

dapp

This repository has been moved to dapphub/dapptools

ds-token

A simple and sufficient ERC20 implementation

ds-test

Assertions, equality checks and other test helpers

chai

ERC20 wrapper over the Dai Savings Rate

seth

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

ds-auth

Updatable, unobtrusive Solidity authorization pattern

klab

K framework proof explorer & smart contract specification format

hevm

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

dmap

registry contract with no time to argue

ds-dach

Dai Automated Clearing House

dpack

simple lockfile for your dapp's addresses and artifacts

k-dss

formal verification of multicollateral dai in the K framework

GCC Machine Description

ds-feeds

Simple data access pattern for dumb, durable software objects

ds-chief

approval voting to select who wears the hat by consensus

ds-weth

ETH->ERC20 with extra opinions

ds-pause

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

ethrun

Directly run EVM bytecode (using Parity technology)

ds-vault

DSAuth-protected ERC20 token vault

erc20

erc20 interface definition container package

ds-guard

Whitelist DSAuthority for use with DSAuth

ds-group

Multisig with a command-line interface

dapp-tools

Code for the dapp.tools website

dappsys-monolithic

Dappsys for all

ds-cabal

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

keeper

Admin toolkit for incentive-following software daemons

ds-roles

A DSAuthority for up to 256 roles

ds-note

Log function calls as events

ds-value

Set and get a value

fv-tutorial

Materials for the devcon4 workshop

GCC Machine Description

ds-eth-token

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

ds-exec

Better exception handling

ll

Linear Logic references

awesome-dmap

awesome dmap links

nixpkgs-dapphub

Dapp development overlay for Nix

locktopus

sqlite file of locked values in the dmap

ds-warp

Time travel for Ethereum

token

(OLD REPO) Command-line utility for ERC20 tokens

ACS

Applied Computer Science Working Group

ds-pain

erc20-golf

GCC Machine Description

chronobank-contracts

audit branch of chronobank contracts

ds-items

Ownable, transferrable, non-fungible unsigned integers

dapphub.com

dapphub-registry

ds-forkable

Forkable Datastore Service

ds-cache

DSValue with expiry

dapple-script

DappleScript - A simple ethereum interaction language.

ds-thing

Your things should be DSThings

dapp-wizard

remappings-test

dummy project for testing dapp remappings

kyo

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

k

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

ethkey

Create Ethereum accounts using Geth as a library

ds-store

Dappsys data management components

qrtx

dapple-quicktest

Blazingly fast EVM test runner

cage

maker-docs

Reference documentation for Maker and the Dai Credit System

libethjet-haskell

tr-base

dummy repo for testing some dapp-remappings stuff

lockpack

LLPoster

dapp.org-old

guts

ds-delay

dapp.tools

Unused - obsolete github pages site for dapp.tools.

fv-tutorial-solutions

GCC Machine Description

celf-evm

EVM written in celf

llmotivation

Motivational Paper on Linear Logic as a blockchain programming language

ds-read

dapp.org

dapp.coop

exp-squaring-percise-dapp

mod-blockchain

wiki.dapp.coop

klab-explorer.github.io

klab explorer webpage

ds-rpow

k-gas-analyser

chronobank-review

review of chronobank contracts

ds-base

building up a reasonable base class

ds-stop

DSAuth-protected stop and start

dappsys-docs

klab-multipleCalls

proving that one contract can call another one, wow

GCC Machine Description

tr0

dummy repo for testing dapp-remappings

k-ds-rpow

manny

Manny O'Malley, Malicious Oracle

bat-rewrite

hubot-channel-welcome

dappsys-nix

dapple-wevm

Wallet side ethereum virtual machine

dpath

dpath syntax and semantics

dai-semantics

K specification of the dai stablecoin system