RChain-Collaborative-Learning / PiCalc-to-Rholang
Learning materials including slides, exercises, etc for our discussion of the pi calculus.
☆8Updated 6 years ago
Alternatives and similar repositories for PiCalc-to-Rholang:
Users that are interested in PiCalc-to-Rholang are comparing it to the libraries listed below
- An API for rchain dapps to communicate with the blockchain☆22Updated 11 months ago
- Overview of RChain-Collaborative-Learning and how to get involved☆8Updated 6 years ago
- Rchain reference material☆53Updated 2 years ago
- Ethereum-Zcash Integration effort☆66Updated 6 years ago
- javascript code for one-round single bulletproof☆20Updated 5 years ago
- ☆59Updated 7 years ago
- ☆21Updated 4 years ago
- Multi-Signature Aggregation in a Large Byzantine Committees☆53Updated 9 months ago
- Notes and stuff related to the study group☆15Updated 8 years ago
- An independent implementation of the Powers of Tau MPC ceremony.☆33Updated 7 years ago
- An experimental implementation of state channels from IC3-ETH. Combines Sprites/Pisa/Perun/L4 dispute process.☆35Updated 2 years ago
- All *.sol files from github in a single repo☆17Updated 6 years ago
- 0x protocol TypeScript monorepo☆23Updated 3 years ago
- Smart Contract tools to help streamline Ethereum dapp development and deployment☆14Updated 7 years ago
- ☆8Updated 6 years ago
- py.test plugin for testing Ethereum smart contracts☆20Updated 6 years ago
- ECF Project Applications and Updates☆13Updated 6 years ago
- The technical vision paper for Polkadot, a heterogeneous extensible multi-chain.☆50Updated 7 years ago
- Documentation and research notes related to the Prima Kernel☆20Updated 7 years ago
- Pando is a PoC distributed versioning system based on IPFS and AragonOS.☆21Updated 7 years ago
- A state channels ICO auction contract.☆23Updated 7 years ago
- RChain Bounty Program☆90Updated 6 years ago
- Token distribution based on providing Merkle proofs of inclusion in genesis state to generate allocation☆29Updated 6 years ago
- Neufund and platform smart contracts☆23Updated 7 years ago
- Efficient multi-asset confidential transactions☆34Updated 5 years ago
- ZCash like private DAI transactions on ethereum using ZkSnarks. MakerDAO API prize winner.☆52Updated 5 years ago
- Bitcoin sidechain module for Lotion and Coins (A Cosmos Bitcoin peg zone implementation)☆73Updated 3 years ago
- [Readme and Documentation WIP] - Prototype lightning implementation on Ethereum, with lnd interop. Supports BOLT#1 and BOLT#2.☆12Updated 3 years ago
- Trade bitcoins for tokens via btc-relay☆27Updated 7 years ago
- [ARCHIVED] Using IPFS for storing data for Blockchain apps.☆32Updated 4 years ago