JoshOrndorff / LearnRholangByExample
Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.
☆67Updated 2 years ago
Related projects: ⓘ
- Sphinx source for the architecture docs☆25Updated last year
- RChain DApp Game -- Be the nth caller to win☆19Updated 5 years ago
- An API for rchain dapps to communicate with the blockchain☆22Updated 4 months ago
- Python 3 interface to RChain RNode RPC☆10Updated 2 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆132Updated last year
- RChain Bounty Program☆90Updated 5 years ago
- Online Rholang interpreter.☆20Updated 3 years ago
- Language Design Community for the EVM: Intro and Resources☆137Updated 7 years ago
- ☆91Updated 6 years ago
- Rchain reference material☆53Updated 2 years ago
- A typed, functional language that targets the EVM.☆55Updated 7 years ago
- Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others☆45Updated 4 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
- Web example https://tgrospic.github.io/rnode-client-js☆19Updated last year
- Tools for running Quorum clusters and integration tests☆51Updated 2 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- DSL for Secure DApps☆33Updated last year
- an voting dApp for RChain Coop governance☆10Updated last year
- The technical vision paper for Polkadot, a heterogeneous extensible multi-chain.☆50Updated 7 years ago
- 🇳🇱✖️DutchX core smart contracts☆45Updated 4 years ago
- ERC20 in K☆47Updated 5 years ago
- An EVM code verification framework in Coq☆44Updated 7 years ago
- ☆8Updated 5 years ago
- A more technical description of Polkadot protocol☆47Updated 4 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆33Updated 4 years ago
- Chanterelle -- a more functional truffle☆79Updated 5 months ago
- Notes and stuff related to the study group☆15Updated 7 years ago
- various cardano javascript using wasm bindings☆31Updated last year
- Raiden Network Smart Contracts☆52Updated last year