Tools for transparent data transformation
- term-rewriting
- logic-programming
- unification
- pattern-matching
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Compiles C# code by first rewriting the syntax trees of LINQ expressions using plain procedural code, minimizing allocations and dynamic dispatch.
Coq library on rewriting theory and termination
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action