Alternatives and similar repositories for Lava

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

• oscomp / proj9-zcore
  基于Rust语言的OS Kernel -- zCore
  ☆19Updated 3 years ago
• MaxXSoft / GeeOS
  The Gee (寂) Operating System, written in YuLang.
  ☆34Updated 3 years ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• MaxXSoft / laps
  Build lexers and parsers by deriving traits.
  ☆25Updated last year
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆48Updated 3 years ago
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated last month
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆56Updated 4 years ago
• dtcxzyw / llvm-apr-benchmark
  A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs
  ☆13Updated this week
• oscomp / proj6-user-level-interrupt
  基于FPGA实现用户态中断硬件机制与优化操作系统内核
  ☆9Updated 2 months ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• oscomp / proj148-RDMA-Driver-Rust-eBPF
  基于Rust和eBPF实现RDMA内核模块、驱动
  ☆20Updated 3 years ago
• oscomp / proj23-lightweight-hypervisor
  在RISC-V处理器上实现一个轻量级的Hypervisor。
  ☆12Updated 4 years ago
• bigconvience / llvm-ir-in-action
  ☆31Updated 3 years ago
• PKU-ASAL / PKUWA
  ☆13Updated last week
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated last year
• wcphkust / tutorialpass
  LLVM pass
  ☆23Updated 5 years ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 5 years ago
• oscomp / proj178-kvm-in-rust
  用Rust语言重写Linux kernel中的KVM
  ☆16Updated 3 years ago
• dtcxzyw / cmmc
  An unofficial reference implementation of the C Minus Minus Compiler
  ☆57Updated 4 months ago
• yukiiiteru / DailySchedule_2020
  OS Tutorial Summer of Code 2020
  ☆19Updated 3 years ago
• oscomp / proj2-os-kernels-by-history
  OS教学实验：用Rust&C实现各种历史上的经典OS Kernels的实例
  ☆46Updated 3 years ago
• pleasewhy / startos
  rewrite subset of linux 2.6 by OOP, C++ advanced topics
  ☆11Updated 3 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆37Updated 9 months ago
• JACKIEZHAOKAI / CSE231_LLVM_Compiler_Opt
  LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…
  ☆25Updated 5 years ago
• ksco / rvld
  Learn how to write a minimal working linker from scratch
  ☆105Updated last year
• Simple-XX / SimpleCompiler
  DIY Compiler
  ☆45Updated last year
• ycdxsb / ast-interpreter
  AST interpreter with clang 5.0.0 and llvm 5.0.0
  ☆14Updated 5 years ago
• ChinaNuke / ast-interpreter
  国科大编译作业：基于Clang的C语言解释执行器
  ☆40Updated 3 years ago
• oscomp / proj3-PKE-oslabs
  一组面向普通大学本科生的简单操作系统实验
  ☆30Updated 2 years ago
• tgangwani / RegAlloc
  Chaitin-Briggs register-allocation algorithm (LLVM back-end)
  ☆11Updated 9 years ago