Skip to content
@ComputationWithBoundedResources

ComputationWithBoundedResources

Pinned

  1. tct-trs tct-trs Public

    Automatic complexity analysis tool for term rewrite systems

    Haskell 3

  2. gubs gubs Public

    Forked from mzini/gubs

    constraint solver for polynomial inequalities

    Haskell 2 1

  3. tct-hoca tct-hoca Public

    Automatic complexity analysis tool for higher-order systems

    Haskell 1

Repositories

Showing 10 of 25 repositories
  • tct-its Public

    Automatic complexity analysis tool for integer transition systems

    ComputationWithBoundedResources/tct-its’s past year of commit activity
    Haskell 0 BSD-3-Clause 1 0 0 Updated Aug 18, 2020
  • term-rewriting-xml Public

    XML parser for term-rewriting library

    ComputationWithBoundedResources/term-rewriting-xml’s past year of commit activity
    Haskell 0 BSD-3-Clause 1 1 0 Updated Jul 27, 2020
  • tct-trs Public

    Automatic complexity analysis tool for term rewrite systems

    ComputationWithBoundedResources/tct-trs’s past year of commit activity
    Haskell 3 BSD-3-Clause 0 0 0 Updated Jul 20, 2020
  • tct-core Public

    Transformation framework for complexity analysis

    ComputationWithBoundedResources/tct-core’s past year of commit activity
    Haskell 0 BSD-3-Clause 1 0 0 Updated Jul 8, 2020
  • slogic Public

    A s(imple)logic library providing interfaces to external solvers

    ComputationWithBoundedResources/slogic’s past year of commit activity
    Haskell 0 BSD-3-Clause 1 3 0 Updated Jul 7, 2020
  • ara-inference Public

    Amortised Resource Analysis on (typed) TRS

    ComputationWithBoundedResources/ara-inference’s past year of commit activity
    Haskell 1 MIT 0 0 0 Updated Jul 7, 2020
  • hoca Public

    Automatic complexity analysis tool for higher-order systems

    ComputationWithBoundedResources/hoca’s past year of commit activity
    Haskell 2 1 0 0 Updated Jul 7, 2020
  • term-rewriting-ext Public Forked from haskell-rewriting/term-rewriting

    Yet another haskell term rewriting library

    ComputationWithBoundedResources/term-rewriting-ext’s past year of commit activity
    Haskell 0 6 0 0 Updated Jul 7, 2020
  • term-rewriting-applicative Public
    ComputationWithBoundedResources/term-rewriting-applicative’s past year of commit activity
    Haskell 0 1 0 0 Updated Jul 7, 2020
  • tct-common Public

    Common functionalities for TcT

    ComputationWithBoundedResources/tct-common’s past year of commit activity
    Haskell 0 BSD-3-Clause 1 1 0 Updated Jul 7, 2020
View all repositories

Top languages

Loading…

Most used topics

Loading…