{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"bug-severity-prediction","owner":"seer-lab","isFork":false,"description":"The Automatic Bug Traige (AutoBugTriage) tool allows for the prediction of bug severity at the beginning of the project by using NLP and an organization's historical data.","allTopics":["nlp","prediction","nlp-machine-learning","doc2vec","bug-triaging","bug-triage","bug-severity"],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-20T15:45:32.916Z"}},{"type":"Public","name":"GidgetML","owner":"seer-lab","isFork":true,"description":"Computing education through playful debugging","allTopics":["game","debugging","machine-learning","programming","ai","personalized-learning","cs-education","serious-game"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-20T15:27:57.665Z"}},{"type":"Public","name":"TIE","owner":"seer-lab","isFork":false,"description":"A Thread Interleaving Explorer for Java Pathfinder (JPF).","allTopics":["visualization","java","debugging","concurrency","eclipse-plugin","model-checking","java-pathfinder"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-19T19:29:00.000Z"}},{"type":"Public","name":"ccmetrics","owner":"seer-lab","isFork":false,"description":"A static analysis tool for calculating concurrency code metrics in Java programs.","allTopics":["java","metrics","concurrency"],"primaryLanguage":{"name":"TXL","color":"#0178b8"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Mozilla Public License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-19T18:33:49.673Z"}},{"type":"Public","name":"Threaded-Paws","owner":"seer-lab","isFork":true,"description":"Serious game for learning about concurrency - thread interleavings, data races and deadlocks.","allTopics":["learning","computer-science","education","concurrency","deadlock","concurrent-programming","cs-education","serious-game","data-race"],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":5,"starsCount":5,"forksCount":3,"license":"Mozilla Public License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-16T20:07:04.522Z"}},{"type":"Public","name":"ConMAn","owner":"seer-lab","isFork":false,"description":"A concurrency mutant generation tool for mutation testing concurrent Java.","allTopics":["java","testing","synchronization","mutation-testing","concurrency","mutation","txl"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":3,"starsCount":2,"forksCount":2,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-16T19:44:17.022Z"}},{"type":"Public","name":".github","owner":"seer-lab","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-16T19:27:20.062Z"}},{"type":"Public","name":"Programly","owner":"seer-lab","isFork":false,"description":"Programly: An Educational Game for Learning Programming Fundamentals","allTopics":["programming","serious-game","csed","cseducation"],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,1,2,2,3,1,7,4,4,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-08T19:23:57.307Z"}},{"type":"Public","name":"RoboGames","owner":"seer-lab","isFork":false,"description":"A game for learning programming through understanding and comprehension of source code.","allTopics":["game","students","cs-education","comprehension","serious-game"],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":11,"issueCount":15,"starsCount":9,"forksCount":5,"license":"Mozilla Public License 2.0","participation":[1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-03T22:17:32.040Z"}},{"type":"Public","name":"OMPLoopHelper","owner":"seer-lab","isFork":false,"description":"OMPLoopHelper analyzes OpenMP loops for parallelization compatibility and provides recommendations on loop improvement.","allTopics":["openmp","analyzer","loops","cs-education","parallel-programming"],"primaryLanguage":{"name":"TXL","color":"#0178b8"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-09T19:27:53.788Z"}},{"type":"Public","name":"PIE","owner":"seer-lab","isFork":false,"description":"Pattern Instance Explorer (PIE), is an exploratory visualization tool that enable developers and researchers to examine a repository’s design patterns and their life cycles.","allTopics":["visualization","open-source","design","design-pattern","pattern","code-analysis"],"primaryLanguage":{"name":"Dart","color":"#00B4AB"},"pullRequestCount":0,"issueCount":23,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-28T17:29:47.442Z"}},{"type":"Public","name":"CFLASH-Data","owner":"seer-lab","isFork":false,"description":"Set of Java concurrent programs used to evaluate CFLASH","allTopics":["java","debugging","data","benchmark","multi-threading","research","test","metrics","concurrency","evaluation","dataset","debugging-tool"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":3,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-18T04:04:06.298Z"}},{"type":"Public","name":"coach-script","owner":"seer-lab","isFork":false,"description":"Combining Parsons Problem and Serious Games for Learning Programming","allTopics":["education","programming","serious-games","parsons-problem"],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Mozilla Public License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-28T14:35:04.692Z"}},{"type":"Public archive","name":"RoboBUG","owner":"seer-lab","isFork":false,"description":"A serious game for learning debugging.","allTopics":["debugging","serious-game","game","students"],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":"Mozilla Public License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-20T20:01:58.581Z"}},{"type":"Public","name":"parallel-ga","owner":"seer-lab","isFork":false,"description":"","allTopics":["genetic-algorithm","parallel-programming"],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-20T18:44:13.147Z"}},{"type":"Public","name":"vulkan-edu","owner":"seer-lab","isFork":false,"description":"","allTopics":["vulkan","vulkan-api","cs-education"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":4,"starsCount":0,"forksCount":1,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-05T15:48:59.708Z"}},{"type":"Public","name":"ontariotech-thesis-template","owner":"seer-lab","isFork":false,"description":"A UOIT LaTeX thesis template.","allTopics":["latex-template","phd","msc","latex","thesis"],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":9,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-28T14:45:01.343Z"}},{"type":"Public","name":"MutationScorePredictor","owner":"seer-lab","isFork":false,"description":"A project that will predict the mutation score of methods and classes using a support vector machine and source code metrics","allTopics":["ruby","java","machine-learning","mutation-testing","support-vector-machines","mutation-analysis"],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-14T15:55:23.405Z"}},{"type":"Public","name":"ARC2","owner":"seer-lab","isFork":false,"description":"A Java implementation of the ARC-OPT bug repair framework.","allTopics":["java","concurrency","bug-fixing","txl"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-03-24T11:25:34.456Z"}},{"type":"Public","name":"ConDesignPatterns","owner":"seer-lab","isFork":false,"description":"Static concurrency design pattern detection and annotation in Java. ","allTopics":["java","static-analysis","concurrency","design-patterns","txl"],"primaryLanguage":{"name":"TXL","color":"#0178b8"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-20T02:15:48.019Z"}},{"type":"Public","name":"Refactor-Maze","owner":"seer-lab","isFork":false,"description":"A maze-based serious game for learning about code smells and code refactoring.","allTopics":[],"primaryLanguage":{"name":"ASP","color":"#6a40fd"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-04-17T18:05:07.070Z"}},{"type":"Public archive","name":"Eclipticon","owner":"seer-lab","isFork":false,"description":"A concurrency testing plugin for Java projects in Eclipse.","allTopics":["concurrency","eclipse-plugin","testing-tools","java"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-12T00:11:12.077Z"}},{"type":"Public","name":"SyncTest","owner":"seer-lab","isFork":false,"description":"Unit testing tool for multithreaded programs.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Mozilla Public License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-12T00:09:59.421Z"}},{"type":"Public","name":"ARC","owner":"seer-lab","isFork":false,"description":"A tool to automatically repair concurrency bugs in Java.","allTopics":["java","genetic-algorithm","concurrency","automatic-bug-fixing","bug-repair"],"primaryLanguage":{"name":"TXL","color":"#0178b8"},"pullRequestCount":0,"issueCount":1,"starsCount":6,"forksCount":0,"license":"Mozilla Public License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-12T00:02:08.589Z"}},{"type":"Public","name":"PriorityTestVis","owner":"seer-lab","isFork":false,"description":"A visualization plugin for Eclipse that prioritizes tests for 10 minute builds.","allTopics":["visualization","java","agile","testing-tools"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Mozilla Public License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-11T15:15:09.471Z"}},{"type":"Public","name":"firefinder","owner":"seer-lab","isFork":false,"description":"A game for learning path finding algorithms in Python.","allTopics":["game","python","students","algorithm","pathfinding","serious-game"],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":"Mozilla Public License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-11T15:09:23.517Z"}},{"type":"Public","name":"commit-change-prediction","owner":"seer-lab","isFork":false,"description":"Joseph's Thesis","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-31T15:57:10.189Z"}},{"type":"Public","name":"github-code-walker","owner":"seer-lab","isFork":false,"description":"A code walkthrough and exploration tool for GitHub projects.","allTopics":["github","android","inspection","walkthrough"],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":5,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-08-19T22:06:12.998Z"}},{"type":"Public","name":"GitView","owner":"seer-lab","isFork":false,"description":"Mining GitHub projects to learn about open source software development communities and practices.","allTopics":["github","visualization","code","metrics","comments","churn","metrics-collected"],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":3,"starsCount":1,"forksCount":0,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-17T20:36:52.585Z"}},{"type":"Public","name":"concurrency_benchmark","owner":"seer-lab","isFork":false,"description":"","allTopics":["benchmark","concurrency","dataset","concurrent-programming","software-analysis","software-testing","software-bug","concurrent-programs"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-05-21T19:09:08.517Z"}}],"repositoryCount":33,"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":"seer-lab repositories"}