{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"sel4test","owner":"seL4","isFork":false,"description":"Test suite for seL4.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":10,"issueCount":16,"starsCount":24,"forksCount":59,"license":"Other","participation":[1,0,0,0,0,0,1,1,1,0,1,0,0,0,0,0,0,0,0,1,0,2,0,0,0,0,0,0,0,0,2,0,0,0,1,2,0,0,0,0,0,4,0,0,0,0,0,0,1,1,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T19:49:47.243Z"}},{"type":"Public","name":"verification-manifest","owner":"seL4","isFork":false,"description":"Manifests for the collection of verification repositories ","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":15,"forksCount":15,"license":null,"participation":[14,5,3,2,0,1,0,4,7,2,8,1,1,1,0,1,10,7,14,11,11,6,6,6,4,6,1,0,4,0,12,14,16,7,9,2,9,6,2,14,13,5,11,10,2,3,4,0,0,6,1,4],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T15:42:26.605Z"}},{"type":"Public","name":"camkes-vm-examples-manifest","owner":"seL4","isFork":false,"description":"","allTopics":["camkes"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":15,"license":null,"participation":[5,3,0,0,1,1,0,2,4,1,5,2,2,2,0,0,3,1,6,11,8,5,4,2,1,2,0,0,0,0,7,9,21,10,8,2,2,4,3,5,5,1,5,5,0,2,2,0,2,2,0,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T15:35:35.740Z"}},{"type":"Public","name":"microkit","owner":"seL4","isFork":false,"description":"Microkit - A simple operating system framework for the seL4 microkernel","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":9,"issueCount":23,"starsCount":66,"forksCount":38,"license":"Other","participation":[2,0,0,1,0,0,0,1,0,1,0,0,1,16,4,0,3,0,1,0,0,0,2,0,0,0,0,0,0,1,11,1,10,0,5,5,1,6,0,1,3,1,0,0,1,3,2,2,7,2,3,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T14:15:56.091Z"}},{"type":"Public","name":"camkes-manifest","owner":"seL4","isFork":false,"description":"Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.","allTopics":["camkes"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":20,"forksCount":22,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T14:05:41.309Z"}},{"type":"Public","name":"sel4webserver-manifest","owner":"seL4","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":1,"license":null,"participation":[10,3,0,0,1,1,0,2,6,1,7,2,2,2,0,0,3,1,7,17,8,5,5,0,0,0,1,0,0,0,8,10,15,6,6,2,2,4,3,4,5,1,3,5,0,2,2,0,2,2,0,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T13:19:30.659Z"}},{"type":"Public","name":"rumprun-sel4-demoapps","owner":"seL4","isFork":false,"description":"Apps for running with the rumprun unikernel on seL4.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":6,"starsCount":28,"forksCount":9,"license":"Other","participation":[6,2,0,0,1,1,0,2,12,1,6,0,2,1,0,0,3,1,7,8,6,3,5,3,2,2,0,0,0,0,8,6,9,4,5,2,2,4,3,6,5,1,5,5,0,2,2,0,2,2,0,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T13:13:43.870Z"}},{"type":"Public","name":"sel4-tutorials-manifest","owner":"seL4","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":8,"forksCount":17,"license":"Other","participation":[12,3,0,0,1,1,0,2,7,1,7,2,2,2,0,0,2,1,7,16,8,5,5,2,2,2,1,0,2,0,8,9,14,6,10,2,3,4,3,7,5,1,5,5,0,2,2,0,2,3,0,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T13:10:37.695Z"}},{"type":"Public","name":"seL4","owner":"seL4","isFork":false,"description":"The seL4 microkernel","allTopics":["os","microkernel","sel4","sel4-microkernel"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":57,"issueCount":149,"starsCount":4587,"forksCount":639,"license":"Other","participation":[10,1,0,1,1,0,2,2,7,4,1,0,0,0,3,0,1,5,1,7,12,3,3,1,3,2,4,1,0,8,3,6,7,6,3,2,2,3,5,4,10,0,5,0,1,0,2,0,1,1,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T12:47:34.081Z"}},{"type":"Public","name":"util_libs","owner":"seL4","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":11,"issueCount":18,"starsCount":51,"forksCount":81,"license":"Other","participation":[0,1,0,1,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,1,0,1,2,1,0,0,4,1,0,0,0,0,0,0,0,0,0,1,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T12:47:25.320Z"}},{"type":"Public","name":"seL4_tools","owner":"seL4","isFork":false,"description":"Basic tools for building seL4 projects","allTopics":["sel4"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":23,"issueCount":11,"starsCount":41,"forksCount":87,"license":"Other","participation":[0,0,0,0,1,0,0,0,0,1,3,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,3,0,0,0,1,4,0,0,2,0,0,0,0,0,0,1,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T12:46:21.287Z"}},{"type":"Public","name":"rust-sel4","owner":"seL4","isFork":false,"description":"Rust support for seL4 userspace","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":2,"issueCount":6,"starsCount":81,"forksCount":8,"license":null,"participation":[6,6,34,20,30,0,7,15,20,25,21,19,20,13,12,26,19,12,59,6,20,0,1,0,0,0,0,9,26,94,38,8,8,6,67,15,12,15,25,29,7,2,0,1,12,0,20,2,0,10,29,18],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T09:17:29.445Z"}},{"type":"Public","name":"website","owner":"seL4","isFork":false,"description":"The seL4.systems website","allTopics":["proof","verification","microkernel","sel4"],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":1,"issueCount":12,"starsCount":3,"forksCount":13,"license":null,"participation":[9,2,1,0,1,4,0,3,7,2,7,3,2,3,0,0,4,2,8,10,7,6,6,4,1,15,21,6,0,2,5,8,10,7,10,6,3,5,3,7,17,2,8,7,6,4,5,0,11,4,3,4],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T08:21:02.532Z"}},{"type":"Public","name":"website_pr_hosting","owner":"seL4","isFork":false,"description":"This repo stores the generated website files from PRs on <a href=\"https://github.com/seL4/website\">https://github.com/seL4/website</a>","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"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,1,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T08:20:02.344Z"}},{"type":"Public","name":"l4v","owner":"seL4","isFork":false,"description":"seL4 specification and proofs ","allTopics":["sel4-microkernel","proof","isabelle","formalisation","sel4-proofs"],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":8,"issueCount":44,"starsCount":490,"forksCount":103,"license":"Other","participation":[4,10,13,4,8,12,6,0,13,10,20,6,4,24,1,1,13,13,9,7,18,1,4,4,6,26,16,2,0,31,27,11,12,11,2,18,11,4,3,19,8,4,1,2,3,1,2,2,0,3,4,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T05:34:42.394Z"}},{"type":"Public","name":"docs","owner":"seL4","isFork":false,"description":"This is the source of the seL4 docs.","allTopics":["documentation","sel4"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":5,"issueCount":11,"starsCount":16,"forksCount":51,"license":null,"participation":[0,1,0,0,1,1,1,0,1,2,1,1,2,2,0,0,0,0,9,0,0,0,0,0,1,3,6,1,0,3,0,0,1,1,1,0,0,2,1,1,2,3,1,3,1,1,0,1,8,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T03:15:43.479Z"}},{"type":"Public","name":"isabelle","owner":"seL4","isFork":false,"description":"git mirror of the Munich isabelle hg repository ","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":116,"forksCount":40,"license":"Other","participation":[34,34,33,65,88,59,12,19,26,42,61,27,14,12,47,16,10,44,41,39,39,65,41,56,64,119,58,49,54,40,36,33,30,27,15,80,62,58,83,49,89,57,13,37,23,15,11,4,3,21,49,95],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T03:02:09.483Z"}},{"type":"Public","name":"sel4test-manifest","owner":"seL4","isFork":false,"description":"Project to build and test seL4 for many different platforms","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":14,"forksCount":36,"license":null,"participation":[5,0,0,1,0,3,0,0,3,0,7,1,2,1,0,0,2,0,4,7,6,6,2,2,1,1,1,0,0,0,2,4,7,5,4,1,2,4,2,7,4,2,3,4,0,1,2,0,3,1,1,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T02:39:20.391Z"}},{"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":[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,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-06-11T22:52:14.050Z"}},{"type":"Public","name":"seL4_libs","owner":"seL4","isFork":false,"description":"No-assurance libraries for rapid-prototyping of seL4 apps. ","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":9,"issueCount":9,"starsCount":51,"forksCount":63,"license":"Other","participation":[0,0,0,0,0,0,0,0,3,0,0,0,4,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-11T15:48:06.088Z"}},{"type":"Public","name":"sel4bench-manifest","owner":"seL4","isFork":false,"description":"Manifest of the seL4bench project, which contains microbenchmarks for seL4.","allTopics":[],"primaryLanguage":null,"pullRequestCount":1,"issueCount":1,"starsCount":6,"forksCount":10,"license":null,"participation":[6,1,0,0,1,1,0,2,7,1,5,1,2,1,0,0,3,1,6,9,6,4,5,3,1,2,0,0,0,0,5,4,9,4,5,1,3,4,3,6,7,1,7,6,0,2,2,0,2,2,0,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-11T15:38:25.082Z"}},{"type":"Public","name":"musllibc","owner":"seL4","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":3,"starsCount":22,"forksCount":45,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-06T01:58:52.193Z"}},{"type":"Public","name":"seL4-CAmkES-L4v-dockerfiles","owner":"seL4","isFork":false,"description":"Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.","allTopics":["docker","sel4","l4v","camkes"],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":1,"issueCount":7,"starsCount":12,"forksCount":39,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-22T05:53:40.571Z"}},{"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":[0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,1,0,0,0,4,0,0,0,8,8,1,17,7,8,7,0,4,0,2,2,0,2,1,0,1,0,0,1,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T23:38:46.696Z"}},{"type":"Public","name":"whitepaper","owner":"seL4","isFork":false,"description":"Source for the seL4 white paper","allTopics":["os","microkernel","sel4-microkernel","sel4"],"primaryLanguage":{"name":"Perl","color":"#0298c3"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,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,2,0,0,0,0,0,1,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-07T13:27:48.791Z"}},{"type":"Public","name":"machine_queue","owner":"seL4","isFork":false,"description":"Machine Queue scripts for remote access to our CI system","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":1,"issueCount":1,"starsCount":2,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-07T04:50:37.191Z"}},{"type":"Public","name":"rust-microkit-http-server-demo","owner":"seL4","isFork":false,"description":"Demonstrates the use of the seL4 crates with the seL4 Microkit","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":2,"starsCount":2,"forksCount":2,"license":null,"participation":[0,0,0,6,3,0,6,0,1,0,10,2,1,6,0,0,0,0,0,11,0,0,0,1,0,0,0,0,0,0,0,0,0,3,0,0,0,0,0,0,0,0,0,0,2,0,1,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-02T08:53:41.973Z"}},{"type":"Public","name":"rust-microkit-demo","owner":"seL4","isFork":false,"description":"Demonstrates the use of the seL4 crates with the seL4 Microkit","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":1,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-02T08:23:27.885Z"}},{"type":"Public","name":"rust-root-task-demo","owner":"seL4","isFork":false,"description":"Demonstrates the use of the seL4 crates to construct a simple system","allTopics":[],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":[0,0,0,4,3,0,0,0,0,0,0,2,2,3,0,0,0,0,0,0,6,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,2,0,1,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-02T07:11:47.528Z"}},{"type":"Public","name":"seL4_projects_libs","owner":"seL4","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":18,"issueCount":10,"starsCount":18,"forksCount":36,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-18T18:43:05.446Z"}}],"repositoryCount":61,"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"}