{"payload":{"pageCount":1,"repositories":[{"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":4,"issueCount":11,"starsCount":16,"forksCount":52,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-07T03:15:44.390Z"}},{"type":"Public","name":"seL4","owner":"seL4","isFork":false,"description":"The seL4 microkernel","allTopics":["os","microkernel","sel4","sel4-microkernel"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":44,"issueCount":145,"starsCount":4630,"forksCount":653,"license":"Other","participation":[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,7,4,3,5,4,15,1,5,1,1,0,4,1,3,2,0,3,4,15,20,5,2,2,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-06T00:44:39.767Z"}},{"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":10,"issueCount":9,"starsCount":51,"forksCount":63,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-22T19:59:23.067Z"}},{"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":5,"starsCount":28,"forksCount":9,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-19T09:27:39.870Z"}},{"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":12,"starsCount":41,"forksCount":88,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-15T04:36:56.118Z"}},{"type":"Public","name":"sel4test","owner":"seL4","isFork":false,"description":"Test suite for seL4.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":9,"issueCount":16,"starsCount":24,"forksCount":59,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-26T01:41:36.050Z"}},{"type":"Public","name":"camkes-vm","owner":"seL4","isFork":false,"description":"Virtual Machine built as a CAmkES component.","allTopics":["camkes"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":12,"issueCount":5,"starsCount":21,"forksCount":35,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T01:37:43.296Z"}},{"type":"Public","name":"seL4_projects_libs","owner":"seL4","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":18,"issueCount":10,"starsCount":19,"forksCount":36,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T01:36:47.446Z"}},{"type":"Public","name":"camkes-vm-examples","owner":"seL4","isFork":false,"description":"","allTopics":["camkes"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":6,"issueCount":2,"starsCount":14,"forksCount":27,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T01:36:16.751Z"}},{"type":"Public","name":"util_libs","owner":"seL4","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":12,"issueCount":18,"starsCount":53,"forksCount":83,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T01:33:42.197Z"}},{"type":"Public","name":"sel4bench","owner":"seL4","isFork":false,"description":"sel4 benchmarking applications and support library.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":4,"issueCount":9,"starsCount":18,"forksCount":30,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T01:38:11.021Z"}},{"type":"Public","name":"sel4runtime","owner":"seL4","isFork":false,"description":"A minimal runtime for seL4 applications. ","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":3,"starsCount":11,"forksCount":29,"license":"Other","participation":[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,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T01:39:40.898Z"}},{"type":"Public","name":"musllibc","owner":"seL4","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":3,"starsCount":22,"forksCount":44,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T01:36:27.193Z"}},{"type":"Public","name":"picotcp","owner":"seL4","isFork":true,"description":"PicoTCP is a free TCP/IP stack implementation","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":216,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-07T04:59:38.227Z"}},{"type":"Public","name":"global-components","owner":"seL4","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":4,"issueCount":7,"starsCount":4,"forksCount":30,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T01:39:06.138Z"}},{"type":"Public","name":"camkes","owner":"seL4","isFork":false,"description":"Component Architecture test suite and example apps.","allTopics":["camkes"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":3,"issueCount":4,"starsCount":28,"forksCount":36,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T01:39:31.885Z"}},{"type":"Public","name":"rumprun","owner":"seL4","isFork":true,"description":"The Rumprun unikernel and toolchain for various platforms","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":2,"starsCount":9,"forksCount":128,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T00:32:13.665Z"}},{"type":"Public","name":"refos","owner":"seL4","isFork":false,"description":"Prototype no-assurance reference OS personality built on seL4","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":49,"forksCount":23,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-13T04:32:27.244Z"}},{"type":"Public","name":"pruner","owner":"seL4","isFork":false,"description":"Tool for trimming functions from a C source file","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-27T04:04:45.992Z"}},{"type":"Public","name":"riscv-pk","owner":"seL4","isFork":true,"description":"RISC-V Proxy Kernel","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":305,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-06T05:21:16.949Z"}},{"type":"Public archive","name":"camkes-vm-apps","owner":"seL4","isFork":false,"description":"CAmkES vm apps for all platforms","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-26T03:31:31.767Z"}},{"type":"Public","name":"mcs-examples","owner":"seL4","isFork":false,"description":"Native seL4 and CAmkES examples of mixed criticality mechanisms.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-13T00:34:06.951Z"}},{"type":"Public archive","name":"camkes-arm-vm","owner":"seL4","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":10,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-18T04:35:47.153Z"}},{"type":"Public","name":"picotcp-bsd","owner":"seL4","isFork":true,"description":"BSD POSIX-compliant socket support for PicoTCP running on any OS.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":21,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-17T01:45:58.350Z"}}],"repositoryCount":24,"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"}