Hello everyone! I'm an undergrad in computer science in my last semester. I've tried my hand at a few interpreters the past year. This is my first one that I've actually got set up, with a working lexer and execution tactics.
I've implemented the input and output prefixing primitives of the pi calculus. I intended to implement the replication and restriction primitives soon. I find process algebras very interesting. They seem to be an important area of research, to bring the computing ecosystem to a concurrent-first paradigm.
This github project isn't much to look at currently; it's my first project of any substance. However, you might find the linked research papers interesting!
Feel free to share criticisms, insights, or your favorite process algebra!