input-output-hk / qeditasLinks
A Formal Library as a Bitcoin Spin-Off
☆17Updated 8 years ago
Alternatives and similar repositories for qeditas
Users that are interested in qeditas are comparing it to the libraries listed below
Sorting:
- ☆29Updated 4 years ago
- Original position paper and white paper for Tezos☆38Updated 7 years ago
- An oracle that posts results of sports events into Byteball database☆10Updated 3 months ago
- ☆11Updated 4 years ago
- Compiler for BitML☆28Updated 3 years ago
- a language optimized for state channels on blockchains.☆22Updated 4 years ago
- Experiments in a improving Bitcoin using a Directed Acyclic Graph instead of a chain☆39Updated last year
- Visualize Bitcoin UTXO set☆45Updated 3 years ago
- A test execution engine for Michelson smart contracts.☆17Updated 6 years ago
- Pure Python implementation of Mimblewimble protocol for Grin cryptocurrency☆21Updated 8 months ago
- Online Debugging tool for Bitcoin script language☆18Updated 8 years ago
- A Haskell framework that facilitates writing ABCI applications☆34Updated last year
- Submission site for Zcash Foundation grant proposals☆25Updated 7 years ago
- ☆16Updated 8 years ago
- OpenSwap - an atomic swap wallet based on Electron Cash☆18Updated 2 years ago
- ☆10Updated 8 years ago
- ☆13Updated 5 years ago
- Bitcoin Improvement Proposals☆14Updated 6 years ago
- Balzac is a domain-specific language to write Bitcoin transactions.☆26Updated 3 months ago
- Cross-chain Atomic Swaps in Grin☆23Updated 2 years ago
- Deterministic build environment for Zcash☆19Updated 3 weeks ago
- ☆24Updated 8 years ago
- Lightning Network Visualizer powered by LNTools☆28Updated 2 years ago
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆22Updated 7 years ago
- ☆17Updated 3 months ago
- Trustless sidechains for Bitcoin network. Lightning ⚡️ brings thunderbolt 🌩 – Typhon 🐉 brings typhoon🌪☆19Updated 6 years ago
- Testing framework for Sophia Smart Contract development.☆28Updated 5 months ago
- hacker/cypherpunk/etc historical writing to be included in GRINOIRE☆51Updated 5 years ago
- Grin WebUI Wallet☆37Updated 6 years ago
- This repository contains deprecated / legacy Unixfs "V2" discussions.☆21Updated 5 years ago