Skip to content

@ComputationWithBoundedResources ComputationWithBoundedResources

Change the repository type filter

All

    Repositories list

    25 repositories

    • tct-its

      Public
      Automatic complexity analysis tool for integer transition systems
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Aug 18, 2020Aug 18, 2020

    • term-rewriting-xml

      Public
      XML parser for term-rewriting library
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•1•0•Updated Jul 27, 2020Jul 27, 2020

    • tct-trs

      Public
      Automatic complexity analysis tool for term rewrite systems
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•3•0•0•Updated Jul 20, 2020Jul 20, 2020

    • tct-core

      Public
      Transformation framework for complexity analysis
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Jul 8, 2020Jul 8, 2020

    • slogic

      Public
      A s(imple)logic library providing interfaces to external solvers
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•3•0•Updated Jul 7, 2020Jul 7, 2020

    • ara-inference

      Public
      Amortised Resource Analysis on (typed) TRS
      Haskell
      •
      MIT License
      •0•1•0•0•Updated Jul 7, 2020Jul 7, 2020

    • hoca

      Public
      Automatic complexity analysis tool for higher-order systems
      Haskell
      •
      Other
      •1•2•0•0•Updated Jul 7, 2020Jul 7, 2020

    • term-rewriting-ext

      Public
      Yet another haskell term rewriting library
      Haskell
      •
      Other
      •6•0•0•0•Updated Jul 7, 2020Jul 7, 2020

    • term-rewriting-applicative

      Public
      Haskell
      •
      Other
      •1•0•0•0•Updated Jul 7, 2020Jul 7, 2020

    • tct-common

      Public
      Common functionalities for TcT
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•1•0•Updated Jul 7, 2020Jul 7, 2020

    • gubs

      Public
      constraint solver for polynomial inequalities
      Haskell
      •
      MIT License
      •3•2•0•0•Updated May 9, 2020May 9, 2020

    • lac

      Public
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•2•0•0•Updated Oct 30, 2019Oct 30, 2019

    • tct-configurations

      Public
      A collection of TcT configurations
      Haskell
      •1•0•0•0•Updated Jul 16, 2019Jul 16, 2019

    • paicc

      Public
      Program Analysis meets Implicit Computational Complexity
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated May 26, 2019May 26, 2019

    • tct-jbc

      Public
      Automatic complexity analysis tool for Jinja bytecode
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated May 10, 2019May 10, 2019

    • jat

      Public
      Transformation from Jinja bytecode to term rewrtite systems
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated May 10, 2019May 10, 2019

    • tct-hoca

      Public
      Automatic complexity analysis tool for higher-order systems
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated May 10, 2019May 10, 2019

    • tctac

      Public
      run and summarise experiments
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Feb 26, 2019Feb 26, 2019

    • lare

      Public
      Implicit Computation Complexity of Fowchart Programs
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•1•0•0•Updated Oct 1, 2018Oct 1, 2018

    • grumpy

      Public
      Simple Transformation from Java Bytecode to Integer Transition Systems
      Java
      •
      MIT License
      •1•1•0•0•Updated Nov 30, 2017Nov 30, 2017

    • star-exec-presenter

      Public
      presentation platform for star-exec written in Haskell and based upon Yesod
      Haskell
      •7•0•0•0•Updated Jul 31, 2017Jul 31, 2017

    • trs2cs

      Public
      Transforms Term Rewriting Systems to Constraints Systems
      Haskell
      •
      Other
      •1•2•0•0•Updated Feb 28, 2017Feb 28, 2017

    • tct-inttrs

      Public
      Wrapper for integer term rewrite systems
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Feb 13, 2016Feb 13, 2016

    • tct-bundle-cage

      Public
      A bundle for CAGE
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Feb 5, 2016Feb 5, 2016

    • tct-config-mischel

      Public
      A collection of configuration files
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Oct 19, 2015Oct 19, 2015