GitHub repository: rrhodes/cpiwb
Primary language: Haskell
Description: Continuous pi-calculus workbench