Alternatives and similar repositories for cbc_casper:

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

• tendermint / testnets
  Config files for connecting to testnets
  ☆17Updated 6 years ago
• makerdao / simplecoin1
  Something to play with while we wait
  ☆20Updated 5 years ago
• primea / js-primea-hypervisor
  a JavaScript Implementation of Primea HyperVisor
  ☆42Updated 4 years ago
• ipfs / go-ipld-eth-import
  Bring Ethereum to IPFS
  ☆26Updated last week
• ethereum / simplecasper
  Casper PoC4 implementation. This PoC4 version served as an early prototype to test and refine the PoS protocol, laying the groundwork for…
  ☆20Updated 8 years ago
• plasmaio / paper
  Plasma Paper
  ☆10Updated 7 years ago
• ebuchman / thesis
  ☆19Updated 8 years ago
• leithaus / casper
  Formal specification and reference implementation of Casper
  ☆15Updated 9 years ago
• tendermint / governmint
  DEPRECATED: TMSP Governance App
  ☆17Updated 9 years ago
• ZcashFoundation / GrantProposals-2017Q4
  Submission site for Zcash Foundation grant proposals
  ☆25Updated 7 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• cosmos / research
  ☆22Updated 4 years ago
• tendermint / light-client
  DEPRECATED: A light client for tendermint, supporting signatures, proofs, and validation (see github.com/tendermint/tendermint/lite)
  ☆17Updated 7 years ago
• ledgerlabs / toy-state-channels
  An educational "toy" implementation of fully abstracted state channels
  ☆49Updated 8 years ago
• TrueBitFoundation / ocaml-offchain
  Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
  ☆44Updated 4 years ago
• primea / design
  Documentation and research notes related to the Prima Kernel
  ☆20Updated 7 years ago
• ebfull / hackishlibsnarkbindings
  ☆13Updated 8 years ago
• pirapira / dry-analyzer
  Dr. Y's Ethereum Contract Analyzer
  ☆41Updated 3 years ago
• HogLang / hog
  The Hog programming language
  ☆15Updated 7 years ago
• mmalvarez / eth-isabelle
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆33Updated 5 years ago
• dapp-studies / game-theory-study-group
  Notes and stuff related to the study group
  ☆15Updated 8 years ago
• Consensys / Project-Alchemy
  Ethereum-Zcash Integration effort
  ☆67Updated 6 years ago
• f-o-a-m / kepler
  A Haskell framework that facilitates writing ABCI applications
  ☆34Updated 11 months ago
• kumavis / ipfs-eth-bridge
  serve ethereum data over ipfs via parity
  ☆20Updated 7 years ago
• dapp-studies / cryptoeconomics
  A collection of 🔥 resources & research on cryptoeconomics
  ☆27Updated 7 years ago
• gstew5 / snarkl
  ☆59Updated 3 years ago
• alexvandesande / Daefen
  A library for encoding and decoding large numbers into a pronounceable, high density, string, that uses 3456 syllables as its base.
  ☆21Updated 6 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• pipermerriam / ethereum-identity
  Identity platform for Ethereum
  ☆14Updated 9 years ago
• Otonomos / smart-equity
  Otonomos proposal for how The DAO/DAOs can hold stakes in projects, digital or real-world
  ☆16Updated 8 years ago