GitHub / joshrule / term-rewriting-rs
a Rust implementation of first-order term rewriting systems (TRS)
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/joshrule%2Fterm-rewriting-rs
Stars: 27
Forks: 5
Open issues: 19
License: mit
Language: Rust
Size: 798 KB
Dependencies parsed at: Pending
Created at: about 7 years ago
Updated at: 8 months ago
Pushed at: over 3 years ago
Last synced at: 12 days ago
Topics: rewriting, rust, rust-library, term-rewriting
Loading...