Projects in Awesome Lists by joshrule
A curated list of projects in awesome lists by joshrule .
https://github.com/joshrule/term-rewriting-rs
a Rust implementation of first-order term rewriting systems (TRS)
rewriting rust rust-library term-rewriting
Last synced: 09 May 2025
https://github.com/joshrule/formal-systems-learning-rs
Rust simulations using 2AFC triads to learn formal systems as typed first-order term rewriting systems
hindley-milner learning program-induction rust science simulation term-rewriting
Last synced: 09 May 2025