Alternatives and similar repositories for k-dss

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

• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 6 years ago
• okwme / BatchedBondingCurves
  Automatic market maker with batched buy & sell orders
  ☆32Updated 2 years ago
• dpilch / solmd
  Markdown documentation generator for Solidity
  ☆34Updated 3 years ago
• federicobond / eth-mutants
  👾 A mutation testing tool for Solidity contracts
  ☆48Updated 7 years ago
• dapphub / klab
  K framework proof explorer & smart contract specification format
  ☆124Updated 4 years ago
• Ohalo-Ltd / solevm
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆78Updated 6 years ago
• Crypto-Punkers / resolver-engine
  Single API for resolving Solidity artefacts and imports
  ☆32Updated 2 years ago
• gnosis / dex-research
  Collection of research papers written within Gnosis
  ☆92Updated 3 years ago
• gcolvin / evm-drag-race
  EVM performance tests for a range of clients
  ☆24Updated 5 years ago
• whiteblock / hobbits
  Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.
  ☆28Updated 6 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
• ensdomains / solsha1
  Pure-solidity implementation of the SHA1 hash function.
  ☆42Updated 2 years ago
• gnosis / dx-contracts
  🇳🇱✖️DutchX core smart contracts
  ☆45Updated 5 years ago
• leapdao / solEVM-enforcer
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆103Updated 2 years ago
• AztecProtocol / aztec-v1-specification
  AZTEC protocol specification
  ☆30Updated 5 years ago
• dapp-studies / game-theory-study-group
  Notes and stuff related to the study group
  ☆15Updated 8 years ago
• MolochVentures / LearnChannels
  LearnChannels.org - open source information resource on state channels
  ☆31Updated 6 years ago
• runtimeverification / erc20-semantics
  ERC20 in K
  ☆50Updated 6 years ago
• ricmoo / Takoyaki
  ENS the fun and easy way; like a box of cereal, there is a toy at the bottom.
  ☆37Updated 2 years ago
• sky-ecosystem / mcd-cli
  MCD Command-line interface
  ☆18Updated 2 years ago
• GNSPS / 2DProxy
  A Solidity delegate call proxy that also `delegatecall`'s its constructor
  ☆22Updated 6 years ago
• ethereum / eth2.0-tests
  [DEPRECATED] Common tests for all Eth2.0 implementations
  ☆19Updated 6 years ago
• karlfloersch / research
  🐹
  ☆18Updated 2 years ago
• PerunEthereum / Perun
  Implementation of the Perun protocol
  ☆49Updated 5 years ago
• zdai-io / zDai-mixer
  zDai.io - confidential Dai transactions on Burner wallet
  ☆29Updated 6 years ago
• aragonlabs / court-sim
  An agent-based model of decentralized dispute resolution oracle.
  ☆12Updated 6 years ago
• ZeframLou / pooled-cdai
  Pools DAI, converts it into Compound DAI, and sends interests to a beneficiary. Users putting DAI into the pool receives Pooled cDAI (pcD…
  ☆50Updated 2 years ago
• cryptoeconomics-study / code
  👾 Interactive coding challenges to test and apply your knowledge
  ☆74Updated 2 years ago
• mattdf / sc-tools
  Smart Contract tools to help streamline Ethereum dapp development and deployment
  ☆14Updated 7 years ago
• dapphub / ds-guard
  Whitelist DSAuthority for use with DSAuth
  ☆25Updated 4 years ago