Alternatives and similar repositories for qeditas

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

• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• IDNI / TML
  Tau Meta-Language
  ☆123Updated 2 years ago
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 2 years ago
• naturalog / tauchain
  idni.org
  ☆75Updated 7 years ago
• datavetaren / prologcoin
  ☆36Updated 4 years ago
• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆27Updated 3 years ago
• zcash-hackworks / pay-to-sudoku
  Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment
  ☆102Updated 8 years ago
• runtimeverification / iele-semantics
  Semantics of Virtual Machine for IELE prototype blockchain
  ☆132Updated 2 years ago
• input-output-hk / high-assurance-legacy
  Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
  ☆78Updated 3 years ago
• mcelrath / braidcoin
  Experiments in a improving Bitcoin using a Directed Acyclic Graph instead of a chain
  ☆37Updated last year
• rchain / Rholang
  ☆89Updated 7 years ago
• ZcashFoundation / GrantProposals-2017Q4
  Submission site for Zcash Foundation grant proposals
  ☆25Updated 7 years ago
• mimblewimble / grin-web-wallet
  Grin WebUI Wallet
  ☆37Updated 6 years ago
• input-output-hk / rscoin-core
  ☆29Updated 4 years ago
• bitcoin-hivemind / hivemind
  Knowledge Revolution
  ☆116Updated 7 years ago
• unsystem / paypub
  PayPub: Trustless payments for information publishing on Bitcoin
  ☆80Updated 10 years ago
• truthcoin / truthcoin-cpp
  Knowledge Revolution
  ☆28Updated 9 years ago
• rchain / bounties
  RChain Bounty Program
  ☆90Updated 6 years ago
• tezos / tezos-papers
  Original position paper and white paper for Tezos
  ☆38Updated 7 years ago
• AdamISZ / ConfidentialTransactionsDoc
  A detailed description of how Bitcoin Elements Alpha Confidential Transactions works
  ☆58Updated 7 years ago
• TryQuiet / zbay
  ☆18Updated 3 years ago
• libbitcoin / libbitcoin-consensus
  Bitcoin Consensus Library (optional)
  ☆49Updated last year
• whyrusleeping / zmsg
  A small program for sending messages via zcash encrypted memo fields
  ☆99Updated 8 years ago
• cryptoanarchywiki / cryptoanarchywiki.github.io
  Encryption, digital money, anonymous networks, digital pseudonyms, zero knowledge, reputations, information markets, black markets, colla…
  ☆99Updated 2 years ago
• JoshOrndorff / LearnRholangByExample
  Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.
  ☆66Updated 3 years ago
• minium / Bitcoin-Spec
  Bitcoin Developer Reference
  ☆113Updated 8 years ago
• Blockstream / borromean_paper
  Technical paper on the Borromean ring signature construction
  ☆47Updated 8 years ago
• visvirial / bitcoin-script-debugger
  Online Debugging tool for Bitcoin script language
  ☆19Updated 8 years ago
• sipa / safegcd-bounds
  Bounds on divsteps iterations in safegcd
  ☆53Updated 11 months ago
• mimblewimble / cuckoo-miner
  Mining wrapper around the Cuckoo Cycle proof of work system for the Grin/MimbleWimble blockchain.
  ☆53Updated 6 years ago