A collection of papers about new models and applications of mobile process calculi
☆12Jan 2, 2020Updated 6 years ago
Alternatives and similar repositories for pi4u
Users that are interested in pi4u are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Aug 10, 2016Updated 9 years ago
- A DAO-ABI-compatible contract to allow *only* withdrawals☆11Jun 25, 2016Updated 9 years ago
- The DAO Explorer☆14Jun 12, 2016Updated 9 years ago
- IEC 62056 smart meter readout in perl☆11Mar 16, 2018Updated 8 years ago
- DataLog meets NoSql☆63Jan 2, 2023Updated 3 years ago
- A port of Uniswap to use Substrate.☆15Oct 9, 2020Updated 5 years ago
- Nxt extensions☆15Jan 28, 2018Updated 8 years ago
- An EVM code verification framework in Coq☆44Oct 11, 2016Updated 9 years ago
- Python 3 interface to RChain RNode RPC☆10May 13, 2022Updated 3 years ago
- An API for rchain dapps to communicate with the blockchain☆22Apr 23, 2024Updated last year
- A complete specification on Zilch and N⋆☆11Jan 29, 2023Updated 3 years ago
- an voting dApp for RChain Coop governance☆10May 11, 2023Updated 2 years ago
- Implementation of HashGraph consensus☆10Jun 1, 2023Updated 2 years ago
- Cryptographic Seed Tool for the command line☆35Jul 11, 2024Updated last year
- C++ Ballistics Calculator for World of Warships☆11Jul 3, 2023Updated 2 years ago
- Utility that parses stack sizes section from elf objects and displays the preallocated stack size of each function.☆14Jan 15, 2020Updated 6 years ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆15Aug 6, 2023Updated 2 years ago
- Implements an encryptable machine (shapeCPU Java)☆11Aug 26, 2015Updated 10 years ago
- Procedural action roguelike written in the Rust programming language! http://www.rust-lang.org/☆12Jun 2, 2020Updated 5 years ago
- A Standard Library for Rholang☆12Feb 5, 2022Updated 4 years ago
- unfinished port of https://learnopengl.com/ example code to CL☆12May 16, 2020Updated 5 years ago
- ☆10Jul 22, 2023Updated 2 years ago
- A Haskell library providing BLAKE2☆11Jun 27, 2023Updated 2 years ago
- zero cost Apply/Applicative syntax☆13Mar 16, 2026Updated last week
- An experimental implementation of a treasury system based on Scorex framework☆13Jan 17, 2020Updated 6 years ago
- ☆30Mar 19, 2017Updated 9 years ago
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Jun 3, 2021Updated 4 years ago
- ☆35Sep 19, 2013Updated 12 years ago
- Vite Official Java SDK☆12Jun 14, 2023Updated 2 years ago
- Submission site for Zcash Foundation grant proposals☆25Apr 8, 2018Updated 7 years ago
- ☆89Mar 15, 2018Updated 8 years ago
- Online Rholang interpreter.☆20Feb 25, 2021Updated 5 years ago
- API Bindings for various cryptocurrency exchanges. Framework and tooling for writing crypto-trading bots.☆18May 31, 2018Updated 7 years ago
- A generator of cats pictures optimised to generate or random avatars, or defined avatar from a "seed". A derivation by David Revoy from t…☆13Feb 20, 2017Updated 9 years ago
- Simple Python API for the Ergo Platform Explorer☆10Jun 12, 2021Updated 4 years ago
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆20Aug 12, 2019Updated 6 years ago
- [under development] Fantastic slides made with Vue.js☆19Dec 25, 2021Updated 4 years ago
- A minimal binary encoder / decoder implementation in Rust.☆23Nov 7, 2016Updated 9 years ago
- GraphQL in OCaml tutorial (CUFP 2017)☆29Sep 8, 2017Updated 8 years ago