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
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆37Updated 10 years ago
• remysaissy / examour-exokernel
  Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.
  ☆22Updated 10 years ago
• drh / cdb
  A Machine-Independent Debugger
  ☆35Updated last year
• aryx / fork-kencc
  DEPRECATED pad's first fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/
  ☆31Updated 4 months ago
• dmedinag / C-to-Forth-compiler
  Few people use Forth. But this might be useful if you want to!
  ☆37Updated 6 years ago
• larsbrinkhoff / forth-compiler
  Native inlining constant folding register allocating Forth compiler
  ☆19Updated 10 years ago
• OpenProgger / LISP
  Minimal LISP Compiler for x86_64
  ☆15Updated 3 years ago
• Fedjmike / fcc
  Fedjmike's C Compiler
  ☆136Updated 8 years ago
• AndrewD / prex
  Prex is a portable real-time operating system for embedded systems
  ☆28Updated 15 years ago
• jimix / k42
  K42 Kernel
  ☆32Updated 13 years ago
• drh / drhanson
  Software and documentation, mostly from the 80s and 90s
  ☆24Updated 10 years ago
• yui0 / catc
  a simple tiny C Compiler using Lex & Yacc
  ☆92Updated 4 months ago
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆59Updated 11 years ago
• sungit / TinyScheme
  mirror of tinyscheme interpreter and extensions
  ☆14Updated 13 years ago
• aligrudi / neatlibc
  A small ARM/X86(-64) libc
  ☆92Updated last month
• hcchengithub / eforth-x86-64bits
  Forth programming language eforth for x86 PC 64 bits long mode STC
  ☆29Updated 3 years ago
• ibara / LiteBSD-Ports
  The LiteBSD ports tree.
  ☆17Updated 8 years ago
• alexfru / regal86
  Register Allocator for 8086
  ☆76Updated 2 years ago
• chisophugis / x64-Forth
  a simple Forth system for x64 Linux
  ☆33Updated 14 years ago
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆19Updated 13 years ago
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆70Updated 4 years ago
• drh / iburg
  A Tree Parser Generator
  ☆103Updated last year
• 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
• arnoldrobbins / pcc-revived
  Mirror of PCC project's CVS repositories
  ☆48Updated last year
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆69Updated 5 years ago
• anse1 / firmforth
  A just-in-time-compiling forth system using libfirm.
  ☆57Updated 8 years ago
• bobrippling / ucc-c-compiler
  A C-implemented C compiler
  ☆92Updated last year
• aligrudi / neatld
  A simple ARM/x86(_64) static linker
  ☆44Updated 2 years ago
• arichel / PicoScheme
  Tiny scheme implementation written in c++17
  ☆31Updated 7 years ago