Alternatives and similar repositories for refos-manifest:

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

• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆46Updated this week
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆49Updated 2 weeks ago
• anatol / menuconfig
  Out-of-tree version of Linux' kconfig tool
  ☆15Updated 9 months ago
• seL4 / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆10Updated 9 months ago
• c-util / c-stdaux
  Auxiliary macros and functions for the C standard library
  ☆12Updated 8 months ago
• tinycorelinux / corebook
  ☆15Updated 8 years ago
• namhyung / global
  Modified version of GNU global for Linux kernel
  ☆15Updated 12 years ago
• jimix / k42
  K42 Kernel
  ☆26Updated 12 years ago
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆34Updated 3 years ago
• sergey-worm / wrmos
  RTOS based on L4 microkernel.
  ☆16Updated 6 years ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆20Updated 2 weeks ago
• sabotage-linux / musl-cross
  A small suite of scripts and patches for building musl libc cross compilers.
  ☆35Updated 9 years ago
• OGAWAHirofumi / tux3
  tux3 file system
  ☆75Updated 10 years ago
• envytools / valgrind
  valgrind fork with mmap tracing support
  ☆23Updated 4 years ago
• jcnelson / libpstat
  Library for getting information about running processes
  ☆11Updated 9 years ago
• skeeto / pwcheck
  Database lookup for "Have I Been Pwned"
  ☆8Updated 6 years ago
• BabbleSim / base
  BabbleSim base/common components. Any BabbleSim user will want some of these.
  ☆14Updated last month
• a3f / libvas
  Peek/Poke like it's 1979 - Multi-Platform memory reading/writing
  ☆12Updated 6 years ago
• 0mp / n0tes
  N0tes to the rescue!
  ☆11Updated 6 years ago
• frantony / barebox
  ☆31Updated 9 months ago
• lttng / lttng-ci
  The LTTng CI infrastructure configuration
  ☆12Updated last week
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 6 years ago
• solson / oos
  ooc operating system
  ☆41Updated 3 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆46Updated this week
• qca / qcamain_open_hal_public
  QCA 10.x mainline reference HAL - AR9380 and later series 802.11n NICs
  ☆22Updated 9 years ago
• hardenedlinux / chiba
  The framework for next generation data center.
  ☆16Updated 2 months ago
• rminnich / NxM
  NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu
  ☆45Updated 11 months ago
• mickael-guene / umeq
  Umeq is an equivalent of qemu user mode emulation with improved robustness
  ☆22Updated 6 years ago
• Wind-River / wr-lx-setup
  Wind River Linux Setup -- Distribution Build Project Assembler
  ☆12Updated 5 years ago