{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"bauhaus","owner":"QuMuLab","isFork":false,"description":"Build logical theories for SAT solvers on the fly","allTopics":["logic","sat","nnf","constraints","propositional-logic-encodings","propositional-variables"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":6,"starsCount":6,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-04T01:42:43.561Z"}},{"type":"Public","name":"pr2","owner":"QuMuLab","isFork":false,"description":"FOND Planner","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":1,"issueCount":18,"starsCount":3,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-03T16:50:21.029Z"}},{"type":"Public","name":"pr2-downward-core","owner":"QuMuLab","isFork":true,"description":"The Fast Downward domain-independent classical planning system","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":140,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-30T17:25:10.078Z"}},{"type":"Public","name":"pr2-old","owner":"QuMuLab","isFork":true,"description":"PRP Rebooted","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":140,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-30T16:44:58.869Z"}},{"type":"Public","name":"popgen","owner":"QuMuLab","isFork":false,"description":"Methods for deordering and reordering partial order plans.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-29T17:00:13.477Z"}},{"type":"Public","name":"planner-for-relevant-policies","owner":"QuMuLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"PDDL","color":"#0d00ff"},"pullRequestCount":1,"issueCount":1,"starsCount":26,"forksCount":18,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-21T17:59:02.802Z"}},{"type":"Public","name":"action-usability-via-deadend-detection","owner":"QuMuLab","isFork":false,"description":"Research project to explore the use of deadend detection techniques for testing action reachability.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-22T23:32:56.046Z"}},{"type":"Public","name":"pdkb-planning","owner":"QuMuLab","isFork":false,"description":"Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with Proper Doxastic Knowledge Bases (PDKBs).","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":20,"forksCount":8,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-18T01:58:44.610Z"}},{"type":"Public","name":"python-nnf","owner":"QuMuLab","isFork":false,"description":"Manipulate NNF (Negation Normal Form) logical sentences","allTopics":["python","logic","dimacs","nnf"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":12,"starsCount":17,"forksCount":9,"license":"ISC License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-13T05:00:03.990Z"}},{"type":"Public","name":"PowerfulPuzzling","owner":"QuMuLab","isFork":false,"description":"The Powerful Puzzling algorithm aims to provide a solution to jigsaw puzzle solvers that are able to work with island pieces (a group of two or more connected pieces).","allTopics":["machine-learning","computer-vision","puzzle-solver"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-21T05:01:49.445Z"}},{"type":"Public","name":"COVI-AgentSim","owner":"QuMuLab","isFork":true,"description":"Covid-19 spread simulator with human mobility and intervention modeling.","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":8,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-17T01:30:07.537Z"}},{"type":"Public","name":"kingston-abm","owner":"QuMuLab","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-14T19:40:41.729Z"}},{"type":"Public","name":"dsharp","owner":"QuMuLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":8,"starsCount":16,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-20T18:22:44.748Z"}},{"type":"Public","name":"temporal-nl-to-pddl","owner":"QuMuLab","isFork":false,"description":"Alex's CISC 500 capstone project repository","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-12T04:42:39.485Z"}},{"type":"Public","name":"hugo-academic-group","owner":"QuMuLab","isFork":true,"description":"An academic group website theme for Hugo.","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":18,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-07T04:48:59.901Z"}},{"type":"Public","name":"kingston-params","owner":"QuMuLab","isFork":false,"description":"A Jupyter notebook describing how the Kingston-specific parameters for the COVI-AgentSim simulation were derived","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-19T19:15:48.833Z"}},{"type":"Public","name":"covi-contacts","owner":"QuMuLab","isFork":false,"description":"Packages a collection of utilities from COVI-AgentSim for independent installation","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-29T23:33:19.829Z"}},{"type":"Public","name":"BirdsPyView","owner":"QuMuLab","isFork":true,"description":"A streamlit app to convert images to top-down view and get coordinates of objects, built for football data collection","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":20,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-09T14:53:10.511Z"}},{"type":"Public","name":"alfred","owner":"QuMuLab","isFork":true,"description":"ALFRED - A Benchmark for Interpreting Grounded Instructions for Everyday Tasks","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":77,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-27T23:46:30.183Z"}},{"type":"Public","name":"krtoolkit","owner":"QuMuLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":8,"starsCount":4,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-29T13:22:35.412Z"}},{"type":"Public","name":"drde","owner":"QuMuLab","isFork":false,"description":"Approach for generating every delete-relaxed deadend of a classicial planning problem.","allTopics":[],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-04T15:20:44.695Z"}},{"type":"Public","name":"UAMBAT","owner":"QuMuLab","isFork":false,"description":"Universal Adapter Mechanism for Bridging Action Theories","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-04T15:13:32.946Z"}},{"type":"Public","name":"tempopem","owner":"QuMuLab","isFork":false,"description":"Software to generalize and execute partial order plans with simple temporal constraints.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-04T15:02:30.257Z"}},{"type":"Public","name":"teamwork-via-collective-intention","owner":"QuMuLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-04T14:57:53.228Z"}}],"repositoryCount":24,"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":"template","text":"Templates"}],"compactMode":false},"title":"QuMuLab repositories"}