Alternatives and similar repositories for JOS

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

• Ihsoh / isystemx86
  This is a multitasking and x86 based operating system.
  ☆40Updated 5 years ago
• thautwarm / LLAST
  A high level LLVM IR AST provider for GraphEngine JIT.
  ☆22Updated 7 years ago
• SchrodingerZhu / memcpy-amd64
  An implementation of memcpy for amd64 with clang/gcc
  ☆15Updated 3 years ago
• foreverbell / yfs
  Yet Another File System (yfs) based on Paxos algorithm.
  ☆16Updated 8 years ago
• JianpingZeng / xcc-project
  The C/C++/Fortran compiler collection written in Java
  ☆36Updated 4 years ago
• cyyself / m1tso-linux
  Apple Silicon TSO Enabler for Linux
  ☆17Updated last month
• CVM-Projects / JitFFI
  A fast and customizable JIT compiler for FFI (Foreign-Function Interface).
  ☆53Updated last year
• w41ter / LL-Script
  Simple script
  ☆42Updated 8 years ago
• jserv / jit-construct
  JIT compiler from scratch, derived from Nick Desaulniers' great work
  ☆44Updated 5 years ago
• eliphatfs / yapyjit
  Yet another python JIT.
  ☆20Updated 2 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated this week
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆70Updated 11 years ago
• uw-unsat / hyperkernel
  ☆186Updated 5 years ago
• rui314 / psabi
  ☆62Updated 2 years ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆17Updated 8 months ago
• MaskRay / picolld
  A stripped-down LLD (LLVM linker)
  ☆30Updated 5 years ago
• rcore-os / rboot
  The x86_64 UEFI bootloader for rCore
  ☆43Updated 3 years ago
• mit-pdos / 6.826-2017-labs
  ☆14Updated 8 years ago
• hchunhui / compiler
  a mini C-like language(C1) compiler
  ☆39Updated 6 years ago
• imkiva / valheim
  Just for fun riscv64 emulator, which boots the Linux.
  ☆41Updated 3 years ago
• eliben / libjit-samples
  Code samples for using libjit
  ☆91Updated 8 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 7 years ago
• jcbeyler / wasm-to-llvm-prototype
  s-expression → internal IR → LLVM IR
  ☆46Updated 9 years ago
• twd2 / osdev
  os dev
  ☆20Updated 8 years ago
• covariant-institute / dragon-vm
  The Dragon Virtual Machine.
  ☆10Updated 7 years ago
• xye7ei / metaparse
  A handy tool to help design and parse your own language
  ☆21Updated 3 years ago
• aclements / sv6
  POSIX-like scalable multicore research OS kernel
  ☆197Updated 5 years ago
• ohad-rodeh / bt
  COW b-trees
  ☆108Updated 8 years ago
• coreperf / rejit
  fast SIMD-able JIT regular expression compiler
  ☆197Updated 10 years ago
• jserv / ogc
  A minimal mark-and-sweep garbage collector
  ☆44Updated 6 years ago