Order-sorted term-algebras for computational science
Note that this is an Open Science research project, not production-quality software. Everything can change overnight without warning. I even do destructive pushes occasionally. If this ever turns into something usable, I will clean up the code and write documentation.
If you have questions about this, please contact me by e-mail.