DappHub

Repositories

• dapptools

  Dapp, Seth, Hevm, and more

  nix tools ethereum dapp evm solc
  Haskell 82 294 75 (1 issue needs help) 5 Updated Nov 4, 2020

• ds-test

  Assertions, equality checks and other test helpers
  Nix GPL-3.0 11 11 1 1 Updated Oct 9, 2020

• dss

  Forked from makerdao/dss

  Dai Stablecoin System
  Solidity AGPL-3.0 137 0 0 0 Updated Oct 6, 2020

• ds-proxy

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

  proxy ethereum solidity dappsys
  Nix GPL-3.0 23 74 3 4 Updated Sep 25, 2020

• nixpkgs

  Forked from NixOS/nixpkgs

  Dapphub fork of Nixpkgs for merging our additions and updates
  Nix MIT 5,384 0 0 0 Updated Sep 7, 2020

• ds-token

  A simple and sufficient ERC20 implementation

  ethereum solidity erc20 dappsys
  Nix GPL-3.0 43 91 1 2 Updated Aug 5, 2020

• dapp-tools

  Code for the dapp.tools website
  HTML 7 0 1 0 Updated Jul 26, 2020

• klab

  K framework proof explorer & smart contract specification format
  JavaScript AGPL-3.0 27 86 56 (10 issues need help) 9 Updated Jul 19, 2020

• ds-pause

  Schedule function calls that can only be executed once some delay has elapsed
  Solidity AGPL-3.0 8 6 0 2 Updated Jul 15, 2020

• ds-chief

  approval voting to select who wears the hat by consensus
  Solidity GPL-3.0 17 11 0 2 Updated Jun 29, 2020

• ds-value

  Set and get a value

  ethereum oracle solidity dappsys
  Nix GPL-3.0 10 4 0 0 Updated Jun 29, 2020

• ds-thing

  Your things should be DSThings

  utility ethereum solidity dappsys
  Nix GPL-3.0 6 1 0 0 Updated Jun 29, 2020

• ds-math

  Safe arithmetic

  ethereum arithmetic solidity dappsys
  Nix GPL-3.0 19 87 4 3 Updated Jun 24, 2020

• evm-semantics

  Forked from kframework/evm-semantics

  K Semantics of the Ethereum Virtual Machine (EVM)
  Makefile 92 1 0 1 Updated Jun 12, 2020

• ds-warp

  Time travel for Ethereum
  Nix GPL-3.0 4 3 0 0 Updated May 29, 2020

• ds-guard

  Whitelist DSAuthority for use with DSAuth

  ethereum authorization solidity dappsys ds-auth
  Nix GPL-3.0 11 9 2 0 Updated May 17, 2020

• erc20

  erc20 interface definition container package
  Nix 18 16 0 1 Updated May 5, 2020

• chai

  ERC20 wrapper over the Dai Savings Rate

  chai stablecoin defi
  Solidity AGPL-3.0 14 113 3 1 Updated Apr 2, 2020

• ds-note

  Log function calls as events

  ethereum logging solidity dappsys
  Nix GPL-3.0 11 2 1 2 Updated Mar 30, 2020

• ds-weth

  ETH->ERC20 with extra opinions
  Haskell 12 9 0 0 Updated Mar 25, 2020

• ds-roles

  A DSAuthority for up to 256 roles

  ethereum authorization solidity dappsys ds-auth
  Nix GPL-3.0 11 7 6 1 Updated Mar 25, 2020

• ds-spell

  An object that does one thing once.
  Makefile GPL-3.0 7 0 0 0 Updated Mar 25, 2020

• ds-exec

  Better exception handling

  ethereum solidity exceptions dappsys
  Nix GPL-3.0 3 5 0 0 Updated Mar 25, 2020

• ds-stop

  DSAuth-protected stop and start

  utility ethereum solidity dappsys
  Nix GPL-3.0 2 0 2 0 Updated Mar 25, 2020

• ds-auth

  Updatable, unobtrusive Solidity authorization pattern

  ethereum authorization solidity dappsys
  Nix GPL-3.0 15 58 1 0 Updated Mar 25, 2020

• k

  k-fork
  Java 2 1 0 1 Updated Feb 17, 2020

• ds-dach

  Dai Automated Clearing House

  chai dai defi uniswap
  Shell AGPL-3.0 4 27 2 0 Updated Jan 30, 2020

• kickback-contracts

  Forked from wearekickback/contracts

  Kickback contracts
  JavaScript MIT 11 0 0 0 Updated Dec 5, 2019

• trustwallet-assets

  Forked from trustwallet/assets
  TypeScript MIT 2,393 0 0 0 Updated Nov 30, 2019

• klab-server Archived
  JavaScript 1 0 0 1 Updated Nov 20, 2019