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 9 years ago
• drh / drhanson
  Software and documentation, mostly from the 80s and 90s
  ☆24Updated 10 years ago
• drh / cdb
  A Machine-Independent Debugger
  ☆35Updated last year
• jimix / k42
  K42 Kernel
  ☆31Updated 13 years ago
• michaelforney / qbe
  Personal branch of git://c9x.me/qbe.git
  ☆37Updated 4 years ago
• aligrudi / neatld
  A simple ARM/x86(_64) static linker
  ☆45Updated 2 years ago
• drh / iburg
  A Tree Parser Generator
  ☆101Updated last year
• orodley / naive
  Self-hosting C toolchain, from scratch
  ☆36Updated 9 months ago
• dmedinag / C-to-Forth-compiler
  Few people use Forth. But this might be useful if you want to!
  ☆35Updated 6 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆37Updated 10 years ago
• huangguiyang / plan9-cc
  Highly portable C compiler suite for Plan 9 from Bell Labs.
  ☆35Updated 9 years ago
• yui0 / catc
  a simple tiny C Compiler using Lex & Yacc
  ☆91Updated 2 months ago
• OpenProgger / LISP
  Minimal LISP Compiler for x86_64
  ☆13Updated 3 years ago
• aligrudi / neatlibc
  A small arm/x86(-64) libc
  ☆91Updated 3 weeks ago
• arnoldrobbins / pcc-revived
  Mirror of PCC project's CVS repositories
  ☆46Updated last year
• Fedjmike / fcc
  Fedjmike's C Compiler
  ☆135Updated 8 years ago
• aryx / fork-kencc
  DEPRECATED pad's first fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/
  ☆30Updated last month
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆70Updated 3 years ago
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆57Updated 11 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆69Updated 4 years ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆81Updated 4 years ago
• DoctorWkt / SubC
  A Tour Through the SubC Compiler
  ☆92Updated 3 years ago
• bobrippling / ucc-c-compiler
  A C-implemented C compiler
  ☆92Updated last year
• rurban / libbf
  mirror of Fabrice Bellard's libbf tar releases, with fixes and CI
  ☆14Updated 3 months ago
• arichel / PicoScheme
  Tiny scheme implementation written in c++17
  ☆31Updated 6 years ago
• alexfru / regal86
  Register Allocator for 8086
  ☆76Updated 2 years ago
• ibara / LiteBSD-Ports
  The LiteBSD ports tree.
  ☆16Updated 7 years ago
• catseye / minischeme
  MIRROR of https://codeberg.org/catseye/minischeme : Cat's Eye Technologies' fork of the original public-domain Mini-Scheme implementation…
  ☆73Updated 7 years ago