Skip to content
Change the repository type filter

All

    Repositories list

    • ds-test

      Public
      Assertions, equality checks and other test helpers
      Solidity
      GNU General Public License v3.0
      7121737Updated Feb 22, 2024Feb 22, 2024
    • dapptools

      Public
      Dapp, Seth, Hevm, and more
      Haskell
      3262.1k14526Updated Sep 11, 2023Sep 11, 2023
    • ds-token

      Public
      A simple and sufficient ERC20 implementation
      Solidity
      GNU General Public License v3.0
      7622542Updated May 23, 2023May 23, 2023
    • Python
      2100Updated Jan 7, 2023Jan 7, 2023
    • ds-proxy

      Public
      a proxy object that can compose transactions on owner's behalf
      Solidity
      GNU General Public License v3.0
      7831324Updated Oct 5, 2022Oct 5, 2022
    • ds-chief

      Public
      approval voting to select who wears the hat by consensus
      Solidity
      GNU General Public License v3.0
      462923Updated Oct 5, 2022Oct 5, 2022
    • dmap

      Public
      registry contract with no time to argue
      JavaScript
      1558101Updated Sep 5, 2022Sep 5, 2022
    • ds-auth

      Public
      Updatable, unobtrusive Solidity authorization pattern
      Solidity
      GNU General Public License v3.0
      3714030Updated Aug 28, 2022Aug 28, 2022
    • dpack

      Public
      simple lockfile for your dapp's addresses and artifacts
      TypeScript
      949120Updated Aug 12, 2022Aug 12, 2022
    • awesome dmap links
      2700Updated Aug 9, 2022Aug 9, 2022
    • ds-math

      Public
      Safe arithmetic
      Solidity
      GNU General Public License v3.0
      6526834Updated Jul 29, 2022Jul 29, 2022
    • locktopus

      Public
      sqlite file of locked values in the dmap
      JavaScript
      4600Updated Jun 6, 2022Jun 6, 2022
    • dpath

      Public
      dpath syntax and semantics
      0100Updated May 27, 2022May 27, 2022
    • lockpack

      Public
      0100Updated May 25, 2022May 25, 2022
    • dappsys

      Public
      Composable building blocks for Ethereum contracts
      Nix
      GNU General Public License v3.0
      101579150Updated Mar 12, 2022Mar 12, 2022
    • ds-pause

      Public
      Schedule function calls that can only be executed once some delay has elapsed
      Solidity
      GNU Affero General Public License v3.0
      282702Updated Mar 4, 2022Mar 4, 2022
    • ds-value

      Public
      Set and get a value
      Solidity
      GNU General Public License v3.0
      201401Updated Oct 24, 2021Oct 24, 2021
    • ds-note

      Public
      Log function calls as events
      Solidity
      GNU General Public License v3.0
      231713Updated Oct 18, 2021Oct 18, 2021
    • ds-weth

      Public
      ETH->ERC20 with extra opinions
      Solidity
      GNU General Public License v3.0
      352700Updated Sep 15, 2021Sep 15, 2021
    • k-dss

      Public
      formal verification of multicollateral dai in the K framework
      GCC Machine Description
      GNU Affero General Public License v3.0
      254553Updated Sep 10, 2021Sep 10, 2021
    • Code for the dapp.tools website
      Nix
      142310Updated Aug 25, 2021Aug 25, 2021
    • erc20

      Public
      erc20 interface definition container package
      Solidity
      232400Updated Aug 24, 2021Aug 24, 2021
    • klab

      Public archive
      K framework proof explorer & smart contract specification format
      JavaScript
      GNU Affero General Public License v3.0
      361235610Updated Aug 11, 2021Aug 11, 2021
    • dummy project for testing dapp remappings
      Solidity
      1200Updated Aug 4, 2021Aug 4, 2021
    • tr0

      Public
      dummy repo for testing dapp-remappings
      Solidity
      2100Updated Aug 2, 2021Aug 2, 2021
    • tr1

      Public
      dummy repo for testing dapp remappings
      Solidity
      2100Updated Aug 2, 2021Aug 2, 2021
    • tr-base

      Public
      dummy repo for testing some dapp-remappings stuff
      Solidity
      2100Updated Aug 2, 2021Aug 2, 2021
    • ds-pain

      Public
      Shell
      3500Updated Jul 29, 2021Jul 29, 2021
    • ds-cache

      Public
      DSValue with expiry
      Solidity
      GNU General Public License v3.0
      7300Updated Jul 29, 2021Jul 29, 2021
    • ds-vault

      Public
      DSAuth-protected ERC20 token vault
      Solidity
      GNU General Public License v3.0
      122400Updated Jul 29, 2021Jul 29, 2021