Alternatives and similar repositories for refos-manifest

Users that are interested in refos-manifest are comparing it to the libraries listed below

• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 5 months ago
• troglobit / toolbox
  Troglobit Toolbox -- Misc. home brewed code, free to use under GPL/MIT/ISC, see each snippet for license.
  ☆10Updated 3 months ago
• seL4 / docs
  This is the source of the seL4 docs.
  ☆15Updated this week
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆49Updated 3 weeks ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated last week
• lovasko / libctf
  BSD-licensed CTF Implementation
  ☆19Updated 10 years ago
• joewalnes / verifysignature
  Sample of standalone portable C to verify Ed25519 public-key signature
  ☆20Updated 8 years ago
• 0mp / n0tes
  N0tes to the rescue!
  ☆11Updated 6 years ago
• kernkonzept / uvmm
  Virtual machine monitor for L4Re
  ☆32Updated 3 weeks ago
• Ravenports / ravensource
  The sources to compile Ravenports buildsheets
  ☆19Updated last week
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆21Updated last year
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆19Updated 3 weeks ago
• cjlano / tinysh
  tinysh: minimal shell
  ☆30Updated 13 years ago
• lunatik-ng / lunatik-ng
  Linux Kernel Lua Scripting Engine
  ☆63Updated 9 years ago
• jimix / k42
  K42 Kernel
  ☆29Updated 13 years ago
• DragonFlyBSD / DeltaPorts
  FreeBSD Ports Collection + DeltaPorts = DragonFly Ports (a.k.a. DPorts)
  ☆30Updated last week
• void-linux / musl-obstack
  A standalone library to implement GNU libc's obstack
  ☆27Updated last year
• troglobit / pev
  Portable Event Library
  ☆17Updated 4 months ago
• abrt / libreport
  Generic library for reporting various problems
  ☆31Updated this week
• mickael-guene / umeq
  Umeq is an equivalent of qemu user mode emulation with improved robustness
  ☆22Updated 6 years ago
• jserv / codezero
  Codezero Microkernel
  ☆111Updated 3 years ago
• jsonn / pkgsrc
  [Please switch to NetBSD/pkgsrc] Automatically updated conversion of the "pkgsrc" module from anoncvs.netbsd.org
  ☆121Updated 8 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 6 years ago
• frantony / barebox
  ☆33Updated last year
• intel / KVMGT-seabios
  ☆19Updated 3 years ago
• tinycorelinux / corebook
  ☆16Updated 8 years ago
• blucia0a / CTraps-gcc
  Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis
  ☆13Updated 10 years ago
• elftoolchain / elftoolchain
  The ELF Tool Chain Project (mirror of SourceForge.Net). Please do not create pull requests here on Github, Please use SourceForge's tick…
  ☆71Updated 2 years ago
• seL4 / musllibc
  ☆27Updated 3 weeks ago