#

pi-calculus

Here are 3 public repositories matching this topic...

yann-a / pingo

A π-calculus interpreter written in Go

golang pi-calculus pi-calculus-interpreter

Updated May 29, 2020
Go

nickng / asyncpi

An implementation of asynchronous π-calculus in Go

research pi-calculus

Updated Sep 15, 2021
Go

nekketsuuu / lambda2pi

λ → π

golang lambda-calculus pi-calculus

Updated Feb 6, 2019
Go

Improve this page

Add a description, image, and links to the pi-calculus topic page so that developers can more easily learn about it.

Curate this topic

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."