Repositories list

• l4v

  Public

  seL4/l4v’s past year of commit activity
  seL4 specification and proofs

  proofisabelleformalisation+ 2

  proofisabelleformalisationsel4-proofssel4-microkernel

  Isabelle

  •

  Other

  •121121 forks•616616 stars•6666 issues•1111 pull requests•Updated Jun 24, 2026Jun 24, 2026

• docs

  Public

  seL4/docs’s past year of commit activity
  This is the source of the seL4 docs.

  documentationsel4

  documentationsel4

  HTML

  •6363 forks•1818 stars•1010 issues•77 pull requests•Updated Jun 24, 2026Jun 24, 2026

• isabelle

  Public

  seL4/isabelle’s past year of commit activity
  git mirror of the Munich isabelle hg repository

  Isabelle

  •

  Other

  •4343 forks•138138 stars•00 issues•00 pull requests•Updated Jun 24, 2026Jun 24, 2026

• seL4

  Public

  seL4/seL4’s past year of commit activity
  The seL4 microkernel

  osmicrokernelsel4+ 1

  osmicrokernelsel4sel4-microkernel

  C

  •

  Other

  •777777 forks•5.6k5.6k stars•155155 issues•6666 pull requests•Updated Jun 24, 2026Jun 24, 2026

• verification-manifest

  Public

  seL4/verification-manifest’s past year of commit activity
  Manifests for the collection of verification repositories

  1717 forks•1717 stars•00 issues•00 pull requests•Updated Jun 24, 2026Jun 24, 2026

• ci-actions

  Public

  seL4/ci-actions’s past year of commit activity
  CI GitHub actions for the seL4 repositories

  continuous-integrationcisel4+ 1

  continuous-integrationcisel4ci-actions

  Python

  •1818 forks•33 stars•1717 issues•44 pull requests•Updated Jun 23, 2026Jun 23, 2026

• website

  Public

  seL4/website’s past year of commit activity
  The seL4.systems website

  proofverificationmicrokernel+ 1

  proofverificationmicrokernelsel4

  HTML

  •1515 forks•33 stars•55 issues•66 pull requests•Updated Jun 23, 2026Jun 23, 2026

• sel4bench-results

  Public

  seL4/sel4bench-results’s past year of commit activity
  Historical sel4bench data

  00 forks•00 stars•00 issues•00 pull requests•Updated Jun 23, 2026Jun 23, 2026

• sel4bench-manifest

  Public

  seL4/sel4bench-manifest’s past year of commit activity
  Manifest of the seL4bench project, which contains microbenchmarks for seL4.

  1212 forks•77 stars•11 issue•22 pull requests•Updated Jun 23, 2026Jun 23, 2026

• camkes-manifest

  Public

  seL4/camkes-manifest’s past year of commit activity
  Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting componen…

  camkes

  camkes

  2323 forks•2525 stars•22 issues•00 pull requests•Updated Jun 23, 2026Jun 23, 2026

• sel4test-manifest

  Public

  seL4/sel4test-manifest’s past year of commit activity
  Project to build and test seL4 for many different platforms

  4646 forks•1717 stars•22 issues•00 pull requests•Updated Jun 23, 2026Jun 23, 2026

• camkes-vm-examples-manifest

  Public

  seL4/camkes-vm-examples-manifest’s past year of commit activity
  camkes

  camkes

  1818 forks•77 stars•00 issues•00 pull requests•Updated Jun 23, 2026Jun 23, 2026

• sel4webserver-manifest

  Public

  seL4/sel4webserver-manifest’s past year of commit activity
  22 forks•22 stars•11 issue•00 pull requests•Updated Jun 23, 2026Jun 23, 2026

• sel4-tutorials-manifest

  Public

  seL4/sel4-tutorials-manifest’s past year of commit activity
  Other

  •1919 forks•77 stars•11 issue•00 pull requests•Updated Jun 23, 2026Jun 23, 2026

• microkit-manifest

  Public

  seL4/microkit-manifest’s past year of commit activity
  Configuration management for the seL4 microkit

  00 forks•00 stars•00 issues•00 pull requests•Updated Jun 22, 2026Jun 22, 2026

• microkit

  Public

  seL4/microkit’s past year of commit activity
  Microkit - A simple operating system framework for the seL4 microkernel

  Rust

  •

  Other

  •7474 forks•190190 stars•4343 issues•1515 pull requests•Updated Jun 22, 2026Jun 22, 2026

• website_pr_hosting

  Public

  seL4/website_pr_hosting’s past year of commit activity
  This repo stores the generated website files from PRs on https://github.com/seL4/website

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 21, 2026Jun 21, 2026

• sel4bench

  Public

  seL4/sel4bench’s past year of commit activity
  sel4 benchmarking applications and support library.

  C

  •

  Other

  •3838 forks•2222 stars•33 issues•22 pull requests•Updated Jun 18, 2026Jun 18, 2026

• rust-sel4

  Public

  seL4/rust-sel4’s past year of commit activity
  Rust support for seL4 userspace

  Rust

  •3838 forks•202202 stars•4242 issues•1616 pull requests•Updated Jun 17, 2026Jun 17, 2026

• camkes-vm-examples

  Public

  seL4/camkes-vm-examples’s past year of commit activity
  camkes

  camkes

  C

  •

  Other

  •3434 forks•1818 stars•66 issues•99 pull requests•Updated Jun 11, 2026Jun 11, 2026

• projects_libs

  Public

  seL4/projects_libs’s past year of commit activity
  C++

  •

  Other

  •2323 forks•66 stars•22 issues•11 pull request•Updated Jun 11, 2026Jun 11, 2026

• global-components

  Public

  seL4/global-components’s past year of commit activity
  C

  •

  Other

  •3535 forks•44 stars•77 issues•44 pull requests•Updated Jun 11, 2026Jun 11, 2026

• camkes-tool

  Public

  seL4/camkes-tool’s past year of commit activity
  The main CAmkES tool

  camkes

  camkes

  Python

  •7474 forks•2727 stars•1616 issues•44 pull requests•Updated Jun 10, 2026Jun 10, 2026

• sel4test

  Public

  seL4/sel4test’s past year of commit activity
  Test suite for seL4.

  C

  •

  Other

  •7272 forks•3131 stars•1313 issues•1111 pull requests•Updated Jun 3, 2026Jun 3, 2026

• sel4-tutorials

  Public

  seL4/sel4-tutorials’s past year of commit activity
  Tutorials for working with seL4 and/or CAmkES.

  Python

  •5757 forks•5959 stars•1212 issues•44 pull requests•Updated Jun 1, 2026Jun 1, 2026

• capdl

  Public

  seL4/capdl’s past year of commit activity
  Capability Distribution Language tools for seL4

  capdl

  capdl

  Haskell

  •5050 forks•4040 stars•55 issues•99 pull requests•Updated May 28, 2026May 28, 2026

• camkes-vm

  Public

  seL4/camkes-vm’s past year of commit activity
  Virtual Machine built as a CAmkES component.

  camkes

  camkes

  C

  •

  Other

  •4343 forks•2525 stars•66 issues•1515 pull requests•Updated May 28, 2026May 28, 2026

• seL4_tools

  Public

  seL4/seL4_tools’s past year of commit activity
  Basic tools for building seL4 projects

  sel4

  sel4

  C

  •

  Other

  •105105 forks•5555 stars•1515 issues•1414 pull requests•Updated May 28, 2026May 28, 2026

• rfcs

  Public

  seL4/rfcs’s past year of commit activity
  RFCs for the seL4 ecosystem

  sel4

  sel4

  Python

  •

  Other

  •77 forks•00 stars•22 issues•77 pull requests•Updated May 28, 2026May 28, 2026

• sel4webserver

  Public

  seL4/sel4webserver’s past year of commit activity
  An seL4 reference webserver application

  CMake

  •

  Other

  •77 forks•1111 stars•33 issues•22 pull requests•Updated May 28, 2026May 28, 2026