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
  ☆46Updated 3 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• INFURA / devp2p-network
  Tools for analyzing the DevP2P network
  ☆33Updated last year
• pipeos-one / pipeline
  Visual IDE for composing Solidity smart contracts and Dapp agents. Use on https://remix.ethereum.org : Settings -> Plugin -> click on Pip…
  ☆38Updated 3 years ago
• ConsenSysDiligence / solidity-parser-antlr
  A Solidity parser for JS built on top of a robust ANTLR4 grammar
  ☆24Updated 2 years ago
• federicobond / eth-mutants
  👾 A mutation testing tool for Solidity contracts
  ☆48Updated 6 years ago
• TotlePlatform / contracts
  Totle Smart Contracts
  ☆37Updated 3 years ago
• BlockScience / conviction
  Repository for Research on Conviction voting schemes
  ☆53Updated 2 years ago
• LayerXcom / verified-vyper-contracts
  FVyper: A collection of useful Vyper contracts developed with formal methods
  ☆56Updated 4 years ago
• AlexeyAkhunov / papers
  ☆39Updated 4 years ago
• gnosis / research
  You will find an index of our research work here.
  ☆26Updated 4 years ago
• gnosis / dex-research
  Collection of research papers written within Gnosis
  ☆92Updated 3 years ago
• Magicking / solidity-evm
  Solidity EVM is a restricted Ethereum Virtual Machine interpreter
  ☆13Updated 6 years ago
• keep-network / whitepaper
  Whitepaper describing the Keep network
  ☆37Updated 5 years ago
• LayerXcom / cbc-casper-proof
  Proofs of properties of CBC Casper
  ☆35Updated 5 years ago
• status-im / vyper-debug
  Easy to use Vyper debugger | vdb (https://github.com/ethereum/vyper)
  ☆28Updated 6 years ago
• maurelian / erc721-vyper
  ERC721 in Vyper
  ☆44Updated 6 years ago
• DZGoldman / Deorg
  ☆23Updated 4 years ago
• graphprotocol / research
  Research, proposals, papers, and specs
  ☆48Updated 5 years ago
• corepaper / evm
  The Core Paper Project of EVM
  ☆15Updated 5 years ago
• aragon / aragen
  (Aragon 1) Generate an Aragon environment
  ☆20Updated 2 years ago
• renproject / darknode-sol
  An implementation of Darknode smart contracts, written in Solidity
  ☆85Updated 2 years ago
• dpilch / solmd
  Markdown documentation generator for Solidity
  ☆34Updated 3 years ago
• dydxprotocol / dydx.js
  [DEPRECATED] TypeScript library for interacting with the dYdX V1 protocol
  ☆22Updated 6 years ago
• status-im / snt-gas-relay
  SNT Gas Relay
  ☆14Updated 2 years ago
• provable-things / truffle-starter
  With the Provable oracle in this Truffle box, you can create data-rich smart-contracts in seconds!
  ☆20Updated 2 years ago
• ConsenSysDiligence / 0x_audit_report_2018-07-23
  0x Protocol v2 Audit
  ☆26Updated 5 years ago
• ConsenSysMesh / rb-relay
  WorkInProgress Contract on Ropsten that verifies Rinkeby transactions
  ☆14Updated 2 years ago
• blocknative / assist
  Blocknative Assist widget for blockchain usability
  ☆55Updated 2 years ago
• ethers-io / ethers-ledger
  Deprecated; please see `@ethersproject/hardware-wallets` instead
  ☆13Updated 6 years ago