Alternatives and similar repositories for Lava

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

• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆79Updated 3 years ago
• oscomp / proj9-zcore
  基于Rust语言的OS Kernel -- zCore
  ☆19Updated 3 years ago
• ksco / rvld
  Learn how to write a minimal working linker from scratch
  ☆109Updated last year
• MaxXSoft / GeeOS
  The Gee (寂) Operating System, written in YuLang.
  ☆34Updated 4 years ago
• AinsleySnow / Ginkgo
  A toy C compiler that compatible with C23 and can do limited optimizations
  ☆62Updated last year
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• ustb-owl / MimiC
  MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.
  ☆63Updated 3 years ago
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆55Updated 4 years ago
• MaxXSoft / laps
  Build lexers and parsers by deriving traits.
  ☆25Updated 2 years ago
• arceos-hypervisor / 2024-virtualization-campus
  2024春夏季训练营第三阶段-虚拟化方向
  ☆46Updated last year
• dtcxzyw / cmmc
  An unofficial reference implementation of the C Minus Minus Compiler
  ☆70Updated last year
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆63Updated last year
• oscomp / proj178-kvm-in-rust
  用Rust语言重写Linux kernel中的KVM
  ☆16Updated 3 years ago
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆146Updated 4 years ago
• oscomp / proj2-os-kernels-by-history
  OS教学实验：用Rust&C实现各种历史上的经典OS Kernels的实例
  ☆46Updated 3 years ago
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 9 months ago
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆49Updated 3 years ago
• pleasewhy / startos
  rewrite subset of linux 2.6 by OOP, C++ advanced topics
  ☆10Updated 4 years ago
• equation314 / RVM-Tutorial
  Let's write an x86 hypervisor in Rust from scratch!
  ☆163Updated 2 years ago
• sekirio-rs / Kuro
  Linux io_uring based c++ 20 coroutine library
  ☆28Updated 3 years ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 6 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆211Updated 11 months ago
• ChinaNuke / ast-interpreter
  国科大编译作业：基于Clang的C语言解释执行器
  ☆43Updated 4 years ago
• Enna1 / LLVM-Study-Notes
  Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0
  ☆148Updated 2 years ago
• tqyaaaaang / Hyper-OS
  Operating System Simulator
  ☆18Updated 6 years ago
• mlzeng / CSC2020-USTC-FlammingMyCompiler
  全国大学生计算机系统能力大赛编译系统设计赛项目
  ☆248Updated 4 years ago
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated 2 years ago
• bigconvience / llvm-ir-in-action
  ☆30Updated 3 years ago
• ganler / GanlerCS
  Some CS notes during Jiawei's undergrad.
  ☆33Updated 4 years ago
• wangrunji0408 / UndergraduateProjects
  A collection of my undergraduate projects
  ☆92Updated last year