Alternatives and similar repositories for wrmos

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

• seL4 / musllibc
  ☆28Updated 2 months ago
• remysaissy / examour-exokernel
  Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.
  ☆22Updated 9 years ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆20Updated 2 months ago
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 6 years ago
• jimix / k42
  K42 Kernel
  ☆29Updated 13 years ago
• smarr / SOM
  SOM - Simple Object Machine
  ☆23Updated 2 weeks ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• maandree / libparser
  Context-free grammar parsing library
  ☆10Updated 9 months ago
• drh / iburg
  A Tree Parser Generator
  ☆99Updated 9 months ago
• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆13Updated 2 weeks ago
• rheoli / pcc
  Portable C Compiler
  ☆12Updated 12 years ago
• jserv / codezero
  Codezero Microkernel
  ☆109Updated 3 years ago
• mokafive / grub
  The GRUB 2 bootloader. "upstream" is a mirror of the official bzr repository; "master" and other branches are our development. All branch…
  ☆9Updated 9 years ago
• seL4 / capdl
  Capability Distribution Language tools for seL4
  ☆37Updated 4 months ago
• lahwaacz / tinyterm
  ☆18Updated 10 years ago
• cjlano / tinysh
  tinysh: minimal shell
  ☆30Updated 13 years ago
• Stichting-MINIX-Research-Foundation / gsoc
  Google Summer of Code projects
  ☆13Updated 4 years ago
• amirbawab / EasyCC-CPP
  Easy Compiler Compiler written in C++
  ☆25Updated 7 years ago
• Unidata / ttm
  Provide a reference implementation for the TTM programming language.
  ☆10Updated 10 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 6 years ago
• Distrotech / memtest86
  http://www.memtest.org
  ☆55Updated 9 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 4 months ago
• susam / bfc
  Brainfuck compiler and interpreter
  ☆17Updated 2 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated this week
• rain-1 / tarot-compiler
  ☆18Updated 5 years ago
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆34Updated 4 years ago
• leithaus / Rosette
  Reflective actor-based language
  ☆28Updated 8 years ago
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆19Updated 9 years ago
• kerneis / cpc
  Continuation Passing C
  ☆113Updated 6 years ago