{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"sel4-tutorials","owner":"seL4","isFork":false,"description":"Tutorials for working with seL4 and/or CAmkES.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":5,"issueCount":12,"starsCount":51,"forksCount":54,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T05:16:36.608Z"}},{"type":"Public","name":"ci-actions","owner":"seL4","isFork":false,"description":"CI GitHub actions for the seL4 repositories","allTopics":["continuous-integration","ci","sel4","ci-actions"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":22,"starsCount":3,"forksCount":13,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T05:15:46.444Z"}},{"type":"Public","name":"camkes-tool","owner":"seL4","isFork":false,"description":"The main CAmkES tool","allTopics":["camkes"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":14,"starsCount":29,"forksCount":68,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T10:26:02.891Z"}},{"type":"Public","name":"rfcs","owner":"seL4","isFork":false,"description":"RFCs for the seL4 ecosystem","allTopics":["sel4"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":6,"issueCount":2,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-26T17:17:05.598Z"}},{"type":"Public","name":"graph-refine","owner":"seL4","isFork":false,"description":"","allTopics":["proof","sel4","translation-validation","refinement-proof"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":10,"forksCount":10,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-29T00:27:56.698Z"}}],"repositoryCount":5,"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":"seL4 repositories"}