Alternatives and similar repositories for wrmos

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

• remysaissy / examour-exokernel
  Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.
  ☆22Updated 9 years ago
• jimix / k42
  K42 Kernel
  ☆31Updated 13 years ago
• seL4 / musllibc
  ☆27Updated this week
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• smarr / SOM
  SOM - Simple Object Machine
  ☆24Updated 2 months ago
• cjlano / tinysh
  tinysh: minimal shell
  ☆30Updated 13 years ago
• coreutils / oss-fuzz
  OSS-Fuzz - continuous fuzzing of open source software
  ☆10Updated 8 years ago
• jserv / codezero
  Codezero Microkernel
  ☆111Updated 3 years ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆19Updated 3 months ago
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆18Updated 7 years ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• 8l / tccboot
  TCCBOOT: TinyCC Boot Loader
  ☆13Updated 11 years ago
• mirror / xserver
  Xserver mirror
  ☆51Updated last year
• maandree / libparser
  Context-free grammar parsing library
  ☆10Updated last year
• OpenProgger / LISP
  Minimal LISP Compiler for x86_64
  ☆13Updated 3 years ago
• lahwaacz / tinyterm
  ☆18Updated 10 years ago
• Stichting-MINIX-Research-Foundation / netbsd
  NetBSD reference version for MINIX - Automatically replicated from gerrit.minix3.org
  ☆17Updated 4 years ago
• sungit / TinyScheme
  mirror of tinyscheme interpreter and extensions
  ☆14Updated 13 years ago
• skeeto / wisp
  Wisp, a lisp programming language
  ☆39Updated 7 years ago
• danfis / cu
  C Unit Testing Framework
  ☆25Updated 6 years ago
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆35Updated 4 years ago
• ragkousism / Guix-on-Hurd
  A repo uploading my work on the GSoC Project of porting Guix and GuixSD to Hurd. [Out of date]
  ☆23Updated 8 years ago
• brainflux / klibc
  minimal libc
  ☆22Updated 13 years ago
• aw / picolisp-unit
  Unit Testing framework for PicoLisp
  ☆22Updated 5 years ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 8 years ago
• farlepet / lambda-kern
  Multi-architecture hobby operating system kernel created in C
  ☆16Updated 6 months ago
• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆13Updated 2 months ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆37Updated 10 years ago
• qemu / vgabios
  Mirror of git.qemu.org/vgabios.git
  ☆26Updated 8 years ago
• klange / hobby-os-landscape
  A guide to hobbyist operating systems
  ☆61Updated 6 years ago