Packages tagged rewriting

2 packages have this tag.

[Merge tag] (trustees only)

Related tags: bsd3 (2), library (2), inspection (1), program (1), terminal (1), user-interface (1)

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
rest-rewrite500.02Rewriting library with online termination checking (bsd3, library, rewriting)2024-08-290.4.4FacundoDominguez, zgrannan
rewrite-inspector300.00Inspection of rewriting steps (bsd3, inspection, library, program, rewriting, terminal, user-interface)2019-10-280.1.0.11omelkonian