Packages tagged rewriting

2 packages have this tag.

Show entries

Filter:

Name	DLs	Rating	Rev Deps	Description	Tags	Last U/L	Last Version	Maintainers
rest-rewrite	5	0.0	2	Rewriting library with online termination checking	(bsd3, library, rewriting)	2025-05-05	0.4.5	FacundoDominguez, zgrannan
rewrite-inspector	5	0.0	0	Inspection of rewriting steps	(bsd3, inspection, library, program, rewriting, terminal, user-interface)	2019-10-28	0.1.0.11	omelkonian

Showing 1 to 2 of 2 entries