Alternatives and similar repositories for prologcoin

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

• naturalog / tauchain
  idni.org
  ☆75Updated 8 years ago
• BlockchainGuild / BlockchainGuildCommunity
  Blockchain Guild Community
  ☆84Updated 5 years ago
• bitcoin-hivemind / hivemind
  Knowledge Revolution
  ☆115Updated 7 years ago
• zcash-hackworks / pay-to-sudoku
  Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment
  ☆104Updated 8 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 9 years ago
• Blockstream / contracthashtool
  A simple implementation of Pay-to-Contract-Hash
  ☆89Updated 4 years ago
• truthcoin / truthcoin-cpp
  Knowledge Revolution
  ☆27Updated 9 years ago
• unsystem / paypub
  PayPub: Trustless payments for information publishing on Bitcoin
  ☆80Updated 11 years ago
• leithaus / casper
  Formal specification and reference implementation of Casper
  ☆15Updated 10 years ago
• olalonde / proof-of-solvency
  Proof of Solvency (PoS) is a scheme designed to let users verify the solvency of online websites which accept Bitcoin (or other similar c…
  ☆71Updated 9 years ago
• bramcohen / MerkleSet
  A highly performant merkle set data structure. To be ported to C later.
  ☆75Updated 8 years ago
• sipa / bitcoin-net-simul
  Bitcoin network simulator
  ☆19Updated 10 years ago
• input-output-hk / qeditas
  A Formal Library as a Bitcoin Spin-Off
  ☆17Updated 8 years ago
• davidjaenson / equihash
  ☆24Updated 9 years ago
• 1deos / deosorg
  ☆59Updated 8 years ago
• runtimeverification / iele-semantics
  Semantics of Virtual Machine for IELE prototype blockchain
  ☆131Updated 2 years ago
• DavidVorick / knosys
  Temporary repository for systemizing Bitcoin knowledge.
  ☆22Updated 10 years ago
• drivechain-project / sidechains-old
  Testchain Release Page
  ☆58Updated 2 years ago
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 3 years ago
• bitcoin-s / elements
  Feature experiments to advance the art of Bitcoin - Build your own sidechain
  ☆16Updated 8 years ago
• citp / TwoFactorBtcWallet
  ☆70Updated 4 years ago
• jl2012 / bips
  Bitcoin Improvement Proposals
  ☆31Updated 3 years ago
• decred / politeia
  ☆110Updated 2 months ago
• rchain / reference
  Rchain reference material
  ☆52Updated 3 years ago
• siminchen / bitcoinIDE
  ☆220Updated 6 years ago
• bkirwi / ethereum-haskell
  An independent reimplementation of Ethereum in Haskell
  ☆81Updated 10 years ago
• minium / Bitcoin-Spec
  Bitcoin Developer Reference
  ☆113Updated 8 years ago
• orisi / orisi
  Oracle and client source code [START HERE]
  ☆114Updated 10 years ago
• ElementsProject / elementsproject.org
  Source code for the ElementsProject.org website
  ☆89Updated 7 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 7 years ago