Alternatives and similar repositories for wrmos

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

• seL4 / musllibc
  ☆29Updated 3 months ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆19Updated last month
• jimix / k42
  K42 Kernel
  ☆32Updated 13 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 12 years ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• remysaissy / examour-exokernel
  Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.
  ☆22Updated 10 years ago
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆18Updated 7 years ago
• drh / iburg
  A Tree Parser Generator
  ☆103Updated last year
• jserv / codezero
  Codezero Microkernel
  ☆111Updated last week
• smarr / SOM
  SOM - Simple Object Machine
  ☆24Updated 5 months ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆37Updated 10 years ago
• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆13Updated 5 months ago
• tommythorn / fpgammix
  Partial implementation of Knuth's MMIX processor (FPGA softcore)
  ☆54Updated 9 months ago
• seL4 / docs
  This is the source of the seL4 docs.
  ☆18Updated this week
• qemu / vgabios
  Mirror of git.qemu.org/vgabios.git
  ☆27Updated 8 years ago
• tinycorelinux / corebook
  ☆17Updated 9 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 10 months ago
• maandree / libparser
  Context-free grammar parsing library
  ☆10Updated last year
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆51Updated 2 weeks ago
• seL4 / refos-manifest
  Reference Operating system based on seL4 --- example code
  ☆22Updated 10 months ago
• drh / cdb
  A Machine-Independent Debugger
  ☆35Updated last year
• OpenProgger / LISP
  Minimal LISP Compiler for x86_64
  ☆15Updated 3 years ago
• dmedinag / C-to-Forth-compiler
  Few people use Forth. But this might be useful if you want to!
  ☆37Updated 6 years ago
• Distrotech / memtest86
  http://www.memtest.org
  ☆56Updated 10 years ago
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆35Updated 4 years ago
• skeeto / wisp
  Wisp, a lisp programming language
  ☆40Updated 8 years ago
• skeeto / carpet-fractal-genetics
  Carpet fractal genetic algorithm
  ☆13Updated 8 years ago
• xiangzhai / dragonegg
  DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3
  ☆20Updated 6 years ago
• grandseiken / byacc
  Berkeley YACC (git mirror)
  ☆15Updated 10 years ago
• Fabien-Chouteau / eagle-lander
  Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
  ☆32Updated 5 years ago