RChain-Collaborative-Learning / Welcome
Overview of RChain-Collaborative-Learning and how to get involved
☆8Updated 6 years ago
Alternatives and similar repositories for Welcome:
Users that are interested in Welcome are comparing it to the libraries listed below
- ☆8Updated 6 years ago
- An API for rchain dapps to communicate with the blockchain☆22Updated 11 months ago
- Rchain reference material☆53Updated 2 years ago
- Learning materials including slides, exercises, etc for our discussion of the pi calculus.☆8Updated 6 years ago
- Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.☆67Updated 3 years ago
- RChain Bounty Program☆90Updated 6 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆132Updated last year
- A Lem formalization of EVM and some Isabelle/HOL proofs☆33Updated 5 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Updated 5 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- Bring Ethereum to IPFS☆26Updated last year
- Ethereum-Zcash Integration effort☆66Updated 6 years ago
- OBSOLETE prototype Vat host: use SwingSet instead☆30Updated 5 years ago
- ☆90Updated 7 years ago
- Formal specification and reference implementation of Casper☆15Updated 9 years ago
- [DEPRECATED] Incentive layer contracts and deployment information.☆31Updated 6 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 4 years ago
- A library for encoding and decoding large numbers into a pronounceable, high density, string, that uses 3456 syllables as its base.☆21Updated 6 years ago
- A real-time trade viewer for the 0x protocol.☆36Updated 5 years ago
- RChain DApp Game -- Be the nth caller to win☆19Updated 6 years ago
- Sphinx source for the architecture docs☆25Updated last year
- Sample payment channel using whisper☆36Updated 9 years ago
- Gravity Network: a distributed computing architecture for resilience and interoperability☆37Updated 7 years ago
- Online Rholang interpreter.☆20Updated 4 years ago
- ZSL on Quorum☆73Updated 6 years ago
- Resolve *.eth domains with our dns server☆13Updated 7 years ago
- Notes and stuff related to the study group☆15Updated 8 years ago
- Wrapper for node-ipfs-api☆43Updated 8 years ago
- Original position paper and white paper for Tezos☆38Updated 6 years ago
- A collection of 🔥 resources & research on cryptoeconomics☆27Updated 6 years ago