Alternatives and similar repositories for bamboo

Users that are interested in bamboo are comparing it to the libraries listed below

• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 4 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 7 years ago
• LayerXcom / cbc-casper-proof
  Proofs of properties of CBC Casper
  ☆36Updated 6 years ago
• gnosis / dex-research
  Collection of research papers written within Gnosis
  ☆91Updated 4 years ago
• BlockScience / conviction
  Repository for Research on Conviction voting schemes
  ☆51Updated 2 years ago
• renproject / darknode-sol
  An implementation of Darknode smart contracts, written in Solidity
  ☆85Updated 2 years ago
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 6 years ago
• UMAprotocol / whitepaper
  ☆81Updated 5 years ago
• TruebitProtocol / wiki
  Classic source for Truebit documentation
  ☆58Updated 4 years ago
• GridPlus / cryptobridge-contracts
  Smart contracts for trustless bridges
  ☆75Updated 5 years ago
• AztecProtocol / aztec-v1-specification
  AZTEC protocol specification
  ☆30Updated 5 years ago
• AlexeyAkhunov / papers
  ☆40Updated 5 years ago
• dapphub / klab
  K framework proof explorer & smart contract specification format
  ☆124Updated 4 years ago
• gnosis / dx-contracts
  🇳🇱✖️DutchX core smart contracts
  ☆45Updated 5 years ago
• 5afe / safe-relay-service
  Relay Tx Service for Gnosis Safe
  ☆59Updated 2 years ago
• ensdomains / solsha1
  Pure-solidity implementation of the SHA1 hash function.
  ☆41Updated 2 years ago
• ethereum / eth2.0-tests
  [DEPRECATED] Common tests for all Eth2.0 implementations
  ☆19Updated 6 years ago
• espresso-org / aragon-datastore
  Decentrally store files and manage their permissions
  ☆16Updated 6 years ago
• arminvoid / ethsingapore-zk-dai
  ZCash like private DAI transactions on ethereum using ZkSnarks. MakerDAO API prize winner.
  ☆52Updated 6 years ago
• ethereum-oasis-op / oasis-open-project
  Admin, governance, and background info for Ethereum OASIS Open Project
  ☆60Updated 4 months ago
• ZenGo-X / ShareLock
  ShareLock: mixing for cryptocurrencies from multiparty ECDSA
  ☆51Updated 3 years ago
• counterfactual / paper
  📄 Counterfactual: Generalized State Channels Paper
  ☆57Updated 7 years ago
• federicobond / eth-mutants
  👾 A mutation testing tool for Solidity contracts
  ☆47Updated 7 years ago
• zdai-io / zDai-mixer
  zDai.io - confidential Dai transactions on Burner wallet
  ☆29Updated 6 years ago
• empowerthedao / uniswap-aragon-app
  Aragon app integrated with the Uniswap protocol.
  ☆21Updated 2 years ago
• levelkdev / registry-builder
  Open source library for registry smart contracts
  ☆30Updated 4 years ago
• LogvinovLeon / estid-sig
  Verify Estonian e-id signatures on Ethereum
  ☆62Updated 3 years ago
• okwme / BatchedBondingCurves
  Automatic market maker with batched buy & sell orders
  ☆32Updated 3 years ago
• pirapira / vmtrace_visualizer
  A program that annotates a vm trace with dataflow information
  ☆34Updated 3 years ago
• Ohalo-Ltd / solevm
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆78Updated 7 years ago