GitHub repository: ADS-PiCalculus/pi-calculus
Primary language: HTML
Description: A simulator for visualising the evolution of π-calculus terms