LBJ is a project to create a series of tools for animating and inspecting programs written in the CSP process algebra.
LBJ is licenced under the MIT Licence (see LICENSE.md).
Possibly not, but it's a fun side-project for now, and, if it does go somewhere, it might be quite useful.