pi-calculus
Here are 21 public repositories matching this topic...
AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to
-
Updated
Aug 20, 2024 - Rust
Simple CoC-based programming language
-
Updated
Sep 4, 2017 - Haskell
An interpreter for a pi-calculus based programming language written in scala
-
Updated
Aug 28, 2019 - Scala
Executable Specification of Pi-Calculus with Reduction Semantics in Maude.
-
Updated
Aug 26, 2024
A simulator for visualising the evolution of π-calculus terms
-
Updated
Jun 14, 2022 - HTML
Toward Behavioral Type checking for Rholang
-
Updated
Mar 25, 2023 - Scala
An interpreter for a higher-order pi-calculus with components
-
Updated
May 14, 2017 - OCaml
A π-calculus interpreter written in Go
-
Updated
May 29, 2020 - Go
Map lazy functional language constructs to LLVM IR
-
Updated
Jun 21, 2019 - Haskell
These are some particle physics snippets of code for personal reference. For an overview an explanation visit: http://ppsnippets.tk
-
Updated
Mar 24, 2017 - C++
Pi approximations calculated using infinite series and Monte Carlo methods
-
Updated
Aug 17, 2022 - Python
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
-
Updated
Aug 16, 2017 - Haskell
DotArrow is the codename for "mobile code" in the context of a Pi-calculus to Scala translator
-
Updated
Jul 17, 2024 - Scala
Pi-calculus to Scala translator
-
Updated
Sep 21, 2024 - Scala
Describing Platooning in the language of MWB (Mobility Workbench), a tool for manipulating and analyzing mobile concurrent systems described in pi-calculus (tool written in standard SML and runs on SML/NJ compiler). Then describing it in Promela to model check using SPIN and Isabelle
-
Updated
Apr 5, 2019
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."