{"payload":{"pageCount":4,"repositories":[{"type":"Public","name":"kekinian","owner":"sireum","isFork":false,"description":"Sireum: A High Assurance System Engineering Platform","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":2,"license":"BSD 2-Clause \"Simplified\" License","participation":[25,21,9,9,15,2,6,7,1,3,13,7,16,0,0,6,4,6,5,14,21,20,27,16,12,30,7,13,11,8,6,7,8,6,8,1,1,3,2,0,0,2,2,10,0,8,32,22,24,17,48,42],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-19T15:36:01.921Z"}},{"type":"Public","name":"hamr-codegen","owner":"sireum","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":[9,7,3,1,10,1,4,14,0,1,3,0,2,0,0,1,0,6,0,1,4,8,10,2,6,2,1,0,1,2,8,2,0,0,0,0,0,2,0,0,0,3,0,0,2,0,1,2,7,8,13,11],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-19T15:35:13.632Z"}},{"type":"Public","name":"runtime","owner":"sireum","isFork":false,"description":"Slang Runtime Library","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"BSD 2-Clause \"Simplified\" License","participation":[4,2,1,3,6,1,0,0,0,0,6,2,9,0,0,2,0,1,2,4,5,4,7,0,1,1,0,8,2,2,2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,2,18,1,6,1,12,17],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-19T15:34:25.030Z"}},{"type":"Public","name":"proyek","owner":"sireum","isFork":false,"description":"Module-Incremental/Parallel Build Tool for Slang Projects","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[7,3,0,1,1,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,1,0,0,1,0,2,1,3,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,1,4,2,3,1,5,7],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-19T13:18:28.374Z"}},{"type":"Public","name":"hamr-sysml","owner":"sireum","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,2,1,0,2,3,0,2,2,0,0,3,1,0,1,1,8,0,2,0,3,5,7,11,5],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-19T12:06:15.028Z"}},{"type":"Public","name":"bin-install","owner":"sireum","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Batchfile","color":"#C1F12E"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[4,0,1,1,2,0,0,0,0,2,3,4,5,0,0,4,1,0,1,1,0,2,1,0,0,2,0,3,2,1,1,3,1,1,0,0,0,2,0,0,0,1,1,0,0,1,2,8,7,4,13,5],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T23:40:39.143Z"}},{"type":"Public","name":"arsit","owner":"sireum","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":[3,8,1,3,8,0,10,12,0,1,4,1,2,0,0,1,0,3,0,1,0,2,6,3,6,0,0,0,1,4,5,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,1,1,0,6,4],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T21:58:52.111Z"}},{"type":"Public","name":"hamr-codegen-test","owner":"sireum","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[7,4,2,1,3,0,1,6,0,0,2,1,0,0,0,0,0,3,0,0,1,4,3,1,3,0,1,0,0,1,4,1,0,0,0,0,0,1,0,0,0,1,1,0,1,0,0,1,1,1,7,5],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T21:58:43.700Z"}},{"type":"Public","name":"osate-update-site","owner":"sireum","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,0,0,1,0,1,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,0,0,0,0,0,0,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T21:31:18.710Z"}},{"type":"Public","name":"osate-plugin","owner":"sireum","isFork":false,"description":"OSATE Plugin","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":[0,0,3,0,2,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,1,0,1,0,0,0,0,3,2,0,0,0,0,0,0,0,0,0,0,0,0,0,4,0,0,1,0,0,4,3],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T21:31:09.770Z"}},{"type":"Public","name":"act","owner":"sireum","isFork":false,"description":"DARPA CASE System Build AADL-to-CAmkES Translator","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":[0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,5,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-17T16:10:29.851Z"}},{"type":"Public","name":"gh-pages-sireum","owner":"sireum","isFork":false,"description":"GitHub Pages","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,1,0,0,0,0,0,1,0,0,1,0,0,0,0,0,1,0,0,3,0,0,0,1,0,0,0,2,0,0,0,0,0,0,0,0,0,1,0,0,0,19,2,1,1,3,7],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-17T00:44:54.967Z"}},{"type":"Public","name":"init","owner":"sireum","isFork":false,"description":"Pre-built Sireum self-contained jar releases for bootstrapping Sireum","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,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,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-09-16T23:43:25.936Z"}},{"type":"Public","name":"intellij-plugin","owner":"sireum","isFork":false,"description":"Sireum Kekinian IntelliJ Plugin","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":[3,0,0,2,1,0,0,0,0,0,4,2,0,0,0,0,0,0,0,0,4,1,9,3,0,4,0,0,2,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,4,15,1,4,3,3,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-16T23:09:57.531Z"}},{"type":"Public","name":"scalac-plugin","owner":"sireum","isFork":false,"description":"Slang Scala 2.x Compiler Plugin","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":[2,0,1,1,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,2,0,2,1,2,1,1,0,1,0,0,0,1,0,1,1,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,0,4],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-16T20:11:56.237Z"}},{"type":"Public","name":"tools","owner":"sireum","isFork":false,"description":"Slang Utility/CodeGen Tools","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[2,7,5,0,2,3,3,2,1,0,4,0,0,0,0,1,0,0,0,0,0,1,1,0,1,0,0,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-15T16:26:59.226Z"}},{"type":"Public","name":"vscode-extension","owner":"sireum","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" 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,2,5,16,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T22:25:47.902Z"}},{"type":"Public","name":"bin-windows","owner":"sireum","isFork":false,"description":"Windows binaries for Sireum","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,1,0,0,0,0,0,0,0,1,0,3,0,0,0,0,0,2,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,2,0,0,1,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T20:46:42.585Z"}},{"type":"Public","name":"bin-mac","owner":"sireum","isFork":false,"description":"macOS binaries for Sireum","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,1,0,0,0,0,0,0,0,1,1,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,2,1,0,1,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T20:46:41.604Z"}},{"type":"Public","name":"bin-linux","owner":"sireum","isFork":false,"description":"Linux binaries for Sireum","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,1,0,0,0,0,0,0,0,1,1,2,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,2,1,0,1,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T20:46:40.168Z"}},{"type":"Public","name":"logika-examples","owner":"sireum","isFork":false,"description":"Logika Examples for A Formal Logic Introduction Course","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,3,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,3,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T19:50:59.783Z"}},{"type":"Public","name":"slang-embedded-art","owner":"sireum","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,1,0,1,2,0,2,3,0,0,1,0,0,0,0,1,0,1,0,0,0,0,1,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,3,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T19:42:13.053Z"}},{"type":"Public","name":"infoflow","owner":"sireum","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,1,0,1,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,3,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T19:41:45.993Z"}},{"type":"Public","name":"hamr-vision","owner":"sireum","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[2,9,2,0,5,0,2,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,1,0,3,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T19:41:30.358Z"}},{"type":"Public","name":"phantom","owner":"sireum","isFork":false,"description":"OSATE Headless CLI","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":4,"starsCount":1,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":[0,0,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,1,1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,2,2,0,3,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T19:41:20.000Z"}},{"type":"Public","name":"air","owner":"sireum","isFork":false,"description":"AIR: AADL Intermediate Representation (IR) in Slang, JSON, and MessagePack","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":[0,0,1,1,0,0,0,0,0,1,0,0,1,0,0,1,0,0,1,2,1,2,3,0,0,3,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,4,0,4,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T19:40:55.296Z"}},{"type":"Public","name":"parser","owner":"sireum","isFork":false,"description":"Sireum Parser Generator","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,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,3,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T19:40:31.098Z"}},{"type":"Public","name":"transpilers","owner":"sireum","isFork":false,"description":"Slang Transpilers","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,1,0,0,0,3,0,2,1,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,3,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T19:40:16.840Z"}},{"type":"Public","name":"logika","owner":"sireum","isFork":false,"description":"Logika Next-Gen Verification Framework for Slang","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":1,"issueCount":0,"starsCount":4,"forksCount":1,"license":null,"participation":[7,8,4,1,0,0,0,0,0,0,1,3,0,0,0,1,0,0,0,9,26,12,15,6,8,23,3,6,3,1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,2,6,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T19:40:07.641Z"}},{"type":"Public","name":"alir","owner":"sireum","isFork":false,"description":"Slang Flow Analysis","allTopics":[],"primaryLanguage":{"name":"Batchfile","color":"#C1F12E"},"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,1,0,0,0,0,0,0,0,0,0,0,0,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T19:40:04.889Z"}}],"repositoryCount":109,"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":"sireum repositories"}