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
• madisongh / blissc
  BLISS-M compiler
  ☆42Updated last year
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆50Updated this week
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆19Updated 13 years ago
• 8l / ff
  A Simple Forth System for Linux on i386 and ARM CPUs
  ☆41Updated 10 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 7 years ago
• ReturnInfinity / BMFS
  Utility for accessing a disk formatted with BMFS
  ☆52Updated 7 months ago
• OpenProgger / LISP
  Minimal LISP Compiler for x86_64
  ☆15Updated 3 years ago
• KnightOS / kcc
  KnightOS C compiler
  ☆25Updated 5 years ago
• narke / Einherjar
  colorForth computing environment for amd64 and PowerPC Macs.
  ☆23Updated 5 years ago
• jimix / k42
  K42 Kernel
  ☆31Updated 13 years ago
• drh / iburg
  A Tree Parser Generator
  ☆103Updated last year
• mutaphore / JOS-Exokernel
  Implementation of the core of an exokernel-style operating system
  ☆10Updated 11 years ago
• richardbraun / x15
  Real-time multiprocessor microkernel
  ☆39Updated 6 years ago
• farlepet / lambda-kern
  Mirror of https://git.pfarley.dev/lambda-os/lambda-kern, Multi-architecture hobby operating system kernel created in C
  ☆16Updated 2 weeks ago
• lisper / cpus-cadr
  MIT CADR original verilog and simulator
  ☆17Updated 10 years ago
• oriansj / mes-m2
  Making Mes.c M2-Planet friendly
  ☆30Updated 3 years ago
• aixp / BlackBox
  Oberon Microsystems BlackBox Component Builder port for OpenBSD, GNU/Linux and FreeBSD
  ☆29Updated 2 months ago
• metta-systems / metta
  Metta OS
  ☆73Updated last year
• 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
• Lucretia / bare_bones
  Ada Bare Bones OS development tutorial source code
  ☆91Updated 9 years ago
• charlesUnixPro / dps8m
  A simulator for the Multics dps-8/m mainframe
  ☆49Updated 6 years ago
• cthulhuology / forth
  a x86_64 forth implemented in forth
  ☆13Updated 9 years ago
• IanSeyler / rustboot64
  A tiny 64 bit kernel written in Rust
  ☆51Updated 10 years ago
• rebolsource / r3
  Source code for the Rebol [R3] interpreter
  ☆30Updated last year
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆21Updated 10 years ago
• JonathanBelanger / DECaxp
  Digital, never Compaq or HP, Alpha AXP Emulator
  ☆49Updated 6 years ago
• corwin-mcknight / Cedille
  A kernel with a purpose - to keep most of the code out of the kernel
  ☆15Updated 6 years ago
• openbios / openfirmware
  OpenFirmware as used on OLPC (and elsewhere)
  ☆123Updated 10 years ago
• kragen / tokthr
  tiny token-threaded bytecode interpreter in x86 assembly
  ☆45Updated 16 years ago