Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: hackage: TRSParser
View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/TRSParser
Dependent Repos 1
pepeiborra/narradar
An automatic prover of termination of logic programs and narrowing- >=0.4 narradar.cabal
Size: 1.92 MB - Last synced: about 1 year ago - Pushed: over 8 years ago
pepeiborra/fetchrules
Utilities for automatic parsing and conversion of TRSs in several formats- ==0.1 instances/TRS/fetchrules-trs.cabal
Size: 93.8 KB - Last synced: about 1 year ago - Pushed: almost 15 years ago