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
Sorting:
- DataLog meets NoSql☆63Jan 2, 2023Updated 3 years ago
- Nxt extensions☆15Jan 28, 2018Updated 8 years ago
- #fuckgoogle right in Chrome☆14Dec 12, 2020Updated 5 years ago
- A port of Uniswap to use Substrate.☆15Oct 9, 2020Updated 5 years ago
- DACO - Decentralized autonomous charity organization☆10Dec 11, 2017Updated 8 years ago
- An API for rchain dapps to communicate with the blockchain☆22Apr 23, 2024Updated last year
- These were Ethereum client binaries in 2018☆26Jun 13, 2023Updated 2 years ago
- Submission site for Zcash Foundation grant proposals☆25Apr 8, 2018Updated 7 years ago
- An easy to use framework for building Ergo headless dApps. Developed by EMURGO and Ergo Platform.☆25Jan 25, 2022Updated 4 years ago
- Decentralised profile platform, distributing identity information and proofs.☆30Oct 5, 2015Updated 10 years ago
- 🔵 crystal of cyber☆51Updated this week
- Sample code for 3rd party developers working on Android On Snapdragon☆12Sep 4, 2024Updated last year
- Payment Channel based on Ethereum Smart Contract of Session Dynamics☆10Sep 26, 2019Updated 6 years ago
- Aim to be a fullstack MVC framework for Go lang☆14Aug 19, 2011Updated 14 years ago
- You do not need to donate 💰 to feed millions of children. Your actions can.☆34Sep 13, 2019Updated 6 years ago
- Robot friend for open source repositories☆39Feb 4, 2026Updated 3 weeks ago
- RUDHRA: Securing Your Droid☆11Oct 11, 2017Updated 8 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Nov 11, 2020Updated 5 years ago
- Self Service Scripts for Azure HANA Large Instances☆12Jun 11, 2021Updated 4 years ago
- Sagan is an observability tool for Cosmos and other Tendermint applications☆36May 16, 2023Updated 2 years ago
- The XinFin browser extension Wallet enables browsing XinFin blockchain enabled websites.☆12Oct 29, 2024Updated last year
- Cryptographic Seed Tool for the command line☆35Jul 11, 2024Updated last year
- ☆13Jul 15, 2025Updated 7 months ago
- ☆10Nov 1, 2024Updated last year
- Simple Python API for the Ergo Platform Explorer☆10Jun 12, 2021Updated 4 years ago
- ☆18Feb 14, 2026Updated 2 weeks ago
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago
- Grav Multiple Condition Filters Plugin https://getgrav.org☆11Jul 29, 2017Updated 8 years ago
- RTOS based on L4 microkernel.☆17Sep 18, 2018Updated 7 years ago
- Source code for an tutorial☆10Jan 23, 2017Updated 9 years ago
- ☆11Oct 10, 2017Updated 8 years ago
- C++ Ballistics Calculator for World of Warships☆11Jul 3, 2023Updated 2 years ago
- #blockchainallthethings☆13Oct 24, 2017Updated 8 years ago
- ☆89Mar 15, 2018Updated 7 years ago
- Mimicking grids in Android lists☆148Apr 15, 2015Updated 10 years ago
- zero cost Apply/Applicative syntax☆13Updated this week
- Command line tool to manage WordPress installations.☆11Nov 10, 2025Updated 3 months ago
- Javascript implementation of the Amino encoding protocol☆42Nov 1, 2019Updated 6 years ago
- ROS package for online trajectory generation and tracking using nonlinear control law for ground vehicle☆11Dec 30, 2017Updated 8 years ago