{"payload":{"pageCount":1,"repositories":[{"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-05-20T23:38:46.696Z"}},{"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":6,"issueCount":12,"starsCount":51,"forksCount":55,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-11T22:52:14.050Z"}},{"type":"Public","name":"camkes-tool","owner":"seL4","isFork":false,"description":"The main CAmkES tool","allTopics":["camkes"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":4,"issueCount":15,"starsCount":29,"forksCount":65,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-20T19:46:52.220Z"}},{"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":4,"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"}