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
  ☆49Updated 2 weeks ago
• mutaphore / JOS-Exokernel
  Implementation of the core of an exokernel-style operating system
  ☆10Updated 11 years ago
• Lucretia / bare_bones
  Ada Bare Bones OS development tutorial source code
  ☆89Updated 9 years ago
• madisongh / blissc
  BLISS-M compiler
  ☆42Updated last year
• OpenProgger / LISP
  Minimal LISP Compiler for x86_64
  ☆15Updated 3 years ago
• jdinunzio / forthos
  x386 OS developed in Forth
  ☆60Updated 15 years ago
• 8l / ff
  A Simple Forth System for Linux on i386 and ARM CPUs
  ☆40Updated 10 years ago
• ReturnInfinity / BMFS
  Utility for accessing a disk formatted with BMFS
  ☆52Updated 7 months ago
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆18Updated 7 years ago
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆19Updated 13 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 7 years ago
• vygr / OSX-Forth
  Forth for OSX, bootstrap from x86 NASM then Forth only.
  ☆42Updated 10 years ago
• joostfaassen / v2os
  V2_OS - The V2_ Operating System. 100% 32 bit assembly code
  ☆30Updated 12 years ago
• metta-systems / metta
  Metta OS
  ☆73Updated last year
• openbios / openfirmware
  OpenFirmware as used on OLPC (and elsewhere)
  ☆121Updated 9 years ago
• ablevm / able
  An efficient, portable and secure general-purpose virtual machine and virtual network using libable
  ☆28Updated 2 years ago
• narke / Einherjar
  colorForth computing environment for amd64 and PowerPC Macs.
  ☆23Updated 5 years ago
• JorthVM / JorthVM
  a Java VM implemented in Forth
  ☆41Updated 13 years ago
• drh / iburg
  A Tree Parser Generator
  ☆102Updated last year
• lisper / cpus-cadr
  MIT CADR original verilog and simulator
  ☆17Updated 9 years ago
• jimix / k42
  K42 Kernel
  ☆31Updated 13 years ago
• larsbrinkhoff / forth-compiler
  Native inlining constant folding register allocating Forth compiler
  ☆19Updated 9 years ago
• sayon / forthress
  A Forth dialect implementation for educational purposes
  ☆58Updated 6 years ago
• Fabien-Chouteau / eagle-lander
  Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
  ☆32Updated 5 years ago
• pkimpel / retro-b5500
  Web-based emulator and operating environment for the Burroughs B5500 computer system.
  ☆82Updated 6 months ago
• anse1 / firmforth
  A just-in-time-compiling forth system using libfirm.
  ☆57Updated 8 years ago
• Lucretia / tamp
  The Ada Microkernel Project
  ☆116Updated 10 years ago
• Ravenports / ravensource
  The sources to compile Ravenports buildsheets
  ☆21Updated this week
• AndrewD / prex
  Prex is a portable real-time operating system for embedded systems
  ☆28Updated 15 years ago