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
  ☆47Updated last week
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆19Updated 12 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 6 years ago
• KnightOS / kcc
  KnightOS C compiler
  ☆25Updated 4 years ago
• farlepet / lambda-kern
  Multi-architecture hobby operating system created in C
  ☆16Updated 2 months ago
• AndrewD / prex
  Prex is a portable real-time operating system for embedded systems
  ☆28Updated 15 years ago
• richardbraun / x15
  Real-time multiprocessor microkernel
  ☆39Updated 5 years ago
• afonsotrepa / LOS-64
  Small LISP-1 OS for x86-64 written in C, asm and Common Lisp
  ☆11Updated 7 years ago
• narke / Einherjar
  colorForth computing environment for amd64 and PowerPC Macs.
  ☆22Updated 5 years ago
• dex-os / DexOS
  The OS and related projects/examples
  ☆33Updated 8 years ago
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 6 years ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• OpenProgger / LISP
  Minimal LISP Compiler for x86_64
  ☆12Updated 3 years ago
• jimix / k42
  K42 Kernel
  ☆28Updated 13 years ago
• drh / cdb
  A Machine-Independent Debugger
  ☆34Updated 9 months ago
• q3k / Cucumber
  Migrated to Codeberg
  ☆11Updated last year
• OrangeTide / pcc
  Portable C Compiler (CVS mirror)
  ☆12Updated 13 years ago
• zrho / Hydrogen
  Intermediate loader for AMD64 kernels. C rewrite of HydrogenLegacy.
  ☆27Updated 10 years ago
• metta-systems / metta
  Metta OS
  ☆70Updated 8 months ago
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 7 years ago
• wilkie / djehuty
  Fully verifiable operating system and API written in D in the public domain.
  ☆40Updated 13 years ago
• mutaphore / JOS-Exokernel
  Implementation of the core of an exokernel-style operating system
  ☆10Updated 10 years ago
• ReturnInfinity / BMFS
  Utility for accessing a disk formatted with BMFS
  ☆53Updated last month
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 7 years ago
• 8l / ff
  A Simple Forth System for Linux on i386 and ARM CPUs
  ☆40Updated 9 years ago
• oriansj / mes-m2
  Making Mes.c M2-Planet friendly
  ☆30Updated 3 years ago
• travisdowns / nasm-utils
  Miscellaneous macros useful for writing x86 asm in nasm or yasm
  ☆7Updated 4 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆44Updated 4 years ago
• ztane / rpi-barebones
  Raspberry PI barebones kernel.
  ☆21Updated 12 years ago
• tatimmer / tatOS
  tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse
  ☆32Updated 8 years ago