Alternatives and similar repositories for examour-exokernel:

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

• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆46Updated last week
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 6 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆14Updated 6 years ago
• 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
• wilkie / djehuty
  Fully verifiable operating system and API written in D in the public domain.
  ☆40Updated 13 years ago
• KnightOS / kcc
  KnightOS C compiler
  ☆24Updated 4 years ago
• metta-systems / metta
  Metta OS
  ☆69Updated 4 months ago
• ReturnInfinity / BMFS
  Utility for accessing a disk formatted with BMFS
  ☆51Updated 2 months ago
• afonsotrepa / LOS-64
  Small LISP-1 OS for x86-64 written in C, asm and Common Lisp
  ☆11Updated 7 years ago
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆20Updated 12 years ago
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆26Updated 10 years ago
• jdinunzio / forthos
  x386 OS developed in Forth
  ☆58Updated 15 years ago
• jimix / k42
  K42 Kernel
  ☆26Updated 12 years ago
• Ravenports / ravensource
  The sources to compile Ravenports buildsheets
  ☆18Updated last week
• drh / cdb
  A Machine-Independent Debugger
  ☆30Updated 5 months ago
• modula3 / pm3
  ☆24Updated 10 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
• tatimmer / tatOS
  tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse
  ☆32Updated 8 years ago
• richardbraun / x15
  Real-time multiprocessor microkernel
  ☆39Updated 5 years ago
• narke / Einherjar
  colorForth computing environment for amd64 and PowerPC Macs.
  ☆22Updated 4 years ago
• OrangeTide / pcc
  Portable C Compiler (CVS mirror)
  ☆11Updated 12 years ago
• AndrewD / prex
  Prex is a portable real-time operating system for embedded systems
  ☆27Updated 14 years ago
• AlmuHS / GNUMach_SMP
  SMP implementation in GNU Mach
  ☆25Updated 11 months ago
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 6 years ago
• sergev / b-compiler
  B language compiler
  ☆31Updated 4 years ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆45Updated 3 years ago
• joostfaassen / v2os
  V2_OS - The V2_ Operating System. 100% 32 bit assembly code
  ☆30Updated 11 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
• pbatard / fasmg-efi
  A simple Hello World for x86_64 UEFI using fasmg
  ☆26Updated 8 years ago
• kristianlm / small-lisp
  A very small lisp interpreter, that I may one day get working on my 8-bit AVR microcontroller.
  ☆55Updated 7 years ago