Cost calculus is a process calculus for 'super turing' computation devised by Dr. Eugene Eberbach. It is intended to be the next step after process calculii such as pi-calculus. This is a git repo of my master's project to implement it in Common Lisp as a DSL. More to come...
JonathanSmith/cost-calculisp-v2
second version of cost-calculisp, complete re-engineering of code generation facilities.
Common LispMIT