Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 24 Nov 2024
https://github.com/bordaigorl/stargazer
A simulator for visualising the evolution of π-calculus terms
concurrency pi-calculus simulator visualization
Last synced: 13 Nov 2024
https://github.com/nickng/asyncpi
An implementation of asynchronous π-calculus in Go
Last synced: 05 Nov 2024
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: 26 Nov 2024
https://github.com/sjbiaga/pisc
Pi-calculus to Scala translator
cats-effect pi-calculus scalafmt scalameta
Last synced: 12 Nov 2024
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: 18 Nov 2024