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
- a JavaScript Implementation of Primea HyperVisor☆42Updated 4 years ago
- Casper PoC4 implementation☆19Updated 7 years ago
- Core set of Ethereum contracts for Pandora Boxchain functioning☆26Updated 4 years ago
- Submission site for Zcash Foundation grant proposals☆25Updated 6 years ago
- Template for implementing Plasma child chains with Truebit☆50Updated 6 years ago
- ☆13Updated 8 years ago
- Off-chain poker in Ethereum☆22Updated 7 years ago
- [DEPRECATED] On-chain interpreter for WebAssembly written in Solidity☆66Updated 4 years ago
- Config files for connecting to testnets☆17Updated 6 years ago
- JavaScript Implementation of All Ethereum IPLD formats☆40Updated 3 years ago
- Ethereum-Zcash Integration effort☆66Updated 5 years ago
- Parity Chrome Extension☆37Updated 6 years ago
- POA Library: wiki, how-to, FAQ. Includes instructions how to set-up a new network, to run a full node, connect wallets,☆81Updated 5 years ago
- ☆30Updated 8 years ago
- Something to play with while we wait☆20Updated 5 years ago
- Experimental implementation of an ETH2.0 beacon chain in python☆10Updated 6 years ago
- ☆91Updated 6 years ago
- We have opted to continue our development efforts towards Opporty's Plasma Cash development. To learn more about Opporty Plasma Cash, pl…☆34Updated last year
- An API for rchain dapps to communicate with the blockchain☆22Updated 6 months ago
- Multisig with a command-line interface☆22Updated 5 years ago
- The Bond-based Parity Reactive UI library☆15Updated 5 years ago
- These were Ethereum client binaries in 2018☆27Updated last year
- Benchmarking data for EVM ops and precompiles☆22Updated last year
- A state channels ICO auction contract.☆23Updated 6 years ago
- Articles and Papers from Consensus Research☆30Updated 9 years ago