Skip to content
@TermCOMP

TermCOMP

Popular repositories Loading

  1. TPDB TPDB Public

    The Termination Problem Database

    SMT 27 11

  2. starexec-master starexec-master Public

    PHP 5 15

  3. haskell-tpdb haskell-tpdb Public

    Forked from jwaldmann/haskell-tpdb

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

    Haskell 1

  4. test test Public

    JavaScript

  5. TermCOMP.github.io TermCOMP.github.io Public

    HTML

  6. CeTApostproc CeTApostproc Public

    XSLT

Repositories

Showing 8 of 8 repositories
  • TermCOMP.github.io Public
    TermCOMP/TermCOMP.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Dec 13, 2024
  • starexec-master Public
    TermCOMP/starexec-master’s past year of commit activity
    PHP 5 15 5 0 Updated Dec 13, 2024
  • ari-conversion Public Forked from fabeulous/ari-conversion

    A tool for converting between different formats of rewrite systems.

    TermCOMP/ari-conversion’s past year of commit activity
    Haskell 0 GPL-3.0 2 0 0 Updated Jun 21, 2024
  • TPDB Public

    The Termination Problem Database

    TermCOMP/TPDB’s past year of commit activity
    SMT 27 11 2 1 Updated Jun 20, 2024
  • TPDB-ARI Public
    TermCOMP/TPDB-ARI’s past year of commit activity
    0 3 1 1 Updated Jun 20, 2024
  • CeTApostproc Public
    TermCOMP/CeTApostproc’s past year of commit activity
    XSLT 0 0 0 0 Updated Jun 18, 2024
  • haskell-tpdb Public Forked from jwaldmann/haskell-tpdb

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

    TermCOMP/haskell-tpdb’s past year of commit activity
    Haskell 1 2 0 0 Updated Apr 9, 2024
  • test Public
    TermCOMP/test’s past year of commit activity
    JavaScript 0 0 0 0 Updated Feb 26, 2021

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…