{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"tct-its","owner":"ComputationWithBoundedResources","isFork":false,"description":"Automatic complexity analysis tool for integer transition systems","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-18T11:47:51.742Z"}},{"type":"Public","name":"term-rewriting-xml","owner":"ComputationWithBoundedResources","isFork":false,"description":"XML parser for term-rewriting library","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-27T06:47:36.755Z"}},{"type":"Public","name":"tct-trs","owner":"ComputationWithBoundedResources","isFork":false,"description":"Automatic complexity analysis tool for term rewrite systems","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-20T08:44:17.419Z"}},{"type":"Public","name":"tct-core","owner":"ComputationWithBoundedResources","isFork":false,"description":"Transformation framework for complexity analysis","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-08T07:01:08.431Z"}},{"type":"Public","name":"slogic","owner":"ComputationWithBoundedResources","isFork":false,"description":"A s(imple)logic library providing interfaces to external solvers","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":3,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-07T12:26:38.665Z"}},{"type":"Public","name":"ara-inference","owner":"ComputationWithBoundedResources","isFork":false,"description":"Amortised Resource Analysis on (typed) TRS","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-07T12:18:04.734Z"}},{"type":"Public","name":"hoca","owner":"ComputationWithBoundedResources","isFork":false,"description":"Automatic complexity analysis tool for higher-order systems","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-07T12:16:16.798Z"}},{"type":"Public","name":"term-rewriting-ext","owner":"ComputationWithBoundedResources","isFork":true,"description":"Yet another haskell term rewriting library","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":6,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-07T10:50:48.423Z"}},{"type":"Public","name":"term-rewriting-applicative","owner":"ComputationWithBoundedResources","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-07T10:50:10.321Z"}},{"type":"Public","name":"tct-common","owner":"ComputationWithBoundedResources","isFork":false,"description":"Common functionalities for TcT","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-07T10:07:05.287Z"}},{"type":"Public","name":"gubs","owner":"ComputationWithBoundedResources","isFork":true,"description":"constraint solver for polynomial inequalities","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-09T18:56:35.205Z"}},{"type":"Public","name":"lac","owner":"ComputationWithBoundedResources","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-10-30T12:20:33.928Z"}},{"type":"Public","name":"tct-configurations","owner":"ComputationWithBoundedResources","isFork":false,"description":"A collection of TcT configurations","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-16T11:51:17.584Z"}},{"type":"Public","name":"paicc","owner":"ComputationWithBoundedResources","isFork":false,"description":"Program Analysis meets Implicit Computational Complexity","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-26T13:00:58.902Z"}},{"type":"Public","name":"tct-jbc","owner":"ComputationWithBoundedResources","isFork":false,"description":"Automatic complexity analysis tool for Jinja bytecode","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-10T13:58:57.729Z"}},{"type":"Public","name":"jat","owner":"ComputationWithBoundedResources","isFork":false,"description":"Transformation from Jinja bytecode to term rewrtite systems","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-10T13:50:14.849Z"}},{"type":"Public","name":"tct-hoca","owner":"ComputationWithBoundedResources","isFork":false,"description":"Automatic complexity analysis tool for higher-order systems","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-10T13:35:24.305Z"}},{"type":"Public","name":"tctac","owner":"ComputationWithBoundedResources","isFork":false,"description":"run and summarise experiments","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-26T14:58:19.094Z"}},{"type":"Public","name":"lare","owner":"ComputationWithBoundedResources","isFork":false,"description":"Implicit Computation Complexity of Fowchart Programs","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-10-01T09:59:26.746Z"}},{"type":"Public","name":"grumpy","owner":"ComputationWithBoundedResources","isFork":false,"description":"Simple Transformation from Java Bytecode to Integer Transition Systems","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-11-30T14:02:43.985Z"}},{"type":"Public","name":"star-exec-presenter","owner":"ComputationWithBoundedResources","isFork":true,"description":"presentation platform for star-exec written in Haskell and based upon Yesod","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":7,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-31T13:54:07.595Z"}},{"type":"Public","name":"trs2cs","owner":"ComputationWithBoundedResources","isFork":false,"description":"Transforms Term Rewriting Systems to Constraints Systems","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-02-28T10:23:55.635Z"}},{"type":"Public","name":"tct-inttrs","owner":"ComputationWithBoundedResources","isFork":false,"description":"Wrapper for integer term rewrite systems","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-02-13T19:39:26.054Z"}},{"type":"Public","name":"tct-bundle-cage","owner":"ComputationWithBoundedResources","isFork":false,"description":"A bundle for CAGE","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-02-05T10:27:00.273Z"}},{"type":"Public","name":"tct-config-mischel","owner":"ComputationWithBoundedResources","isFork":false,"description":"A collection of configuration files","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-10-19T09:21:08.275Z"}}],"repositoryCount":25,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}