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:
- Original position paper and white paper for Tezos☆38Updated 7 years ago
- ☆29Updated 4 years ago
- Submission site for Zcash Foundation grant proposals☆25Updated 7 years ago
- Compiler for BitML☆28Updated 3 years ago
- A Haskell framework that facilitates writing ABCI applications☆34Updated last year
- DSL for Secure DApps☆33Updated 2 years ago
- 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
- FastCast rest server, like the one hosted at hub.orisi.org☆14Updated 10 years ago
- A highly performant merkle set data structure. To be ported to C later.☆74Updated 7 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆133Updated last year
- Articles and Papers from Consensus Research☆30Updated 9 years ago
- An oracle that posts results of sports events into Byteball database☆10Updated 4 months ago
- This utility library has been moved to the EthereumJS VM monorepo.☆12Updated 4 years ago
- An independent reimplementation of Ethereum in Haskell☆81Updated 10 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Updated 5 years ago
- ☆24Updated 8 years ago
- Dr. Y's Ethereum Contract Analyzer☆41Updated 3 years ago
- ☆16Updated 8 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- ☆26Updated 7 years ago
- An API for rchain dapps to communicate with the blockchain☆22Updated last year
- idni.org☆75Updated 7 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- Ethereum browser client based on ipfs/libp2p☆20Updated 7 years ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- Internet Financial EXchange (IFEX) Protocol☆19Updated 7 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 4 years ago
- Formal specification and reference implementation of Casper☆15Updated 9 years ago
- Deterministic build environment for Zcash☆19Updated last month
- Grin Requests for Comments☆37Updated 2 years ago