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 7 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• unsystem / paypub
  PayPub: Trustless payments for information publishing on Bitcoin
  ☆80Updated 10 years ago
• curiosity-driven / bitcoin-contracts-compiler
  Small programming language compiling to Bitcoin Script
  ☆17Updated 10 years ago
• Blockstream / contracthashtool
  A simple implementation of Pay-to-Contract-Hash
  ☆89Updated 3 years ago
• truthcoin / truthcoin-cpp
  Knowledge Revolution
  ☆28Updated 9 years ago
• bitcoin-hivemind / hivemind
  Knowledge Revolution
  ☆116Updated 7 years ago
• BlockchainGuild / BlockchainGuildCommunity
  Blockchain Guild Community
  ☆83Updated 5 years ago
• balzac-lang / balzac
  Balzac is a domain-specific language to write Bitcoin transactions.
  ☆26Updated last month
• zcash-hackworks / pay-to-sudoku
  Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment
  ☆102Updated 8 years ago
• bitcoin-s / elements
  Feature experiments to advance the art of Bitcoin - Build your own sidechain
  ☆16Updated 8 years ago
• 1deos / deosorg
  ☆61Updated 8 years ago
• jl2012 / bips
  Bitcoin Improvement Proposals
  ☆31Updated 3 years ago
• drivechain-project / sidechains-old
  Testchain Release Page
  ☆58Updated 2 years ago
• drivechain-project / docs
  Documentation and FAQ
  ☆45Updated 2 years ago
• bramcohen / MerkleSet
  A highly performant merkle set data structure. To be ported to C later.
  ☆74Updated 7 years ago
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 2 years ago
• DavidVorick / knosys
  Temporary repository for systemizing Bitcoin knowledge.
  ☆22Updated 9 years ago
• mcelrath / braidcoin
  Experiments in a improving Bitcoin using a Directed Acyclic Graph instead of a chain
  ☆37Updated last year
• ElementsProject / elementsproject.org
  Source code for the ElementsProject.org website
  ☆89Updated 6 years ago
• orisi / orisi
  Oracle and client source code [START HERE]
  ☆112Updated 10 years ago
• Blockstream / borromean_paper
  Technical paper on the Borromean ring signature construction
  ☆47Updated 8 years ago
• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆28Updated 3 years ago
• obsidiansystems / ledger-app-tezos
  Ledger app for Tezos
  ☆101Updated 3 years ago
• citp / TwoFactorBtcWallet
  ☆70Updated 3 years ago
• agoric-labs / PlaygroundVat
  OBSOLETE prototype Vat host: use SwingSet instead
  ☆30Updated 5 years ago
• adlai / cjhunt
  ABANDONED delineator of pseudonymous payment sets
  ☆13Updated 8 months ago
• proofchains / python-proofmarshal
  ☆26Updated 7 years ago
• Kefkius / txsc
  Transaction script compiler
  ☆13Updated 8 years ago
• AdamISZ / ConfidentialTransactionsDoc
  A detailed description of how Bitcoin Elements Alpha Confidential Transactions works
  ☆58Updated 7 years ago