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
• foreverbell / JOS
  JOS Lab of MIT 6.828: Operating System Engineering.
  ☆17Updated 7 years ago
• s-shin / xv6-network
  ☆17Updated 13 years ago
• cdl-saarland / axtor
  AST - Extractor for LLVM
  ☆18Updated 4 years ago
• stevenknown / xoc
  XOC is a compiler infrastructure that provides multi-level operations, flexibility, and the capability of representing almost all popular…
  ☆114Updated last month
• bjhua / dragon
  A simple SSA-based compiler.
  ☆16Updated 10 months ago
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆67Updated 3 years ago
• sonald / sos
  Sian's Operating System
  ☆59Updated 9 years ago
• MiniJavaCompiler / MiniJavaLLVM
  MiniJava x86, LLVM Compiler and Interpreter
  ☆73Updated 8 years ago
• clarkok / c4
  C in four functions
  ☆19Updated 9 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 8 years ago
• hchunhui / compiler
  a mini C-like language(C1) compiler
  ☆36Updated 5 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 last month
• NJU-ProjectN / i386-manual
  Intel 80386 Reference Programmer's Manual
  ☆66Updated last week
• MarisaKirisame / first_order_logic_prover
  ☆58Updated 7 years ago
• tmikov / c99
  C preprocessor
  ☆7Updated 8 years ago
• songziming / wheel
  A toy operating system, written from scratch.
  ☆32Updated 5 months ago
• paulmckrcu / litmus
  Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
  ☆23Updated last month
• aclements / sv6
  POSIX-like scalable multicore research OS kernel
  ☆188Updated 4 years ago
• david50407 / xv6-rpi
  ☆40Updated 9 years ago
• chyyuu / v9-cpu
  ☆16Updated 7 years ago
• uw-unsat / hyperkernel
  ☆183Updated 5 years ago
• sergey-worm / wrmos
  RTOS based on L4 microkernel.
  ☆16Updated 6 years ago
• avadhpatel / marss
  PTLsim and QEMU based Computer Architecture Research Simulator
  ☆128Updated 3 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆108Updated 6 years ago
• drh / iburg
  A Tree Parser Generator
  ☆95Updated 5 months ago
• benwei / MIT-JOS
  Because of request from csail.mit.edu, I've removed MIT-OS 2011 6.828 - All of JOS Lab practices.
  ☆77Updated 7 years ago
• char-fish-after-lunch / SystemOnCat
  An SoC with multiple RISC-V IMA processors.
  ☆19Updated 6 years ago
• gangliao / TIGER
  implement a full compiler based on c++ 11
  ☆22Updated 7 years ago