Alternatives and similar repositories for nofs

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

• HobbesOSR / kitten
  Kitten Lightweight Kernel
  ☆55Updated 2 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆54Updated 5 years ago
• akaros / akaros
  The Akaros operating system
  ☆43Updated 5 years ago
• vkrasnov / avx_qsort
  Quick sort code using AVX2 instructions
  ☆69Updated 8 years ago
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆33Updated 5 years ago
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆16Updated last month
• wt / coreboot
  My coreboot work
  ☆23Updated 15 years ago
• mmastrac / bootstrap
  Bootstrapping VM for bare metal to trusted C compilation
  ☆50Updated last year
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• lovasko / libctf
  BSD-licensed CTF Implementation
  ☆21Updated 10 years ago
• NobodyXu / aspawn
  Asynchronous and more versatile replacement of posix_spawn
  ☆23Updated 4 years ago
• mhsys / mh
  MH: a microkernel for fun and experimenting!
  ☆31Updated 7 years ago
• robn / quiz
  Fast edit-compile-test cycles for Linux+OpenZFS development
  ☆30Updated 2 weeks ago
• capros-os / capros
  CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…
  ☆75Updated 3 years ago
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆66Updated 6 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆42Updated 3 years ago
• catern / sfork
  A synchronous, single-threaded interface for starting processes on Linux
  ☆34Updated 4 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆53Updated 7 years ago
• justincormack / frankenlibc
  Tools for running rump unikernels in userspace
  ☆56Updated 10 years ago
• NuxiNL / arpc
  GRPC-like RPC library that supports file descriptor passing by using Argdata
  ☆19Updated 6 years ago
• ssrg-vt / hermitux-kernel
  ☆36Updated 2 years ago
• ericvh / 9p-rfc
  RFC and standards documents relating the 9P protocol (and its extensions and applications)
  ☆83Updated 3 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆107Updated last year
• virtualsquare / vuos
  view based o.s.
  ☆46Updated last month
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• NuxiNL / flower
  Label-based networking daemon
  ☆23Updated 6 years ago
• facebookarchive / Rseq
  Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations
  ☆38Updated 6 years ago
• oriansj / mescc-tools
  Bootstrapping tools for Janneke's MES
  ☆36Updated 2 months ago
• jimix / k42
  K42 Kernel
  ☆31Updated 13 years ago
• nokia / awkcc
  ☆82Updated 3 years ago