Alternatives and similar repositories for seL4:

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

• 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,229Updated 5 months ago
• littlekernel / lk
  LK embedded kernel
  ☆3,310Updated this week
• tock / tock
  A secure embedded operating system for microcontrollers
  ☆5,703Updated this week
• seL4 / l4v
  seL4 specification and proofs
  ☆532Updated this week
• redox-os / redox
  Mirror of https://gitlab.redox-os.org/redox-os/redox
  ☆15,352Updated this week
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆1,951Updated this week
• drh / lcc
  The lcc retargetable ANSI C compiler
  ☆2,085Updated 5 months ago
• immunant / c2rust
  Migrate C code to Rust
  ☆4,160Updated 3 weeks ago
• mirage / mirage
  MirageOS is a library operating system that constructs unikernels
  ☆2,630Updated 2 weeks ago
• sustrik / libmill
  Go-style concurrency in C
  ☆3,033Updated 4 years ago
• klange / toaruos
  A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical …
  ☆6,287Updated this week
• smoltcp-rs / smoltcp
  a smol tcp/ip stack
  ☆3,970Updated 3 weeks ago
• cloudius-systems / osv
  OSv, a new operating system for the cloud.
  ☆4,149Updated 2 weeks ago
• theseus-os / Theseus
  Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…
  ☆2,978Updated 6 months ago
• ivmai / bdwgc
  The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
  ☆3,151Updated this week
• microsoft / mimalloc
  mimalloc is a compact general purpose allocator with excellent performance.
  ☆11,136Updated this week
• orangeduck / Cello
  Higher level programming in C
  ☆6,929Updated 3 months ago
• 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,709Updated this week
• Stichting-MINIX-Research-Foundation / minix
  Official MINIX sources - Automatically replicated from gerrit.minix3.org
  ☆3,150Updated last year
• Solo5 / solo5
  A sandboxed execution environment for unikernels
  ☆928Updated 2 weeks ago
• TinyCC / tinycc
  Unofficial mirror of mob development branch
  ☆2,226Updated this week
• freebsd / freebsd-src
  The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....
  ☆8,170Updated this week
• Rust-for-Linux / linux
  Adding support for the Rust language to the Linux kernel.
  ☆4,119Updated this week
• rumpkernel / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆1,145Updated 4 years ago
• jameysharp / corrode
  C to Rust translator
  ☆2,167Updated 6 years ago
• rui314 / 8cc
  A Small C Compiler
  ☆6,218Updated 10 months ago
• minoca / os
  Minoca operating system
  ☆2,733Updated 3 years ago
• antirez / linenoise
  A small self-contained alternative to readline and libedit
  ☆3,909Updated 7 months ago
• jakogut / tinyvm
  TinyVM is a small, fast, lightweight virtual machine written in pure ANSI C.
  ☆3,242Updated 6 years ago
• thepowersgang / mrustc
  Alternative rust compiler (re-implementation)
  ☆2,265Updated last month