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 |
Description |
Tags |
Last U/L |
Maintainer |
|---|---|---|---|---|---|---|
| rest-rewrite | 50 | 0.0 | Rewriting library with online termination checking | (bsd3, library, rewriting) | 2022-06-07 | zgrannan |
| rewrite-inspector | 5 | 0.0 | Inspection of rewriting steps | (bsd3, inspection, library, program, rewriting, terminal, user-interface) | 2019-10-28 | omelkonian |