Alternatives and similar repositories for examour-exokernel

Users that are interested in examour-exokernel are comparing it to the libraries listed below

• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• jimix / k42
  K42 Kernel
  ☆32Updated 13 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆51Updated 2 weeks ago
• AlmuHS / GNUMach_SMP
  SMP implementation in GNU Mach
  ☆29Updated last year
• metta-systems / metta
  Metta OS
  ☆73Updated last year
• ReturnInfinity / BMFS
  Utility for accessing a disk formatted with BMFS
  ☆52Updated 8 months ago
• Lucretia / bare_bones
  Ada Bare Bones OS development tutorial source code
  ☆90Updated 9 years ago
• kragen / tokthr
  tiny token-threaded bytecode interpreter in x86 assembly
  ☆44Updated 16 years ago
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆18Updated 7 years ago
• Ravenports / ravensource
  The sources to compile Ravenports buildsheets
  ☆21Updated this week
• andrewchambers / qc
  quick c
  ☆35Updated 3 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 7 years ago
• somian / Path64
  Fully open source PathScale successor to Open64. Path64 is the community support version of PathScale compiler meant to encourage collabo…
  ☆23Updated 15 years ago
• narke / Einherjar
  colorForth computing environment for amd64 and PowerPC Macs.
  ☆23Updated 5 years ago
• mutaphore / JOS-Exokernel
  Implementation of the core of an exokernel-style operating system
  ☆10Updated 11 years ago
• 8l / ff
  A Simple Forth System for Linux on i386 and ARM CPUs
  ☆41Updated 10 years ago
• richardbraun / x15
  Real-time multiprocessor microkernel
  ☆39Updated 6 years ago
• lisper / cpus-cadr
  MIT CADR original verilog and simulator
  ☆17Updated 10 years ago
• jdinunzio / forthos
  x386 OS developed in Forth
  ☆60Updated 16 years ago
• OpenProgger / LISP
  Minimal LISP Compiler for x86_64
  ☆15Updated 3 years ago
• drh / iburg
  A Tree Parser Generator
  ☆103Updated last year
• Fabien-Chouteau / eagle-lander
  Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
  ☆32Updated 5 years ago
• drh / cdb
  A Machine-Independent Debugger
  ☆35Updated last year
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆21Updated 10 years ago
• tatimmer / tatOS
  tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse
  ☆32Updated 9 years ago
• larsbrinkhoff / forth-compiler
  Native inlining constant folding register allocating Forth compiler
  ☆19Updated 10 years ago
• ephsec / llvm-forth
  LLVM Forth Experiments
  ☆26Updated 10 years ago
• tomekw / simple_blockchain
  Simple blockchain in Ada
  ☆21Updated 5 months ago
• anse1 / firmforth
  A just-in-time-compiling forth system using libfirm.
  ☆57Updated 8 years ago
• KnightOS / kcc
  KnightOS C compiler
  ☆25Updated 5 years ago