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-rewrite | 46 | 0.0 | 2 | Rewriting library with online termination checking | (bsd3, library, rewriting) | 2024-08-29 | 0.4.4 | FacundoDominguez, zgrannan |
rewrite-inspector | 36 | 0.0 | 0 | Inspection of rewriting steps | (bsd3, inspection, library, program, rewriting, terminal, user-interface) | 2019-10-28 | 0.1.0.11 | omelkonian |