john-ml / pi-calculus

Compiler for untyped π-calculus + simple C FFI
9Updated 4 years ago

Related projects

Alternatives and complementary repositories for pi-calculus