Alternatives and similar repositories for JOS-Exokernel

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

• 8l / scc
  scc - simple C Compiler
  ☆58Updated 8 years ago
• remysaissy / examour-exokernel
  Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.
  ☆22Updated 10 years ago
• jimix / k42
  K42 Kernel
  ☆31Updated 13 years ago
• Fedjmike / fcc
  Fedjmike's C Compiler
  ☆136Updated 8 years ago
• huangguiyang / plan9-cc
  Highly portable C compiler suite for Plan 9 from Bell Labs.
  ☆36Updated 9 years ago
• aligrudi / neatlibc
  A small ARM/X86(-64) libc
  ☆94Updated 3 weeks ago
• aligrudi / neatld
  A simple ARM/x86(_64) static linker
  ☆45Updated 2 years ago
• arnoldrobbins / pcc-revived
  Mirror of PCC project's CVS repositories
  ☆47Updated last year
• drh / drhanson
  Software and documentation, mostly from the 80s and 90s
  ☆24Updated 10 years ago
• chisophugis / x64-Forth
  a simple Forth system for x64 Linux
  ☆33Updated 14 years ago
• orodley / naive
  Self-hosting C toolchain, from scratch
  ☆36Updated 11 months ago
• dmedinag / C-to-Forth-compiler
  Few people use Forth. But this might be useful if you want to!
  ☆36Updated 6 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆69Updated 5 years ago
• drh / cdb
  A Machine-Independent Debugger
  ☆35Updated last year
• OpenProgger / LISP
  Minimal LISP Compiler for x86_64
  ☆15Updated 3 years ago
• ibara / LiteBSD-Ports
  The LiteBSD ports tree.
  ☆16Updated 7 years ago
• larsbrinkhoff / forth-compiler
  Native inlining constant folding register allocating Forth compiler
  ☆19Updated 9 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆37Updated 10 years ago
• michaelforney / qbe
  Personal branch of git://c9x.me/qbe.git
  ☆37Updated 4 years ago
• howerj / pickle
  Improvements to picol: A TCL like interpreter suitable as an shell in an embedded system
  ☆34Updated last month
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆81Updated 4 years ago
• sungit / TinyScheme
  mirror of tinyscheme interpreter and extensions
  ☆14Updated 13 years ago
• eunuchs / unix-archive
  The Unix Archive (The Unix Heritage Society)
  ☆63Updated 12 years ago
• hcchengithub / eforth-x86-64bits
  Forth programming language eforth for x86 PC 64 bits long mode STC
  ☆29Updated 3 years ago
• kvakil / 0asm
  x86 assembler in 512 bytes of x86 machine code
  ☆38Updated 6 years ago
• anthay / Lisp90
  Lisp Interpreter in 90 lines of C++ (not counting lines after the first 90).
  ☆43Updated 9 years ago
• drh / iburg
  A Tree Parser Generator
  ☆102Updated last year
• aligrudi / neatcc
  A ARM/X86(-64) C compiler
  ☆177Updated 2 years ago
• ers35 / colorforth
  ☆22Updated last year
• bobrippling / ucc-c-compiler
  A C-implemented C compiler
  ☆92Updated last year