3 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
ast-grep-bin 0.32.0-1 3 1.02 A fast and easy tool for code searching, linting, rewriting at large scale AsukaMinato 2024-12-19 18:09 (UTC)
ttt2-hg 1.20.1.r2116.7c846900def0-1 0 0.00 An automatic termination prover for term rewrite systems (TRSs) (mercurial version) ruffy 2020-07-07 08:29 (UTC)
csi-hg 1.2.4.r2111.7fe648231f80-1 0 0.00 An automatic confluence prover for term rewrite systems (TRSs) (mercurial version) ruffy 2020-07-07 08:14 (UTC)

3 packages found. Page 1 of 1.