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
• gnosis / dex-research
  Collection of research papers written within Gnosis
  ☆92Updated 3 years ago
• UMAprotocol / whitepaper
  ☆79Updated 5 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• AlexeyAkhunov / papers
  ☆39Updated 4 years ago
• sky-ecosystem / mkr-mcd-spec
  High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
  ☆28Updated 2 years ago
• LayerXcom / cbc-casper-proof
  Proofs of properties of CBC Casper
  ☆35Updated 5 years ago
• dapphub / klab
  K framework proof explorer & smart contract specification format
  ☆124Updated 3 years ago
• BlockScience / conviction
  Repository for Research on Conviction voting schemes
  ☆53Updated 2 years ago
• ConsenSysDiligence / solidity-parser-antlr
  A Solidity parser for JS built on top of a robust ANTLR4 grammar
  ☆24Updated 2 years ago
• gcolvin / evm-drag-race
  EVM performance tests for a range of clients
  ☆24Updated 5 years ago
• ethereum-oasis-op / oasis-open-project
  Admin, governance, and background info for Ethereum OASIS Open Project
  ☆59Updated 2 weeks ago
• renproject / rzl-mpc-specification
  Specification of the RenVM MPC algorithm
  ☆19Updated 5 years ago
• ConsenSysDiligence / aragraph
  Visualize your Aragon DAO Templates
  ☆29Updated last year
• herumi / bls-eth-wasm
  ☆31Updated 10 months ago
• ethereum / eth2.0-tests
  [DEPRECATED] Common tests for all Eth2.0 implementations
  ☆19Updated 6 years ago
• dydxprotocol / dydx.js
  [DEPRECATED] TypeScript library for interacting with the dYdX V1 protocol
  ☆22Updated 6 years ago
• 5afe / safe-relay-service
  Relay Tx Service for Gnosis Safe
  ☆59Updated 2 years ago
• empowerthedao / uniswap-aragon-app
  Aragon app integrated with the Uniswap protocol.
  ☆21Updated last year
• ensdomains / solsha1
  Pure-solidity implementation of the SHA1 hash function.
  ☆43Updated 2 years ago
• counterfactual / paper
  📄 Counterfactual: Generalized State Channels Paper
  ☆57Updated 6 years ago
• snario / zknifty
  🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs
  ☆96Updated 6 years ago
• DZGoldman / Deorg
  ☆23Updated 4 years ago
• renproject / darknode-sol
  An implementation of Darknode smart contracts, written in Solidity
  ☆85Updated 2 years ago
• MrChico / stablecoin.services
  A gas free offering of common Dai and Chai operations
  ☆33Updated 2 years ago
• maurelian / erc721-vyper
  ERC721 in Vyper
  ☆45Updated 6 years ago
• ZenGo-X / ShareLock
  ShareLock: mixing for cryptocurrencies from multiparty ECDSA
  ☆51Updated 2 years ago
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆39Updated 5 years ago
• ChainShot / Builder
  An IDE for building Code Tutorials
  ☆43Updated 2 years ago
• LogvinovLeon / estid-sig
  Verify Estonian e-id signatures on Ethereum
  ☆62Updated 3 years ago