RChain-Collaborative-Learning / Welcome
Overview of RChain-Collaborative-Learning and how to get involved
☆8Updated 6 years ago
Related projects: ⓘ
- 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 2 years ago
- ☆8Updated 5 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆33Updated 4 years ago
- Rchain reference material☆53Updated 2 years ago
- An EVM code verification framework in Coq☆44Updated 7 years ago
- ☆91Updated 6 years ago
- Language Design Community for the EVM: Intro and Resources☆137Updated 7 years ago
- Formal specification and reference implementation of Casper☆15Updated 9 years ago
- Sphinx source for the architecture docs☆25Updated last year
- An API for rchain dapps to communicate with the blockchain☆22Updated 4 months ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 3 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- OBSOLETE prototype Vat host: use SwingSet instead☆30Updated 4 years ago
- ERC20 in K☆47Updated 5 years ago
- Tools for running Quorum clusters and integration tests☆51Updated 2 years ago
- RChain DApp Game -- Be the nth caller to win☆19Updated 5 years ago
- ☆16Updated this week
- A collection of papers about new models and applications of mobile process calculi☆12Updated 4 years ago
- Dr. Y's Ethereum Contract Analyzer☆42Updated 2 years ago
- Compiler for BitML☆25Updated 2 years ago
- ☆97Updated this week
- DSL for Secure DApps☆33Updated last year
- ☆36Updated 3 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆132Updated last year
- Ethereum-Zcash Integration effort☆66Updated 5 years ago
- (OLD REPO) A debug-oriented Ethereum VM (EVM)☆114Updated 6 years ago
- ☆18Updated 6 years ago
- RChain Bounty Program☆90Updated 5 years ago
- Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others☆45Updated 4 years ago