Alternatives and similar repositories for wrmos

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

• seL4 / musllibc
  ☆29Updated 2 months ago
• jimix / k42
  K42 Kernel
  ☆31Updated 13 years ago
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆18Updated 7 years ago
• remysaissy / examour-exokernel
  Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.
  ☆22Updated 10 years ago
• smarr / SOM
  SOM - Simple Object Machine
  ☆24Updated 5 months ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆19Updated last month
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• AlmuHS / GNUMach_SMP
  SMP implementation in GNU Mach
  ☆29Updated last year
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 12 years ago
• jbush001 / LispMicrocontroller
  An FPGA microcontroller that natively executes LISP
  ☆95Updated 2 years ago
• oriansj / mes-m2
  Making Mes.c M2-Planet friendly
  ☆30Updated 3 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆50Updated last week
• lisper / cpus-cadr
  MIT CADR original verilog and simulator
  ☆17Updated 10 years ago
• OpenProgger / LISP
  Minimal LISP Compiler for x86_64
  ☆15Updated 3 years ago
• stokito / fortress-lang
  ☆59Updated 9 years ago
• CTSRD-CHERI / beri
  The BERI and CHERI processor and hardware platform
  ☆50Updated 8 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 4 years ago
• leithaus / Rosette
  Reflective actor-based language
  ☆28Updated 9 years ago
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆34Updated 3 years ago
• riscvarchive / riscv-fesvr
  RISC-V Frontend Server
  ☆64Updated 6 years ago
• atgreen / ggx
  How To Retarget the GNU Toolchain in 21 Patches
  ☆84Updated 11 years ago
• jserv / codezero
  Codezero Microkernel
  ☆111Updated 4 years ago
• tommythorn / fpgammix
  Partial implementation of Knuth's MMIX processor (FPGA softcore)
  ☆54Updated 9 months ago
• melvinzhang / bit-scheme
  BIT: A Very Compact Scheme System for Microcontrollers
  ☆44Updated 9 years ago
• drh / iburg
  A Tree Parser Generator
  ☆103Updated last year
• samueltardieu / aforth
  Embeddable Forth interpreter written in Ada
  ☆28Updated 10 years ago
• skeeto / wisp
  Wisp, a lisp programming language
  ☆40Updated 8 years ago
• aw / picolisp-unit
  Unit Testing framework for PicoLisp
  ☆22Updated 5 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆28Updated 5 months ago
• seL4 / docs
  This is the source of the seL4 docs.
  ☆18Updated this week