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!