pi-calculus topic

A π-calculus interpreter written in Go

yann-a

A simulator for visualising the evolution of π-calculus terms

bordaigorl

AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to

fluencelabs

RChain Bounty Program

rchain

Map lazy functional language constructs to LLVM IR

jfaure