Alternatives and similar repositories for nofs

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

• vkrasnov / avx_qsort
  Quick sort code using AVX2 instructions
  ☆69Updated 8 years ago
• mhsys / mh
  MH: a microkernel for fun and experimenting!
  ☆31Updated 7 years ago
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆16Updated 2 weeks ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆53Updated 5 years ago
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆33Updated 5 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• akaros / akaros
  The Akaros operating system
  ☆41Updated 5 years ago
• mmastrac / bootstrap
  Bootstrapping VM for bare metal to trusted C compilation
  ☆47Updated 11 months ago
• facebookarchive / Rseq
  Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations
  ☆38Updated 6 years ago
• virtualsquare / vuos
  view based o.s.
  ☆44Updated this week
• NobodyXu / aspawn
  Asynchronous and more versatile replacement of posix_spawn
  ☆23Updated 4 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆52Updated 7 years ago
• lovasko / libctf
  BSD-licensed CTF Implementation
  ☆21Updated 10 years ago
• wt / coreboot
  My coreboot work
  ☆23Updated 15 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• robn / quiz
  Fast edit-compile-test cycles for Linux+OpenZFS development
  ☆29Updated this week
• asch / buse
  BUSE: Block device in user space
  ☆15Updated 3 years ago
• vignat / vignat
  [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…
  ☆75Updated 3 years ago
• NuxiNL / flower
  Label-based networking daemon
  ☆23Updated 6 years ago
• HobbesOSR / kitten
  Kitten Lightweight Kernel
  ☆56Updated 2 years ago
• jimix / k42
  K42 Kernel
  ☆31Updated 13 years ago
• catern / sfork
  A synchronous, single-threaded interface for starting processes on Linux
  ☆34Updated 4 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆41Updated 2 years ago
• kernelslacker / linux-historic-scripts
  scripts to recreate a git archive of pre-git era kernel snapshots.
  ☆30Updated 10 years ago
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆98Updated 3 years ago
• ericvh / 9p-rfc
  RFC and standards documents relating the 9P protocol (and its extensions and applications)
  ☆83Updated 2 years ago
• dimkr / libwaive
  A library that allows processes to waive their rights
  ☆27Updated 9 years ago
• NuxiNL / arpc
  GRPC-like RPC library that supports file descriptor passing by using Argdata
  ☆19Updated 6 years ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated last year
• rumpkernel / fs-utils
  File System Access Utilities in Userland
  ☆77Updated 9 years ago