lassenielsen/libpi
C++ library with basic operations used in the pi-calculus
Developer Profile
lassenielsen
Discovered public repositories for lassenielsen in the GitHub catalog.
lassenielsen/librcp
Regular expression Compressing Parser
lassenielsen/libdpl
Dynamic Parser Library
lassenielsen/hapi
A programming language designed around communicating processes. Complete with parser, typechecker, interpreter and compiler. Based on the asynchronous pi-calculus with several extensions.