Alternatives and similar repositories for k-dss

Users that are interested in k-dss are comparing it to the libraries listed below

• okwme / BatchedBondingCurves
  Automatic market maker with batched buy & sell orders
  ☆32Updated 3 years ago
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 7 years ago
• dapphub / klab
  K framework proof explorer & smart contract specification format
  ☆124Updated 4 years ago
• gcolvin / evm-drag-race
  EVM performance tests for a range of clients
  ☆24Updated 6 years ago
• Ohalo-Ltd / solevm
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆78Updated 7 years ago
• sky-ecosystem / mcd-cli
  MCD Command-line interface
  ☆18Updated 3 years ago
• gnosis / dex-research
  Collection of research papers written within Gnosis
  ☆91Updated 4 years ago
• dpilch / solmd
  Markdown documentation generator for Solidity
  ☆33Updated 4 years ago
• metacartel / Harbour-MVP
  Building a decentralised p2p meta-tx relayer network [MVP] Codename: Harbour ## We solved this problem: https://medium.com/tabookey/1-800…
  ☆30Updated 6 years ago
• GNSPS / 2DProxy
  A Solidity delegate call proxy that also `delegatecall`'s its constructor
  ☆22Updated 7 years ago
• smartcontracts / mind-breed
  A CryptoKitties powered Brainfuck interpreter on Ethereum
  ☆32Updated 7 years ago
• whiteblock / hobbits
  Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.
  ☆29Updated 6 years ago
• leapdao / solEVM-enforcer
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆102Updated 3 years ago
• MolochVentures / LearnChannels
  LearnChannels.org - open source information resource on state channels
  ☆31Updated 7 years ago
• runtimeverification / erc20-semantics
  ERC20 in K
  ☆49Updated 6 years ago
• dapphub / ds-group
  Multisig with a command-line interface
  ☆21Updated 7 years ago
• karlfloersch / research
  🐹
  ☆18Updated 2 years ago
• ricmoo / Takoyaki
  ENS the fun and easy way; like a box of cereal, there is a toy at the bottom.
  ☆37Updated 3 years ago
• enslogin / Hackathon
  [DEPRECATED] ENS Login hackthan project for ETHBerlin 2019
  ☆17Updated 6 years ago
• aragonlabs / court-sim
  An agent-based model of decentralized dispute resolution oracle.
  ☆12Updated 7 years ago
• ensdomains / solsha1
  Pure-solidity implementation of the SHA1 hash function.
  ☆41Updated 3 years ago
• ethereum / eth2.0-tests
  [DEPRECATED] Common tests for all Eth2.0 implementations
  ☆19Updated 6 years ago
• cryptoeconomics-study / code
  👾 Interactive coding challenges to test and apply your knowledge
  ☆75Updated 3 years ago
• shanefontaine / ethereum-wallet-comparison
  💰 Ethereum Wallet Comparison
  ☆54Updated 3 years ago
• AztecProtocol / aztec-v1-specification
  AZTEC protocol specification
  ☆31Updated 5 years ago
• celestiaorg / lazyledger-prototype
  LazyLedger academic prototype
  ☆50Updated 5 years ago
• dapphub / ds-guard
  Whitelist DSAuthority for use with DSAuth
  ☆24Updated 4 years ago
• smartcontractkit / solidity-cborutils
  A library for encoding CBOR in Solidity.
  ☆66Updated 2 years ago
• sky-ecosystem / testchain
  Start a local test chain with the MakerDAO contracts deployed on it, quickly and easily.
  ☆33Updated 3 years ago
• ConsenSysDiligence / 0x_audit_report_2018-07-23
  0x Protocol v2 Audit
  ☆26Updated 6 years ago