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
• maurelian / erc721-vyper
  ERC721 in Vyper
  ☆43Updated 6 years ago
• LayerXcom / cbc-casper-proof
  Proofs of properties of CBC Casper
  ☆35Updated 5 years ago
• levelkdev / fcr-contracts
  Smart contracts for futarchy curated registry
  ☆14Updated 6 years ago
• Consensys / 0x_audit_report_2018-07-23
  0x Protocol v2 Audit
  ☆25Updated 5 years ago
• axic / eth2-deposit-contract
  This is a port of the Vyper Eth 2.0 deposit contract to Solidity.
  ☆20Updated 4 years ago
• OpenZeppelin / openzeppelin-gsn-provider
  Web3 provider for the Gas Station Network
  ☆39Updated 4 years ago
• okwme / BatchedBondingCurves
  Automatic market maker with batched buy & sell orders
  ☆32Updated 2 years ago
• ensdomains / solsha1
  Pure-solidity implementation of the SHA1 hash function.
  ☆41Updated 2 years ago
• status-im / vyper-debug
  Easy to use Vyper debugger | vdb (https://github.com/ethereum/vyper)
  ☆28Updated 5 years ago
• federicobond / eth-mutants
  👾 A mutation testing tool for Solidity contracts
  ☆48Updated 6 years ago
• gnosis / research
  You will find an index of our research work here.
  ☆26Updated 4 years ago
• odyssy-automaton / pocket-moloch
  Bare bones, mobile-first set up for Moloch frontend with Abridged Wallet SDK by Odyssy
  ☆21Updated last year
• plasma-group / research
  Random research and simulations
  ☆16Updated 6 years ago
• aragon / aragen
  (Aragon 1) Generate an Aragon environment
  ☆20Updated 2 years ago
• dydxprotocol / dydx.js
  [DEPRECATED] TypeScript library for interacting with the dYdX V1 protocol
  ☆22Updated 5 years ago
• anydotcrypto / metatransactions
  A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.
  ☆45Updated last year
• AlexeyAkhunov / papers
  ☆39Updated 4 years ago
• fubuloubu / pytest-ethereum-old
  py.test plugin for testing Ethereum smart contracts
  ☆20Updated 6 years ago
• Uniswap / unipig
  🦄🐷
  ☆40Updated 3 years ago
• PhABC / gastoken-factory--token-sale
  Token Sale example implementing GasToken Factory methods
  ☆19Updated 6 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• zdai-io / zDai-mixer
  zDai.io - confidential Dai transactions on Burner wallet
  ☆29Updated 6 years ago
• makerdao / price-feed
  price feed, with expiration and medianizer poke
  ☆32Updated 4 years ago
• blocknative / assist
  Blocknative Assist widget for blockchain usability
  ☆55Updated 2 years ago
• kumavis / udapp
  ethereum universal dapp
  ☆27Updated 7 years ago
• Consensys / web3studio-soy
  Static Websites on the Distributed Web
  ☆33Updated last year
• counterfactual / paper
  📄 Counterfactual: Generalized State Channels Paper
  ☆57Updated 6 years ago
• mmalvarez / eth-isabelle
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆33Updated 5 years ago
• mattgstevens / awesome-zero-knowledge-proofs
  A collection of videos, reading materials and tools for learning all about the ZK side of crypto.
  ☆20Updated 6 years ago