Alternatives and similar repositories for examour-exokernel:

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

• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 6 years ago
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆20Updated 12 years ago
• patrick-lafferty / saturn
  A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.
  ☆23Updated 5 years ago
• narke / Einherjar
  colorForth computing environment for amd64 and PowerPC Macs.
  ☆22Updated 5 years ago
• openmach / mach4
  Mach4 archived source.
  ☆18Updated 11 months ago
• aryx / fork-kencc
  pad's fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/
  ☆32Updated this week
• jimix / k42
  K42 Kernel
  ☆27Updated 12 years ago
• afonsotrepa / LOS-64
  Small LISP-1 OS for x86-64 written in C, asm and Common Lisp
  ☆11Updated 7 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆46Updated this week
• wilkie / djehuty
  Fully verifiable operating system and API written in D in the public domain.
  ☆40Updated 13 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆43Updated 3 years ago
• ReturnInfinity / BMFS
  Utility for accessing a disk formatted with BMFS
  ☆53Updated this week
• drh / cdb
  A Machine-Independent Debugger
  ☆31Updated 7 months ago
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 6 years ago
• KnightOS / kcc
  KnightOS C compiler
  ☆24Updated 4 years ago
• been-jamming / TiBc
  Native B compiler for the Ti89
  ☆12Updated 6 years ago
• AlmuHS / GNUMach_SMP
  SMP implementation in GNU Mach
  ☆26Updated last year
• metta-systems / metta
  Metta OS
  ☆69Updated 5 months ago
• 8l / ff
  A Simple Forth System for Linux on i386 and ARM CPUs
  ☆41Updated 9 years ago
• jmolloy / pedigree
  Pedigree operating system
  ☆90Updated 8 years ago
• Ryanel / Cedille
  A kernel with a purpose - to keep most of the code out of the kernel
  ☆15Updated 5 years ago
• gdboot / gandr
  Gandr is a cross-platform bootloader project, intended to fill in the gap of a utopic bootloader.
  ☆19Updated 9 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆33Updated 9 years ago
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 6 years ago
• oriansj / mes-m2
  Making Mes.c M2-Planet friendly
  ☆30Updated 2 years ago
• jezze / fudge
  A concurrent-focused message-based operating system.
  ☆93Updated last week
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• susam / bfc
  Brainfuck compiler and interpreter
  ☆17Updated last year
• rui314 / legacy-cc
  The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr.
  ☆15Updated 12 years ago
• Harvey-OS / apex
  ANSI POSIX Environment neXt for Harvey OS
  ☆32Updated 5 years ago