leithaus / pi4u
A collection of papers about new models and applications of mobile process calculi
☆12Updated 5 years ago
Alternatives and similar repositories for pi4u:
Users that are interested in pi4u are comparing it to the libraries listed below
- ☆10Updated 7 years ago
- a JavaScript Implementation of Primea HyperVisor☆42Updated 4 years ago
- [DEPRECATED] Incentive layer contracts and deployment information.☆31Updated 6 years ago
- Sphinx source for the architecture docs☆25Updated last year
- Submission site for Zcash Foundation grant proposals☆25Updated 6 years ago
- Config files for connecting to testnets☆17Updated 6 years ago
- An API for rchain dapps to communicate with the blockchain☆22Updated 9 months ago
- Casper PoC4 implementation. This PoC4 version served as an early prototype to test and refine the PoS protocol, laying the groundwork for…☆19Updated 7 years ago
- Articles and Papers from Consensus Research☆30Updated 9 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 4 years ago
- ☆13Updated 8 years ago
- Formal specification and reference implementation of Casper☆15Updated 9 years ago
- Something to play with while we wait☆20Updated 5 years ago
- ☆21Updated 4 years ago
- ☆90Updated 6 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- Template for implementing Plasma child chains with Truebit☆50Updated 7 years ago
- JavaScript Implementation of All Ethereum IPLD formats☆40Updated 3 years ago
- Financial instruments on the Ethereum blockchain☆19Updated 8 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 2 years ago
- Balzac is a domain-specific language to write Bitcoin transactions.☆24Updated last week
- Transaction Relay enables transaction fees of Ethereum contracts and transactions to be paid by any Currency☆40Updated 8 years ago
- Ethereum-Zcash Integration effort☆66Updated 5 years ago
- ☆30Updated 9 years ago
- Original position paper and white paper for Tezos☆38Updated 6 years ago
- ☆11Updated 8 years ago
- Lending on the Blockchain☆9Updated 6 years ago
- Multi Network Identifier - spec and reference implementation☆36Updated 3 years ago
- [ARCHIVED] Using IPFS for storing data for Blockchain apps.☆32Updated 4 years ago
- Submission site for 2018Q2 Zcash Foundation grant proposals.☆26Updated 6 years ago