TermCOMP's repositories
ari-conversion
A tool for converting between different formats of rewrite systems.
Language:HaskellGPL-3.0000
Language:XSLT000
haskell-tpdb
parser and prettyprinter for TPDB syntax (termination problem data base)
Language:Haskell000
Language:HTML000
000