leithaus / pi4u
A collection of papers about new models and applications of mobile process calculi
☆12Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for pi4u
- Sphinx source for the architecture docs☆25Updated last year
- Config files for connecting to testnets☆17Updated 6 years ago
- a JavaScript Implementation of Primea HyperVisor☆42Updated 4 years ago
- Casper PoC4 implementation☆19Updated 7 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 4 years ago
- Ethereum-Zcash Integration effort☆66Updated 5 years ago
- ☆13Updated 8 years ago
- Something to play with while we wait☆20Updated 5 years ago
- Template for implementing Plasma child chains with Truebit☆50Updated 6 years ago
- ☆21Updated 4 years ago
- A typed, functional language that targets the EVM.☆55Updated 7 years ago
- Submission site for Zcash Foundation grant proposals☆25Updated 6 years ago
- Articles and Papers from Consensus Research