Alternatives and similar repositories for k-dss

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

• dapphub / klab
  K framework proof explorer & smart contract specification format
  ☆124Updated 4 years ago
• 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
• sky-ecosystem / mcd-cli
  MCD Command-line interface
  ☆18Updated 2 years ago
• dpilch / solmd
  Markdown documentation generator for Solidity
  ☆34Updated 3 years ago
• whiteblock / hobbits
  Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.
  ☆28Updated 6 years ago
• aragonlabs / court-sim
  An agent-based model of decentralized dispute resolution oracle.
  ☆12Updated 6 years ago
• gcolvin / evm-drag-race
  EVM performance tests for a range of clients
  ☆24Updated 5 years ago
• dapphub / ds-group
  Multisig with a command-line interface
  ☆22Updated 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
• Ohalo-Ltd / solevm
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆78Updated 6 years ago
• runtimeverification / erc20-semantics
  ERC20 in K
  ☆50Updated 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
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 7 years ago
• ensdomains / dnssec-oracle
  A DNSSEC oracle for Ethereum
  ☆60Updated 2 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
• MolochVentures / LearnChannels
  LearnChannels.org - open source information resource on state channels
  ☆31Updated 6 years ago
• ethereum / eth2.0-tests
  [DEPRECATED] Common tests for all Eth2.0 implementations
  ☆19Updated 6 years ago
• federicobond / eth-mutants
  👾 A mutation testing tool for Solidity contracts
  ☆48Updated 7 years ago
• AztecProtocol / aztec-v1-specification
  AZTEC protocol specification
  ☆30Updated 5 years ago
• espresso-org / aragon-drive
  Drive App for Aragon
  ☆22Updated 6 years ago
• NonsenseCapital / docs
  basic on the project
  ☆18Updated 6 years ago
• ensdomains / solsha1
  Pure-solidity implementation of the SHA1 hash function.
  ☆41Updated 2 years ago
• Arachnid / sggc
  Boilerplate and tests for the first Solidity Gas Golfing Contest
  ☆51Updated 7 years ago
• UMAprotocol / whitepaper
  ☆79Updated 5 years ago
• shanefontaine / ethereum-wallet-comparison
  💰 Ethereum Wallet Comparison
  ☆54Updated 2 years ago
• gnosis / dx-contracts
  🇳🇱✖️DutchX core smart contracts
  ☆45Updated 5 years ago
• dapphub / ds-guard
  Whitelist DSAuthority for use with DSAuth
  ☆25Updated 4 years ago
• enslogin / Hackathon
  [DEPRECATED] ENS Login hackthan project for ETHBerlin 2019
  ☆17Updated 6 years ago