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 last month
• troglobit / toolbox
  Misc. home brewed code, free to use under GPL/MIT/ISC, see each snippet for license.
  ☆10Updated last year
• anatol / menuconfig
  Out-of-tree version of Linux' kconfig tool
  ☆17Updated 10 months ago
• michaelforney / x509cert
  Tool and library for generating X.509 certificates and certificate requests (mirror)
  ☆16Updated 3 years ago
• c-util / c-stdaux
  Auxiliary macros and functions for the C standard library
  ☆12Updated 9 months ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆46Updated 2 weeks ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆46Updated 2 weeks ago
• sergey-worm / wrmos
  RTOS based on L4 microkernel.
  ☆16Updated 6 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• seL4 / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆10Updated 9 months ago
• jcnelson / libpstat
  Library for getting information about running processes
  ☆11Updated 9 years ago
• skarnet / utmps
  A secure utmp/wtmp implementation
  ☆18Updated last month
• abandonware / uselessd
  ☆12Updated 6 years ago
• 0mp / n0tes
  N0tes to the rescue!
  ☆11Updated 6 years ago
• DragonFlyBSD / DeltaPorts
  FreeBSD Ports Collection + DeltaPorts = DragonFly Ports (a.k.a. DPorts)
  ☆29Updated 2 weeks ago
• ahkok / bootchart
  An efficient and feature-rich system boot graphing tool implementation in pure C.
  ☆31Updated 12 years ago
• abrt / libreport
  Generic library for reporting various problems
  ☆31Updated 2 months ago
• void-linux / musl-obstack
  A standalone library to implement GNU libc's obstack
  ☆22Updated last year
• tinycorelinux / corebook
  ☆15Updated 8 years ago
• ibm-research / fusedos
  ☆52Updated 10 years ago
• bruceg / bglibs
  ☆19Updated last year
• vitkyrka / kninja
  Ninja build file generator for the Linux kernel
  ☆55Updated 4 years ago
• troglobit / pev
  Portable Event Library
  ☆17Updated 6 months ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆20Updated last month
• rminnich / NxM
  NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu
  ☆45Updated 11 months ago
• jimix / k42
  K42 Kernel
  ☆27Updated 12 years ago
• seL4 / capdl
  Capability Distribution Language tools for seL4
  ☆35Updated last month
• nhaehnle / less
  The well-known pager, with performance improvements for huge files
  ☆13Updated 10 years ago
• skarnet / bcnm
  A better client network manager. https://skarnet.org/software/bcnm/
  ☆19Updated last month
• lunatik-ng / lunatik-ng
  Linux Kernel Lua Scripting Engine
  ☆64Updated 9 years ago