Alternatives and similar repositories for AIMv6:

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

• wh5a / jos
  An MIT teaching OS
  ☆44Updated 14 years ago
• kontais / EFI-MIPS
  UEFI, on Loongson.
  ☆14Updated 8 years ago
• lewischeng-ms / mit-jos
  MIT JOS 6.828 2011
  ☆22Updated 12 years ago
• stevenknown / xocfe
  XOCFE is an concise, clearly, C compiler frontend, it is easy to understand and modify. XOCFE's input is pure C, output is an AST tree.
  ☆52Updated 2 months ago
• chyyuu / v9-cpu
  ☆16Updated 7 years ago
• david50407 / xv6-rpi
  ☆40Updated 9 years ago
• zhengruohuang / toddler
  Toddler is a well-designed usable and portable microkernel OS
  ☆75Updated 5 years ago
• microcai / llvm-qbasic
  llvm based QBASIC Compiler
  ☆100Updated 3 years ago
• wuxx / sos
  Simple OS for raspberry pi 2 model B
  ☆14Updated 7 years ago
• stevenknown / xoc
  XOC is a compiler infrastructure that provides multi-level operations, flexibility, and the capability of representing almost all popular…
  ☆114Updated 2 months ago
• clord / MIPS-CPU-Simulator
  This is a mips simulator I wrote once to help my understanding of pipelines, branch prediction, assembly language, and more.
  ☆65Updated 5 years ago
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆68Updated 3 years ago
• stevenknown / xgen
  ☆35Updated 2 months ago
• s-shin / xv6-network
  ☆17Updated 13 years ago
• jserv / codezero
  Codezero Microkernel
  ☆108Updated 3 years ago
• canonizer / libgpuvm
  library which simplifies host-GPU data transfer using userspace pagefault handling
  ☆15Updated 12 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆33Updated 9 years ago
• jserv / ogc
  A minimal mark-and-sweep garbage collector
  ☆44Updated 6 years ago
• nobled / ucc
  ucc - a tiny C89 compiler for x86
  ☆106Updated 14 years ago
• foreverbell / JOS
  JOS Lab of MIT 6.828: Operating System Engineering.
  ☆17Updated 7 years ago
• abcdabcd987 / naughttpd
  a naive static http server that solves C10K problem
  ☆17Updated 8 years ago
• jserv / xv6-x86_64
  re-implementation of UNIX v6 in ANSI C for x86_64 SMP
  ☆180Updated last year
• Icenowy / ice-risc
  RISC CPU by Icenowy
  ☆12Updated 6 years ago
• twd2 / osdev
  os dev
  ☆18Updated 8 years ago
• kjiwa / x86-boot-sector-c
  A DOS boot sector written in C
  ☆26Updated 6 years ago
• FlyGoat / miku-smc
  System Management Controller Firmware For Loongson-3A4000
  ☆22Updated 5 years ago
• songziming / wheel
  A toy operating system, written from scratch.
  ☆32Updated 6 months ago
• jserv / jit-construct
  JIT compiler from scratch, derived from Nick Desaulniers' great work
  ☆44Updated 4 years ago
• clarkok / c4
  C in four functions
  ☆19Updated 9 years ago
• junrushao / Final-Fanatic-Facility
  A C compiler with SSA-based backend optimzation
  ☆15Updated 9 years ago