Repositories list

• registration

  Public
  10•0•0•0•Updated Feb 11, 2026Feb 11, 2026

• termcomp-reference

  Public
  Documentation for the various formalisms used at TermComp

  TeX

  •

  Creative Commons Zero v1.0 Universal

  •1•0•0•0•Updated Feb 3, 2026Feb 3, 2026

• TPDB-ARI

  Public
  C

  •5•3•1•0•Updated Jan 22, 2026Jan 22, 2026

• its-conversion

  Public
  C++

  •

  GNU Lesser General Public License v2.1

  •0•1•0•0•Updated Dec 12, 2025Dec 12, 2025

• TermCOMP.github.io

  Public
  0•1•0•0•Updated Oct 2, 2025Oct 2, 2025

• starexec-master

  Public
  PHP

  •15•5•5•0•Updated Sep 8, 2025Sep 8, 2025

• TPDB

  Public archive
  The Termination Problem Database

  SMT

  •14•29•2•0•Updated Aug 20, 2025Aug 20, 2025

• ari-conversion

  Public
  A tool for converting between different formats of rewrite systems.

  Haskell

  •

  GNU General Public License v3.0

  •2•0•0•0•Updated Jun 21, 2024Jun 21, 2024

• CeTApostproc

  Public
  XSLT

  •0•0•0•0•Updated Jun 18, 2024Jun 18, 2024

• haskell-tpdb

  Public
  parser and prettyprinter for TPDB syntax (termination problem data base)

  Haskell

  •2•1•0•0•Updated Apr 9, 2024Apr 9, 2024

• test

  Public
  JavaScript

  •0•0•0•0•Updated Feb 26, 2021Feb 26, 2021