{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"UUtils","owner":"UPPAALModelChecker","isFork":false,"description":"The (spookiest) UPPAAL utility library","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":1,"starsCount":0,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T08:54:07.624Z"}},{"type":"Public","name":"docs.uppaal.org","owner":"UPPAALModelChecker","isFork":false,"description":"This repo contains the official UPPAAL documentation published on <a href=\"https://docs.uppaal.org\" rel=\"nofollow\">https://docs.uppaal.org</a>","allTopics":["documentation","uppaal"],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":2,"issueCount":15,"starsCount":1,"forksCount":14,"license":null,"participation":[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,7,4,2,12,5,0,1,0,1,2,0,0,0,0,0,0,0,0,0,2,0,0,0,7,0,0,0,0,13,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-22T08:56:22.216Z"}},{"type":"Public","name":"uppaal-latex","owner":"UPPAALModelChecker","isFork":false,"description":"LaTeX package to typeset Uppaal timed automata specifications","allTopics":["latex","typesetting","model-checking","uppaal","timed-automata"],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":1,"issueCount":0,"starsCount":13,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T09:41:14.408Z"}},{"type":"Public","name":"utap","owner":"UPPAALModelChecker","isFork":false,"description":"Uppaal Timed Automata Parser","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":3,"issueCount":8,"starsCount":9,"forksCount":8,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-02T10:04:53.130Z"}},{"type":"Public","name":"uppaal-libs","owner":"UPPAALModelChecker","isFork":false,"description":"Dynamic libraries for Uppaal models","allTopics":["csv","verification","model-checking","csv-export","csv-import","uppaal","timed-automata"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":1,"starsCount":1,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-04T16:35:19.866Z"}},{"type":"Public","name":"uls","owner":"UPPAALModelChecker","isFork":false,"description":"UPPAAL Language Server for syntax highlighting and auto-completion","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":1,"license":"GNU Lesser General Public License v2.1","participation":[0,0,0,0,0,9,3,0,1,0,2,2,0,2,10,5,0,0,2,2,8,0,0,2,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],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-15T08:20:42.154Z"}},{"type":"Public","name":"UDBM","owner":"UPPAALModelChecker","isFork":false,"description":"Uppaal DBM library","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":3,"starsCount":6,"forksCount":7,"license":"GNU General Public License v3.0","participation":[0,0,0,0,0,0,0,0,0,0,15,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-09-29T07:06:10.351Z"}},{"type":"Public","name":"UCDD","owner":"UPPAALModelChecker","isFork":false,"description":"Uppaal CDD library","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":11,"starsCount":3,"forksCount":10,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-15T09:30:36.289Z"}},{"type":"Public","name":"tracer","owner":"UPPAALModelChecker","isFork":false,"description":"Uppaal trace interpreter","allTopics":["trace","witness","uppaal","diagnostic"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-01T14:40:04.011Z"}},{"type":"Public","name":"UPPAAL-Meta","owner":"UPPAALModelChecker","isFork":false,"description":"This is the offcial meta repo for issue reporting, feature request and public roadmap for the development of UPPAAL.","allTopics":["uppaal"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":103,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-22T08:41:51.563Z"}},{"type":"Public","name":"python_dbm","owner":"UPPAALModelChecker","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-28T08:19:04.641Z"}}],"repositoryCount":11,"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"}