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
• 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 13 years ago
• KnightOS / kcc
  KnightOS C compiler
  ☆25Updated 4 years ago
• OpenProgger / LISP
  Minimal LISP Compiler for x86_64
  ☆13Updated 3 years ago
• oriansj / mes-m2
  Making Mes.c M2-Planet friendly
  ☆30Updated 3 years ago
• wilkie / djehuty
  Fully verifiable operating system and API written in D in the public domain.
  ☆42Updated 14 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 6 years ago
• drh / cdb
  A Machine-Independent Debugger
  ☆35Updated last year
• capros-os / capros
  CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…
  ☆55Updated 3 years ago
• metta-systems / metta
  Metta OS
  ☆71Updated 10 months ago
• mutaphore / JOS-Exokernel
  Implementation of the core of an exokernel-style operating system
  ☆10Updated 10 years ago
• andrewchambers / qc
  quick c
  ☆35Updated 3 years ago
• RauliL / plorth
  Embeddable Forth inspired scripting language
  ☆37Updated 6 years ago
• anse1 / firmforth
  A just-in-time-compiling forth system using libfirm.
  ☆57Updated 8 years ago
• richardbraun / x15
  Real-time multiprocessor microkernel
  ☆39Updated 6 years ago
• ReturnInfinity / BMFS
  Utility for accessing a disk formatted with BMFS
  ☆52Updated 4 months ago
• jdinunzio / forthos
  x386 OS developed in Forth
  ☆60Updated 15 years ago
• AlmuHS / GNUMach_SMP
  SMP implementation in GNU Mach
  ☆26Updated last year
• narke / Einherjar
  colorForth computing environment for amd64 and PowerPC Macs.
  ☆23Updated 5 years ago
• microcai / llvm-qbasic
  llvm based QBASIC Compiler
  ☆107Updated 3 years ago
• kragen / tokthr
  tiny token-threaded bytecode interpreter in x86 assembly
  ☆44Updated 16 years ago
• jimix / k42
  K42 Kernel
  ☆30Updated 13 years ago
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆20Updated 10 years ago
• drh / iburg
  A Tree Parser Generator
  ☆101Updated last year
• rebolsource / r3
  Source code for the Rebol [R3] interpreter
  ☆29Updated 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
• KnightOS / z80e
  A z80 calculator emulator (and debugger)
  ☆72Updated 3 years ago
• 8l / ff
  A Simple Forth System for Linux on i386 and ARM CPUs
  ☆40Updated 9 years ago
• openbios / openfirmware
  OpenFirmware as used on OLPC (and elsewhere)
  ☆115Updated 9 years ago