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 3 years ago
• gnosis / dex-research
  Collection of research papers written within Gnosis
  ☆92Updated 3 years ago
• UMAprotocol / whitepaper
  ☆79Updated 5 years ago
• renproject / darknode-sol
  An implementation of Darknode smart contracts, written in Solidity
  ☆85Updated 2 years ago
• herumi / bls-eth-wasm
  ☆31Updated 11 months ago
• AlexeyAkhunov / papers
  ☆39Updated 4 years ago
• ethereum / eth2.0-tests
  [DEPRECATED] Common tests for all Eth2.0 implementations
  ☆19Updated 6 years ago
• 5afe / safe-relay-service
  Relay Tx Service for Gnosis Safe
  ☆59Updated 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
• counterfactual / paper
  📄 Counterfactual: Generalized State Channels Paper
  ☆57Updated 7 years ago
• dapphub / klab
  K framework proof explorer & smart contract specification format
  ☆124Updated 4 years ago
• protolambda / beacon-schematic
  Schematic of the Ethereum 2.0 Beacon Chain specification
  ☆51Updated 6 years ago
• ConsenSysDiligence / aragraph
  Visualize your Aragon DAO Templates
  ☆29Updated last year
• LayerXcom / cbc-casper-proof
  Proofs of properties of CBC Casper
  ☆35Updated 5 years ago
• protolambda / lmd-ghost
  Comparison of the different LMD-GHOST implementations
  ☆40Updated 6 years ago
• sky-ecosystem / mkr-mcd-spec
  High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
  ☆28Updated 2 years ago
• whiteblock / genesis
  Genesis is an end-to-end development sandbox and testing platform for Web3 and blockchain-based distributed systems.
  ☆80Updated 2 years ago
• AztecProtocol / aztec-v1-specification
  AZTEC protocol specification
  ☆30Updated 5 years ago
• okwme / BatchedBondingCurves
  Automatic market maker with batched buy & sell orders
  ☆32Updated 2 years ago
• federicobond / eth-mutants
  👾 A mutation testing tool for Solidity contracts
  ☆48Updated 7 years ago
• quilt / sheth
  Execution environment for managing shard ether
  ☆25Updated 5 years ago
• summa-tx / relays
  Cross-chain relays :)
  ☆55Updated 2 years ago
• ethereum934 / eth-mimblewimble
  Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum
  ☆82Updated 2 years ago
• DZGoldman / Deorg
  ☆23Updated 4 years ago
• GridPlus / cryptobridge-contracts
  Smart contracts for trustless bridges
  ☆75Updated 5 years ago
• TruebitProtocol / wiki
  Classic source for Truebit documentation
  ☆59Updated 4 years ago
• ZenGo-X / ShareLock
  ShareLock: mixing for cryptocurrencies from multiparty ECDSA
  ☆51Updated 2 years ago
• balancer / configurable-rights-pool
  ☆34Updated 4 years ago
• kilic / pre-comm-ct
  Confidential Transactions with Reusable Commitments on Ethereum
  ☆17Updated 5 years ago
• loredanacirstea / articles
  Articles
  ☆20Updated 2 years ago