Alternatives and similar repositories for seL4

Users that are interested in seL4 are comparing it to the libraries listed below

• genodelabs / genode
  Genode OS Framework
  ☆1,131Updated this week
• littlekernel / lk
  LK embedded kernel
  ☆3,382Updated this week
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆1,998Updated last month
• seL4 / l4v
  seL4 specification and proofs
  ☆552Updated this week
• checkedc / checkedc
  Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let peopl…
  ☆3,238Updated 9 months ago
• tock / tock
  A secure embedded operating system for microcontrollers
  ☆5,889Updated last week
• Harvey-OS / harvey
  A distributed operating system
  ☆1,450Updated 2 years ago
• includeos / IncludeOS
  A minimal, resource efficient unikernel for cloud services
  ☆5,142Updated 7 months ago
• siemens / jailhouse
  Linux-based partitioning hypervisor
  ☆1,834Updated last year
• theseus-os / Theseus
  Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…
  ☆3,028Updated 9 months ago
• redox-os / redox
  Mirror of https://gitlab.redox-os.org/redox-os/redox
  ☆15,504Updated this week
• google / souper
  A superoptimizer for LLVM IR
  ☆2,262Updated 10 months ago
• Stichting-MINIX-Research-Foundation / minix
  Official MINIX sources - Automatically replicated from gerrit.minix3.org
  ☆3,226Updated last year
• cloudius-systems / osv
  OSv, a new operating system for the cloud.
  ☆4,184Updated this week
• klange / toaruos
  A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical …
  ☆6,435Updated 2 months ago
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,479Updated 3 weeks ago
• oreboot / oreboot
  oreboot is a fork of coreboot, with C removed, written in Rust.
  ☆1,705Updated last month
• cksystemsteaching / selfie
  An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V…
  ☆2,444Updated last week
• rr-debugger / rr
  Record and Replay Framework
  ☆9,923Updated this week
• minoca / os
  Minoca operating system
  ☆2,749Updated 3 years ago
• klee / klee
  KLEE Symbolic Execution Engine
  ☆2,799Updated this week
• managarm / managarm
  Pragmatic microkernel-based OS with fully asynchronous I/O
  ☆1,697Updated last week
• mirage / mirage
  MirageOS is a library operating system that constructs unikernels
  ☆2,701Updated last month
• rui314 / 8cc
  A Small C Compiler
  ☆6,273Updated last year
• illumos / illumos-gate
  An open-source Unix operating system -- this is a read-only mirror of the official repository at https://code.illumos.org/plugins/gitiles…
  ☆1,742Updated last week
• freebsd / freebsd-src
  The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....
  ☆8,345Updated this week
• redox-os / kernel
  Mirror of https://gitlab.redox-os.org/redox-os/kernel
  ☆734Updated this week
• ivmai / bdwgc
  The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
  ☆3,259Updated 2 weeks ago
• thepowersgang / mrustc
  Alternative rust compiler (re-implementation)
  ☆2,320Updated 2 months ago
• fishinabarrel / linux-kernel-module-rust
  Framework for writing Linux kernel modules in safe Rust
  ☆1,337Updated 4 years ago