rchain / architecture-docs
Sphinx source for the architecture docs
☆25Updated last year
Alternatives and similar repositories for architecture-docs:
Users that are interested in architecture-docs are comparing it to the libraries listed below
- Rchain reference material☆53Updated 2 years ago
- ☆90Updated 6 years ago
- An API for rchain dapps to communicate with the blockchain☆22Updated 10 months ago
- Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.☆67Updated 3 years ago
- The website.☆29Updated 7 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- RChain Bounty Program☆90Updated 5 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- A typed, functional language that targets the EVM.☆55Updated 8 years ago
- This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…☆31Updated 3 years ago
- Directly run EVM bytecode (using Parity technology)☆24Updated 7 years ago
- A Haskell framework that facilitates writing ABCI applications☆34Updated 9 months ago
- Tools for running Quorum clusters and integration tests☆51Updated 3 years ago
- RChain DApp Game -- Be the nth caller to win☆19Updated 6 years ago
- Notes and stuff related to the study group☆15Updated 8 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 4 years ago
- Original position paper and white paper for Tezos☆38Updated 6 years ago
- Something to play with while we wait☆20Updated 5 years ago
- This repository contains the Hive Commons implementation of liquid democracy that is used for community governance and dispute arbitratio…☆19Updated 7 years ago
- DSL for Secure DApps☆33Updated 2 years ago
- The technical vision paper for Polkadot, a heterogeneous extensible multi-chain.☆50Updated 7 years ago
- ☆8Updated 6 years ago
- Moon-Browser was a browser for decentralized applications in 2016☆80Updated last year
- 🇳🇱✖️DutchX core smart contracts☆45Updated 5 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- A Universal ÐApp Interface☆36Updated 8 years ago
- [DEPRECATED] Incentive layer contracts and deployment information.☆31Updated 6 years ago
- Simple data access pattern for dumb, durable software objects☆32Updated 7 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- Formal specification and reference implementation of Casper☆15Updated 9 years ago