All Categories → No Category → rewriting

Top 3 rewriting open source projects

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

✭ 20

ocaml TeX OpenEdge ABL SMT Makefile emacs lisp theorem-proving polymorphism smt sat rewriting formal-proofs

comby-reducer

A simple program reducer for any language.

✭ 65

javascript Makefile shell c reducer fuzzing transformation rewriting

ssfst

📜 Rewrite text in linear time.

✭ 78

javascript nlp finite-state-machine transducers search-replace rewriting

1-3 of 3 rewriting projects