Alternatives and similar repositories for JOS-Exokernel

Users that are interested in JOS-Exokernel are comparing it to the libraries listed below

• drh / cdb
  A Machine-Independent Debugger
  ☆34Updated 8 months ago
• kstephens / subc
  SubC Compiler : By Nils M Holm, 2011--2012
  ☆16Updated 12 years ago
• 8l / scc
  scc - simple C Compiler
  ☆58Updated 8 years ago
• chisophugis / x64-Forth
  a simple Forth system for x64 Linux
  ☆33Updated 13 years ago
• aryx / fork-kencc
  DEPRECATED pad's first fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/
  ☆32Updated this week
• jimix / k42
  K42 Kernel
  ☆28Updated 13 years ago
• dmedinag / C-to-Forth-compiler
  Few people use Forth. But this might be useful if you want to!
  ☆34Updated 6 years ago
• 8l / ff
  A Simple Forth System for Linux on i386 and ARM CPUs
  ☆40Updated 9 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆24Updated 2 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 6 years ago
• drh / drhanson
  Software and documentation, mostly from the 80s and 90s
  ☆23Updated 10 years ago
• anse1 / firmforth
  A just-in-time-compiling forth system using libfirm.
  ☆57Updated 8 years ago
• OpenProgger / LISP
  Minimal LISP Compiler for x86_64
  ☆12Updated 3 years ago
• aligrudi / neatld
  A simple ARM/x86(_64) static linker
  ☆42Updated 2 years ago
• remysaissy / examour-exokernel
  Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.
  ☆22Updated 9 years ago
• arnoldrobbins / pcc-revived
  Mirror of PCC project's CVS repositories
  ☆43Updated 11 months ago
• orodley / naive
  Self-hosting C toolchain, from scratch
  ☆35Updated 4 months ago
• sergev / bcpl-compiler
  B language compiler
  ☆32Updated 2 months ago
• zhengruohuang / toddler-ng
  The next generation Toddler, a well designed usable and portable microkernel OS
  ☆16Updated 4 years ago
• alexfru / regal86
  Register Allocator for 8086
  ☆75Updated last year
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆80Updated 3 years ago
• andrewchambers / qc
  quick c
  ☆35Updated 3 years ago
• drh / iburg
  A Tree Parser Generator
  ☆98Updated 8 months ago
• rheoli / pcc
  Portable C Compiler
  ☆12Updated 12 years ago
• meithecatte / 2klinux
  Experiments in bootstrapping from bare-metal
  ☆31Updated 4 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆34Updated 9 years ago
• larsbrinkhoff / forth-compiler
  Native inlining constant folding register allocating Forth compiler
  ☆19Updated 9 years ago
• huangguiyang / plan9-cc
  Highly portable C compiler suite for Plan 9 from Bell Labs.
  ☆33Updated 8 years ago
• sungit / TinyScheme
  mirror of tinyscheme interpreter and extensions
  ☆14Updated 13 years ago