a Rust implementation of first-order term rewriting systems (TRS)
Contributions:96 pushes, 24 branches in 8 months
rustrewritingterm-rewritingfirst-orderterm
A library for program induction and learning representations.
Contributions:39 pushes, 5 branches in 10 months
program-inductionrepresentationsmachine-learninginductionrepresentations-learning