Alternatives and similar repositories for bamboo:

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

• maurelian / erc721-vyper
  ERC721 in Vyper
  ☆41Updated 6 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• LayerXcom / cbc-casper-proof
  Proofs of properties of CBC Casper
  ☆35Updated 5 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• okwme / BatchedBondingCurves
  Automatic market maker with batched buy & sell orders
  ☆32Updated 2 years ago
• plasma-group / research
  Random research and simulations
  ☆16Updated 5 years ago
• status-im / vyper-debug
  Easy to use Vyper debugger | vdb (https://github.com/ethereum/vyper)
  ☆28Updated 5 years ago
• levelkdev / registry-builder
  Open source library for registry smart contracts
  ☆30Updated 3 years ago
• gnosis / research
  You will find an index of our research work here.
  ☆25Updated 4 years ago
• AlexeyAkhunov / papers
  ☆38Updated 4 years ago
• mmalvarez / Gazelle
  Gazelle = Generalized Elle. A framework for reusable programming language semantics.
  ☆18Updated 2 years ago
• anydotcrypto / metatransactions
  A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.
  ☆45Updated last year
• ChainSafe / denode
  a mechanism for incentivizing full nodes
  ☆24Updated 6 years ago
• makerdao / mkr-mcd-spec
  High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
  ☆28Updated 2 years ago
• my-dao-dashboard / My-DAO-Dashboard
  My DAO Dashboard
  ☆23Updated last year
• pirapira / vmtrace_visualizer
  A program that annotates a vm trace with dataflow information
  ☆35Updated 2 years ago
• Consensys / 0x_audit_report_2018-07-23
  0x Protocol v2 Audit
  ☆25Updated 5 years ago
• ethereum / twig
  ☆14Updated 5 years ago
• zdai-io / zDai-mixer
  zDai.io - confidential Dai transactions on Burner wallet
  ☆29Updated 5 years ago
• BlockScience / conviction
  Repository for Research on Conviction voting schemes
  ☆51Updated last year
• fubuloubu / pytest-ethereum-old
  py.test plugin for testing Ethereum smart contracts
  ☆20Updated 6 years ago
• GNSPS / 2DProxy
  A Solidity delegate call proxy that also `delegatecall`'s its constructor
  ☆22Updated 6 years ago
• status-im / athenaeum
  The Ethereum Research companion: research summary, impacts, specifications, status, resources, implementations
  ☆16Updated 6 years ago
• karlfloersch / research
  🐹
  ☆18Updated last year
• SkidanovAlex / snowball
  Snowball simulation
  ☆17Updated 5 years ago