Symbolverse – minimalistic symbolic term rewriting frameworkgithub.com/tearflake3 pointstearflakea year ago