{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"jelly","owner":"cs-au-dk","isFork":false,"description":"JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis","topicNames":["javascript","typescript","vulnerability-detection","call-graph-analysis","library-usage"],"topicsNotShown":0,"allTopics":["javascript","typescript","vulnerability-detection","call-graph-analysis","library-usage"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":1,"issueCount":2,"starsCount":298,"forksCount":18,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-04T07:52:37.850Z"}},{"type":"Public","name":"dk.brics.automaton","owner":"cs-au-dk","isFork":false,"description":"dk.brics.automaton - finite-state automata and regular expressions for Java","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":6,"issueCount":10,"starsCount":205,"forksCount":74,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-20T04:21:31.321Z"}},{"type":"Public","name":"CSrankings","owner":"cs-au-dk","isFork":true,"description":"A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2947,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-09T11:50:24.865Z"}},{"type":"Public","name":"ICSE-2021-Paper-105","owner":"cs-au-dk","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":3,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-01T09:31:53.474Z"}},{"type":"Public","name":"goat","owner":"cs-au-dk","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":1,"starsCount":17,"forksCount":3,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-20T13:17:04.593Z"}},{"type":"Public","name":"TIP","owner":"cs-au-dk","isFork":false,"description":"Static program analysis for TIP","topicNames":["static-code-analysis","static-analyzer","program-analysis","pointer-analysis","points-to-analysis"],"topicsNotShown":0,"allTopics":["static-code-analysis","static-analyzer","program-analysis","pointer-analysis","points-to-analysis"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":3,"issueCount":3,"starsCount":271,"forksCount":124,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-25T21:32:59.928Z"}},{"type":"Public","name":"NoRegrets","owner":"cs-au-dk","isFork":false,"description":"Breaking change detector for npm","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":27,"issueCount":0,"starsCount":19,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-10T04:09:23.293Z"}},{"type":"Public","name":"MoTyR","owner":"cs-au-dk","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":27,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-10T00:52:23.225Z"}},{"type":"Public","name":"ReaGenT","owner":"cs-au-dk","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":20,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-05T15:00:36.243Z"}},{"type":"Public","name":"jsfix-package-inspector","owner":"cs-au-dk","isFork":false,"description":"Inspecting npm packages made easy","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-24T06:36:02.709Z"}},{"type":"Public","name":"jsfix-blog","owner":"cs-au-dk","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-07T08:09:08.865Z"}},{"type":"Public","name":"taser","owner":"cs-au-dk","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":3,"issueCount":0,"starsCount":12,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-11T01:21:17.092Z"}},{"type":"Public","name":"jsfix-dependency-scanner","owner":"cs-au-dk","isFork":false,"description":"JSFIX dependency scanner","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-03T11:06:12.704Z"}},{"type":"Public","name":"ISSTA-2021-Paper-156","owner":"cs-au-dk","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-12T06:46:00.041Z"}},{"type":"Public","name":"jalangi2","owner":"cs-au-dk","isFork":true,"description":"Dynamic analysis framework for JavaScript","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":3,"starsCount":1,"forksCount":115,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-12T05:21:59.410Z"}},{"type":"Public","name":"jalangilogger","owner":"cs-au-dk","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":6,"starsCount":2,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-15T14:52:32.209Z"}},{"type":"Public","name":"streamliner","owner":"cs-au-dk","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-16T11:15:07.719Z"}},{"type":"Public","name":"TAJS","owner":"cs-au-dk","isFork":false,"description":"Type Analyzer for JavaScript","topicNames":["static-code-analysis","static-analyzer","program-analysis","type-checking","javascript"],"topicsNotShown":0,"allTopics":["static-code-analysis","static-analyzer","program-analysis","type-checking","javascript"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":7,"starsCount":188,"forksCount":39,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-18T19:05:28.236Z"}},{"type":"Public","name":"TAJS-Inspector","owner":"cs-au-dk","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":8,"starsCount":1,"forksCount":4,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-10T14:23:32.243Z"}},{"type":"Public","name":"MONA","owner":"cs-au-dk","isFork":false,"description":"MONA - a decision procedure for monadic second-order logic on finite strings and trees","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":2,"starsCount":45,"forksCount":13,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-03T09:11:12.802Z"}},{"type":"Public","name":"ts-spec-reader","owner":"cs-au-dk","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-19T04:10:07.955Z"}},{"type":"Public","name":"tajs_vr_experiments","owner":"cs-au-dk","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-08T16:48:55.609Z"}},{"type":"Public","name":"tajs_vr","owner":"cs-au-dk","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-08T14:03:13.433Z"}},{"type":"Public","name":"ajaxracer","owner":"cs-au-dk","isFork":false,"description":"Practical AJAX Race Detection for JavaScript Web Applications","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-23T14:59:54.214Z"}},{"type":"Public","name":"Artemis","owner":"cs-au-dk","isFork":false,"description":"automated testing for JavaScript","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":34,"starsCount":36,"forksCount":10,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-02-01T17:33:52.679Z"}},{"type":"Public","name":"thor","owner":"cs-au-dk","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":1,"starsCount":13,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-17T12:48:07.954Z"}},{"type":"Public","name":"initracer","owner":"cs-au-dk","isFork":false,"description":"Practical Initialization Race Detection for JavaScript Web Applications","topicNames":["javascript","race-detection"],"topicsNotShown":0,"allTopics":["javascript","race-detection"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-04-10T15:18:58.272Z"}},{"type":"Public","name":"EventRaceCommander","owner":"cs-au-dk","isFork":false,"description":"Repairing Event Race Errors by Controlling Nondeterminism","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-02-20T11:37:41.164Z"}},{"type":"Public","name":"JWIG","owner":"cs-au-dk","isFork":false,"description":"JWIG - a Java-based web application framework using XACT for type-safe XML/XHTML transformations","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-01-27T19:49:49.250Z"}},{"type":"Public","name":"protocolfiller","owner":"cs-au-dk","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-07T07:26:33.810Z"}}],"repositoryCount":32,"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":"Repositories"}