{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"goa","owner":"genodelabs","isFork":false,"description":"Tool for streamlining the development of Genode applications","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Tcl","color":"#e4cc98"},"pullRequestCount":2,"issueCount":4,"starsCount":17,"forksCount":17,"license":"GNU Affero General Public License v3.0","participation":[2,10,17,18,4,9,0,0,0,0,0,1,1,0,0,8,4,2,2,6,1,1,0,4,1,4,7,0,9,8,0,4,8,5,3,3,0,0,0,0,0,0,0,0,0,0,1,3,0,1,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T17:24:55.814Z"}},{"type":"Public","name":"genode","owner":"genodelabs","isFork":false,"description":"Genode OS Framework","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":112,"starsCount":1031,"forksCount":249,"license":"Other","participation":[31,22,27,25,40,28,20,11,8,6,11,14,8,12,13,16,14,19,15,13,24,23,12,18,25,13,28,24,13,9,0,12,6,17,21,18,26,14,9,15,14,16,36,32,23,35,53,30,14,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T12:10:51.893Z"}},{"type":"Public","name":"genode-imx","owner":"genodelabs","isFork":false,"description":"i.MX SoC family support for the Genode OS framework","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":11,"license":"Other","participation":[1,2,2,2,4,3,1,0,0,0,0,0,1,0,0,0,0,2,2,0,0,5,0,0,1,1,2,6,1,0,0,0,3,3,3,0,0,0,0,2,0,1,1,0,0,1,1,3,2,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T07:22:59.975Z"}},{"type":"Public","name":"genodians.org","owner":"genodelabs","isFork":false,"description":"Website for stories around the Genode operating system","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":17,"forksCount":10,"license":"Other","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,1,0,1,0,0,0,0,0,1,0,4,0,0,1,0,0,0,0,0,0,0,0,2,0,0,0,1,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T12:04:11.276Z"}},{"type":"Public","name":"genode-world","owner":"genodelabs","isFork":false,"description":"Collection of community-maintained components for Genode","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":12,"starsCount":44,"forksCount":46,"license":"Other","participation":[6,5,4,1,1,1,1,2,4,0,0,2,1,1,3,1,3,1,5,1,4,5,0,0,1,15,5,5,2,1,0,1,2,1,0,0,1,1,2,7,1,5,0,3,0,5,2,1,5,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T11:01:04.973Z"}},{"type":"Public","name":"genode-allwinner","owner":"genodelabs","isFork":false,"description":"Allwinner SoC support for the Genode OS framework","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":3,"starsCount":12,"forksCount":10,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-14T09:11:28.138Z"}},{"type":"Public","name":"genode-rpi","owner":"genodelabs","isFork":false,"description":"Raspberry Pi family support for Genode OS framework","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":12,"forksCount":10,"license":"Other","participation":[2,0,1,0,0,0,3,0,0,0,1,0,1,0,0,0,0,0,1,0,0,3,0,0,1,0,2,2,1,0,0,0,0,1,1,0,0,0,0,3,0,0,0,0,0,1,1,1,1,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-14T09:10:37.725Z"}},{"type":"Public","name":"genode-zynq","owner":"genodelabs","isFork":false,"description":"Zynq SoC support for the Genode OS framework ","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":9,"license":"Other","participation":[2,0,2,2,0,1,1,0,0,0,0,0,1,0,0,0,0,0,1,0,0,3,1,0,4,0,3,2,1,0,0,0,0,2,1,0,0,0,0,1,0,0,0,0,0,1,1,1,1,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-07T14:44:43.126Z"}},{"type":"Public","name":"genode-riscv","owner":"genodelabs","isFork":false,"description":"RISC-V board support ","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":5,"license":"Other","participation":[2,0,1,0,1,0,1,0,0,0,0,0,1,0,0,0,0,0,1,0,0,1,0,0,1,0,1,0,1,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,1,1,1,1,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-07T14:40:38.677Z"}}],"repositoryCount":9,"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"}