Alternatives and similar repositories for prologcoin:

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

• curiosity-driven / bitcoin-contracts-compiler
  Small programming language compiling to Bitcoin Script
  ☆17Updated 9 years ago
• BlockchainGuild / BlockchainGuildCommunity
  Blockchain Guild Community
  ☆83Updated 4 years ago
• truthcoin / truthcoin-cpp
  Knowledge Revolution
  ☆27Updated 8 years ago
• DavidVorick / knosys
  Temporary repository for systemizing Bitcoin knowledge.
  ☆21Updated 9 years ago
• drivechain-project / sidechains-old
  Testchain Release Page
  ☆61Updated 2 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• leithaus / casper
  Formal specification and reference implementation of Casper
  ☆15Updated 9 years ago
• bitcoin-hivemind / hivemind
  Knowledge Revolution
  ☆114Updated 6 years ago
• rsksmart / bips
  Bitcoin BIPs
  ☆16Updated 6 years ago
• proofchains / python-proofmarshal
  ☆26Updated 7 years ago
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 2 years ago
• mcelrath / braidcoin
  Experiments in a improving Bitcoin using a Directed Acyclic Graph instead of a chain
  ☆38Updated last year
• TheBlueMatt / bips
  Bitcoin Improvement Proposals
  ☆47Updated 4 months ago
• ledgerlabs / toy-state-channels
  An educational "toy" implementation of fully abstracted state channels
  ☆49Updated 8 years ago
• orisi / orisi
  Oracle and client source code [START HERE]
  ☆112Updated 9 years ago
• AdamISZ / ConfidentialTransactionsDoc
  A detailed description of how Bitcoin Elements Alpha Confidential Transactions works
  ☆58Updated 6 years ago
• veqtrus / bitcoin-turing-machine
  A compiler from a Turing Machine definition to a Bitcoin script
  ☆14Updated 6 years ago
• unsystem / paypub
  PayPub: Trustless payments for information publishing on Bitcoin
  ☆78Updated 10 years ago
• zcash-hackworks / pay-to-sudoku
  Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment
  ☆101Updated 7 years ago
• ZcashFoundation / GrantProposals-2017Q4
  Submission site for Zcash Foundation grant proposals
  ☆25Updated 6 years ago
• tothemoon-org / extension-blocks
  Extension blocks soft-fork specification
  ☆41Updated 7 years ago
• deosorg / deosorg
  ☆27Updated 6 years ago
• obscuren / whisper-payment-channel
  Sample payment channel using whisper
  ☆36Updated 9 years ago
• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆27Updated 3 years ago
• naturalog / tauchain
  idni.org
  ☆75Updated 7 years ago
• Blockstream / contracthashtool
  A simple implementation of Pay-to-Contract-Hash
  ☆90Updated 3 years ago
• bitcoin-s / elements
  Feature experiments to advance the art of Bitcoin - Build your own sidechain
  ☆16Updated 7 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• alexbosworth / lnd-gui
  ☆36Updated 6 years ago
• paulkernfeld / bitcoin-script-explorer
  A tool to help programmers learn Bitcoin Script.
  ☆27Updated 10 years ago