Projects in Awesome Lists tagged with pi-calculus
A curated list of projects in awesome lists tagged with pi-calculus .
https://github.com/fluencelabs/aquavm
AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to
interpreter pi-calculus webassembly
Last synced: 17 Jul 2025
https://github.com/bordaigorl/stargazer
A simulator for visualising the evolution of π-calculus terms
concurrency pi-calculus simulator visualization
Last synced: 02 Mar 2025
https://github.com/nickng/asyncpi
An implementation of asynchronous π-calculus in Go
Last synced: 07 Oct 2025
https://github.com/nekketsuuu/lambda2pi
λ → π
golang lambda-calculus pi-calculus
Last synced: 11 Sep 2026
https://github.com/yann-a/pingo
A π-calculus interpreter written in Go
golang pi-calculus pi-calculus-interpreter
Last synced: 03 Jul 2025
https://github.com/rchain-community/behavr
Toward Behavioral Type checking for Rholang
pi-calculus rholang scala type-safety
Last synced: 12 Apr 2025
https://github.com/chicolucio/pi-approximations
Pi approximations calculated using infinite series and Monte Carlo methods
calculus heroku heroku-deployment pi pi-approximation pi-calculus plotly streamlit streamlit-webapp
Last synced: 13 Apr 2026
https://github.com/octopusinvitro/particle-physics-snippets
These are some particle physics snippets of code for personal reference. For an overview an explanation visit: http://ppsnippets.tk
accelerator bragg-curve dosimetry physics-simulation pi-calculus
Last synced: 27 May 2026
https://github.com/sjbiaga/pisc
Pi-calculus to Scala translator
agents ambient-calculus asynchronous bioambients cancellation cats-effect concurrency encodings exponential-distribution if-then-else metaprogramming parser-combinators pi-calculus replication scala scalameta simulation stm stochastic traces
Last synced: 11 Jul 2026
https://github.com/sjbiaga/pisc-dotarrow
DotArrow is the codename for "mobile code" in the context of a Pi-calculus to Scala translator
haskell metaprogramming mobile-code perl-script pi-calculus scala scalameta shell-scripts template-haskell
Last synced: 16 Mar 2026