Alternatives and similar repositories for xv6:

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

• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆51Updated 4 years ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆34Updated this week
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• jakiki6 / bootOS
  bootOS is a monolithic operating system in 512 bytes of x86 machine code. The docs aren't guaranteed to be up-to-date
  ☆13Updated 3 years ago
• AZHenley / riscv-parser
  Basis of a RISC-V parser to be used for linters or assemblers.
  ☆47Updated 3 years ago
• foreverbell / JOS
  JOS Lab of MIT 6.828: Operating System Engineering.
  ☆17Updated 7 years ago
• drh / iburg
  A Tree Parser Generator
  ☆96Updated 6 months ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• IdanHo / RISCVEmu
  A Basic C++ RISC-V Emulator
  ☆17Updated 4 years ago
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆31Updated 6 years ago
• brown-cs1690 / handout
  All handouts will be here
  ☆26Updated 2 years ago
• tchajed / futex-tutorial
  ☆12Updated 8 months ago
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆95Updated 3 months ago
• stevenknown / xgen
  ☆35Updated 2 months ago
• uva-cs / pdr
  A repo for a Program and Data Representation university-level course
  ☆90Updated 2 years ago
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆56Updated 10 years ago
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 8 years ago
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 3 years ago
• vegesm / first-cc-gcc
  The first C compiler made to work under modern GCC
  ☆162Updated 3 years ago
• amakukha / tmg
  McIlroy's TMG compiler-compiler in portable C
  ☆80Updated 2 years ago
• michaelforney / qbe
  Personal branch of git://c9x.me/qbe.git
  ☆37Updated 3 years ago
• mutaphore / JOS-Exokernel
  Implementation of the core of an exokernel-style operating system
  ☆10Updated 10 years ago
• ergawy / types-and-programming-languages
  C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
  ☆34Updated 4 years ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆52Updated last month
• jhhuh / tinyemu
  Fabrice Bellard's tinyemu (https://bellard.org/tinyemu/)
  ☆63Updated 3 years ago
• secure-foundations / veribetrkv-osdi2020
  VeriBetrKV OSDI'20 artifact
  ☆10Updated 4 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 7 months ago
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆68Updated 3 years ago
• TotallyGamerJet / limine-barebones-golang
  ☆12Updated 7 months ago
• cs61 / cs61-lectures
  CS61 lecture material
  ☆96Updated 4 months ago