Alternatives and similar repositories for qeditas

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

• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆27Updated 3 years ago
• input-output-hk / high-assurance-legacy
  Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
  ☆79Updated 3 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 9 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
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 2 years ago
• naturalog / tauchain
  idni.org
  ☆75Updated 8 years ago
• IDNI / TML
  Tau Meta-Language
  ☆123Updated 2 years ago
• datavetaren / prologcoin
  ☆36Updated 4 years ago
• input-output-hk / rscoin-core
  ☆29Updated 4 years ago
• runtimeverification / iele-semantics
  Semantics of Virtual Machine for IELE prototype blockchain
  ☆131Updated 2 years ago
• mcelrath / braidcoin
  Experiments in a improving Bitcoin using a Directed Acyclic Graph instead of a chain
  ☆38Updated 2 years ago
• bitcoin-hivemind / hivemind
  Knowledge Revolution
  ☆115Updated 7 years ago
• AdamISZ / ConfidentialTransactionsDoc
  A detailed description of how Bitcoin Elements Alpha Confidential Transactions works
  ☆60Updated 7 years ago
• IntersectMBO / cardano-crypto
  This repository provides cryptographic libraries that are used in the Byron era of the Cardano node
  ☆68Updated 2 months ago
• truthcoin / truthcoin-cpp
  Knowledge Revolution
  ☆27Updated 9 years ago
• tezos / tezos-papers
  Original position paper and white paper for Tezos
  ☆38Updated 7 years ago
• unsystem / paypub
  PayPub: Trustless payments for information publishing on Bitcoin
  ☆80Updated 11 years ago
• f-o-a-m / kepler
  A Haskell framework that facilitates writing ABCI applications
  ☆34Updated last year
• rchain / Rholang
  ☆89Updated 7 years ago
• TryQuiet / zbay
  ☆18Updated 4 years ago
• bramcohen / MerkleSet
  A highly performant merkle set data structure. To be ported to C later.
  ☆75Updated 8 years ago
• h4sh3d / xmr-btc-atomic-swap
  Cross-chain atomic swap protocol between Monero and Bitcoin
  ☆88Updated 5 years ago
• ZcashFoundation / GrantProposals-2017Q4
  Submission site for Zcash Foundation grant proposals
  ☆25Updated 7 years ago
• martinus / BitcoinUtxoVisualizer
  Visualize Bitcoin UTXO set
  ☆45Updated 3 years ago
• kanzure / diyhpluswiki
  a wiki for do-it-yourself biohacking, open source hardware and transhuman tech
  ☆184Updated last week
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 7 years ago
• jl2012 / bips
  Bitcoin Improvement Proposals
  ☆31Updated 3 years ago
• Blockstream / borromean_paper
  Technical paper on the Borromean ring signature construction
  ☆47Updated 8 years ago
• adityapk00 / zecpaperwallet
  Zcash Sapling Paper Wallet Generator
  ☆43Updated last year
• balzac-lang / balzac
  Balzac is a domain-specific language to write Bitcoin transactions.
  ☆26Updated 5 months ago