Toward Behavioral Type checking for Rholang
-
Updated
Mar 25, 2023 - Scala
#
pi-calculus
Here are 4 public repositories matching this topic...
An interpreter for a pi-calculus based programming language written in scala
-
Updated
Aug 28, 2019 - Scala
Pi-calculus to Scala translator
scala parser-combinators metaprogramming stochastic encodings scalameta cancellation shell-scripting scalafmt pi-calculus cats-effect ambient-calculus mobile-ambients bio-transactions
-
Updated
Feb 13, 2025 - Scala
DotArrow is the codename for "mobile code" in the context of a Pi-calculus to Scala translator
haskell scala metaprogramming shell-scripts scalameta perl-script template-haskell pi-calculus mobile-code
-
Updated
Jul 17, 2024 - Scala
Improve this page
Add a description, image, and links to the pi-calculus topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the pi-calculus topic, visit your repo's landing page and select "manage topics."