Alternatives and similar repositories for pi4u:

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

• ZcashFoundation / GrantProposals-2017Q4
  Submission site for Zcash Foundation grant proposals
  ☆25Updated 7 years ago
• matteocam / pay-to-sudoku-attack
  ☆10Updated 7 years ago
• 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
• rchain / architecture-docs
  Sphinx source for the architecture docs
  ☆25Updated 2 years ago
• ebfull / hackishlibsnarkbindings
  ☆13Updated 8 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• rchain-community / rchain-api
  An API for rchain dapps to communicate with the blockchain
  ☆22Updated last year
• primea / js-primea-hypervisor
  a JavaScript Implementation of Primea HyperVisor
  ☆42Updated 4 years ago
• pirapira / cbc_casper
  Isabelle formalization of binary consensus
  ☆9Updated 8 years ago
• plasmaio / paper
  Plasma Paper
  ☆10Updated 7 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 5 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• dapphub / ds-group
  Multisig with a command-line interface
  ☆22Updated 6 years ago
• amiller / instant-poker
  Off-chain poker in Ethereum
  ☆22Updated 8 years ago
• TrueBitFoundation / ocaml-offchain
  Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
  ☆44Updated 4 years ago
• ledgerlabs / toy-state-channels
  An educational "toy" implementation of fully abstracted state channels
  ☆49Updated 8 years ago
• cosmos / research
  ☆22Updated 4 years ago
• TrueBitFoundation / incentive-layer
  [DEPRECATED] Incentive layer contracts and deployment information.
  ☆31Updated 6 years ago
• leithaus / casper
  Formal specification and reference implementation of Casper
  ☆15Updated 9 years ago
• tendermint / testnets
  Config files for connecting to testnets
  ☆17Updated 6 years ago
• iurimatias / TransactionRelay
  Transaction Relay enables transaction fees of Ethereum contracts and transactions to be paid by any Currency
  ☆40Updated 8 years ago
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 6 years ago
• ConsensusResearch / articles-papers
  Articles and Papers from Consensus Research
  ☆30Updated 9 years ago
• pipeos-one / dType
  Proposals and specs for a decentralized type system.
  ☆26Updated 2 years ago
• makerdao / simplecoin1
  Something to play with while we wait
  ☆20Updated 5 years ago
• gavofyork / curly-engine
  ☆14Updated 9 years ago
• pepper-project / tinyram
  An independent reimplementation of (vn)TinyRAM
  ☆37Updated 8 years ago
• ethereum / benchmarking
  Benchmarking data for EVM ops and precompiles
  ☆22Updated 2 years ago
• TrueBitFoundation / webasm-solidity
  [DEPRECATED] On-chain interpreter for WebAssembly written in Solidity
  ☆67Updated 4 years ago
• ConsenSysMesh / research
  Intended as an open dialogue of cross pollination and collaborative effort to work with researchers.
  ☆10Updated 7 years ago