{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"capdl","owner":"seL4","isFork":false,"description":"Capability Distribution Language tools for seL4","allTopics":["capdl"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":5,"issueCount":4,"starsCount":34,"forksCount":46,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T10:42:05.148Z"}},{"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":8,"issueCount":25,"starsCount":71,"forksCount":37,"license":"Other","participation":[0,0,0,1,1,0,0,0,16,1,4,0,3,0,1,0,0,0,2,0,0,0,0,0,0,1,11,1,10,0,8,2,6,1,0,1,4,0,0,0,2,4,0,2,9,2,2,5,15,12,12,4],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T10:34:53.632Z"}},{"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":10,"issueCount":48,"starsCount":494,"forksCount":104,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T10:02:38.825Z"}},{"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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T07:58:08.740Z"}},{"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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T07:56:14.605Z"}},{"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":[1,1,0,2,5,3,5,2,3,0,0,0,3,2,6,8,7,4,3,4,2,1,0,0,0,0,6,5,10,4,7,2,2,3,4,6,5,0,7,2,0,2,2,0,2,2,0,5,10,7,18,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T07:27:24.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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T06:46:29.659Z"}},{"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":[1,1,0,3,6,3,5,2,3,1,0,1,1,2,7,16,10,4,3,3,2,2,0,1,1,0,8,11,14,8,7,2,3,3,5,6,5,0,7,3,0,2,2,0,2,3,0,5,12,7,22,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T06:44:01.695Z"}},{"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":52,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T06:06:23.018Z"}},{"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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T05:38:51.344Z"}},{"type":"Public","name":"website","owner":"seL4","isFork":false,"description":"The seL4.systems website","allTopics":["proof","verification","microkernel","sel4"],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":4,"issueCount":12,"starsCount":3,"forksCount":14,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T05:37:35.963Z"}},{"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":"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":5,"starsCount":12,"forksCount":39,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T05:16:19.829Z"}},{"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":"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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T03:54:41.391Z"}},{"type":"Public","name":"seL4","owner":"seL4","isFork":false,"description":"The seL4 microkernel","allTopics":["os","microkernel","sel4","sel4-microkernel"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":51,"issueCount":142,"starsCount":4609,"forksCount":648,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T00:53:42.463Z"}},{"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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T00:40:52.082Z"}},{"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-11T00:12:31.870Z"}},{"type":"Public","name":"rust-sel4","owner":"seL4","isFork":false,"description":"Rust support for seL4 userspace","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":2,"issueCount":5,"starsCount":95,"forksCount":11,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-10T09:06:50.826Z"}},{"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-10T06:06:36.430Z"}},{"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":0,"issueCount":1,"starsCount":2,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-10T02:00:49.504Z"}},{"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":41,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-09T02:59:06.483Z"}},{"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-05T04:06:45.193Z"}},{"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":"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-07-02T07:33:57.054Z"}},{"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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T03:01:54.834Z"}},{"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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T01:39:40.898Z"}},{"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":"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":"cakeml_libs","owner":"seL4","isFork":false,"description":"A collection of libraries and utilities to be used with CakeML applications.","allTopics":[],"primaryLanguage":{"name":"Standard ML","color":"#dc566d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T01:38:47.487Z"}}],"repositoryCount":62,"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"}