{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"sel4test","owner":"seL4","isFork":false,"description":"Test suite for seL4.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":9,"issueCount":16,"starsCount":24,"forksCount":59,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T16:46:00.949Z"}},{"type":"Public","name":"docs","owner":"seL4","isFork":false,"description":"This is the source of the seL4 docs.","topicNames":["documentation","sel4"],"topicsNotShown":0,"allTopics":["documentation","sel4"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":4,"issueCount":11,"starsCount":16,"forksCount":51,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-22T03:15:41.907Z"}},{"type":"Public","name":"seL4","owner":"seL4","isFork":false,"description":"The seL4 microkernel","topicNames":["os","microkernel","sel4","sel4-microkernel"],"topicsNotShown":0,"allTopics":["os","microkernel","sel4","sel4-microkernel"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":57,"issueCount":147,"starsCount":4573,"forksCount":641,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T15:41:19.688Z"}},{"type":"Public","name":"rumprun-sel4-demoapps","owner":"seL4","isFork":false,"description":"Apps for running with the rumprun unikernel on seL4.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":6,"starsCount":28,"forksCount":9,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T23:51:18.870Z"}},{"type":"Public","name":"util_libs","owner":"seL4","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":11,"issueCount":18,"starsCount":51,"forksCount":81,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T10:52:26.668Z"}},{"type":"Public","name":"seL4_tools","owner":"seL4","isFork":false,"description":"Basic tools for building seL4 projects","topicNames":["sel4"],"topicsNotShown":0,"allTopics":["sel4"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":25,"issueCount":11,"starsCount":41,"forksCount":87,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-15T06:08:55.746Z"}},{"type":"Public","name":"seL4_libs","owner":"seL4","isFork":false,"description":"No-assurance libraries for rapid-prototyping of seL4 apps. ","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":9,"issueCount":9,"starsCount":51,"forksCount":63,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-15T08:09:10.838Z"}},{"type":"Public","name":"sel4bench","owner":"seL4","isFork":false,"description":"sel4 benchmarking applications and support library.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":4,"issueCount":9,"starsCount":18,"forksCount":30,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-18T12:45:02.021Z"}},{"type":"Public","name":"camkes-vm-examples","owner":"seL4","isFork":false,"description":"","topicNames":["camkes"],"topicsNotShown":0,"allTopics":["camkes"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":6,"issueCount":2,"starsCount":13,"forksCount":27,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-17T18:50:16.751Z"}},{"type":"Public","name":"seL4_projects_libs","owner":"seL4","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"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"}},{"type":"Public","name":"camkes-vm","owner":"seL4","isFork":false,"description":"Virtual Machine built as a CAmkES component.","topicNames":["camkes"],"topicsNotShown":0,"allTopics":["camkes"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":12,"issueCount":4,"starsCount":20,"forksCount":34,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-01T15:27:56.296Z"}},{"type":"Public","name":"sel4runtime","owner":"seL4","isFork":false,"description":"A minimal runtime for seL4 applications. ","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":3,"starsCount":11,"forksCount":29,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-15T04:39:00.898Z"}},{"type":"Public","name":"musllibc","owner":"seL4","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":3,"starsCount":22,"forksCount":44,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-12T20:34:40.486Z"}},{"type":"Public","name":"picotcp","owner":"seL4","isFork":true,"description":"PicoTCP is a free TCP/IP stack implementation","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":212,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-07T04:59:38.227Z"}},{"type":"Public","name":"global-components","owner":"seL4","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":3,"issueCount":7,"starsCount":4,"forksCount":29,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-27T11:42:16.228Z"}},{"type":"Public","name":"camkes","owner":"seL4","isFork":false,"description":"Component Architecture test suite and example apps.","topicNames":["camkes"],"topicsNotShown":0,"allTopics":["camkes"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":3,"issueCount":4,"starsCount":28,"forksCount":36,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-26T07:41:47.885Z"}},{"type":"Public","name":"rumprun","owner":"seL4","isFork":true,"description":"The Rumprun unikernel and toolchain for various platforms","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":2,"starsCount":9,"forksCount":128,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-02T01:49:27.665Z"}},{"type":"Public","name":"refos","owner":"seL4","isFork":false,"description":"Prototype no-assurance reference OS personality built on seL4","topicNames":[],"topicsNotShown":0,"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","topicNames":[],"topicsNotShown":0,"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","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":301,"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","topicNames":[],"topicsNotShown":0,"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.","topicNames":[],"topicsNotShown":0,"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":"","topicNames":[],"topicsNotShown":0,"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.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":20,"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":"Repositories"}