Alternatives and similar repositories for qeditas

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

• input-output-hk / rscoin-core
  ☆29Updated 4 years ago
• leithaus / pi4u
  A collection of papers about new models and applications of mobile process calculi
  ☆12Updated 5 years ago
• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆28Updated 3 years ago
• bitemyapp / ledgertheory
  ☆14Updated 10 years ago
• tezos / tezos-papers
  Original position paper and white paper for Tezos
  ☆38Updated 7 years ago
• davidjaenson / equihash
  ☆24Updated 8 years ago
• f-o-a-m / kepler
  A Haskell framework that facilitates writing ABCI applications
  ☆34Updated last year
• matteocam / pay-to-sudoku-attack
  ☆10Updated 7 years ago
• shadow / shadow-plugin-bitcoin
  A Shadow plug-in that runs the Bitcoin Satoshi reference software
  ☆25Updated 5 years ago
• 21dotco / bitroute
  An example piece of code to publish to the 21 marketplace. Allows users to pay you bitcoin to run a traceroute.
  ☆16Updated 8 years ago
• firoorg / spark-paper
  The technical paper for the Spark protocol
  ☆11Updated last year
• globalcitizen / ifex-protocol
  Internet Financial EXchange (IFEX) Protocol
  ☆19Updated 7 years ago
• mimblewimble / grin-rfcs
  Grin Requests for Comments
  ☆37Updated 2 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 5 years ago
• mit-dci / pooldetective
  ☆11Updated 4 years ago
• orisi / fastcast
  FastCast rest server, like the one hosted at hub.orisi.org
  ☆14Updated 10 years ago
• visvirial / bitcoin-script-debugger
  Online Debugging tool for Bitcoin script language
  ☆18Updated 8 years ago
• truthcoin / truthcoin-cpp
  Knowledge Revolution
  ☆27Updated 9 years ago
• martinus / BitcoinUtxoVisualizer
  Visualize Bitcoin UTXO set
  ☆44Updated 3 years ago
• comit-network / grin-btc-poc
  A proof-of-concept implementation of a Grin-Bitcoin atomic swap
  ☆18Updated 4 years ago
• Otonomos / smart-equity
  Otonomos proposal for how The DAO/DAOs can hold stakes in projects, digital or real-world
  ☆16Updated 9 years ago
• TrueBitFoundation / ocaml-offchain
  Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
  ☆44Updated 4 years ago
• dandelion-org / bips
  Bitcoin Improvement Proposals
  ☆14Updated 6 years ago
• ewust / DDoSCoin
  A malicious cryptocurrency
  ☆51Updated 8 years ago
• byteball / sports-oracle
  An oracle that posts results of sports events into Byteball database
  ☆10Updated 2 months ago
• bogatyy / grin-linkability
  Grin transaction data corresponding to research on transaction linkability
  ☆52Updated 5 years ago
• input-output-hk / casino
  Demo / PoC / implementation of IOHK MPC protocols
  ☆19Updated 6 years ago
• pandoracore / typhon-spec
  Trustless sidechains for Bitcoin network. Lightning ⚡️ brings thunderbolt 🌩 – Typhon 🐉 brings typhoon🌪
  ☆19Updated 6 years ago
• apoelstra / mimblewimble-paper
  LaTeX of the MimbleWimble paper
  ☆30Updated 3 years ago
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 2 years ago