A basic interface to rewrite concrete tree terms according to a set of rules
Simple term rewriting system based on tokenization
A simple term-rewriting interpreter that displays intermediate expressions.
A highly parallel Perl 5 interpreter written in Rust
A Rust library for representing, parsing, and computing with first-order term rewriting systems.
Collection of methods for validating an Ethereum 1 address
Hooks crate for halter
Zero-code parser generation by using AST node types as the grammar
Zero-code parser generation by using AST node types as the grammar
Safely rewrite file contents from stdin, even when file is open as an input.
Chess moves generator
Tank (Table Abstraction and Navigation Kit): the Rust data layer. Simple and flexible ORM that allows to manage in a unified way data from different sources.