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
  ☆76Updated 2 years ago
• MaxXSoft / GeeOS
  The Gee (寂) Operating System, written in YuLang.
  ☆34Updated 4 years ago
• bigconvience / llvm-ir-in-action
  ☆31Updated 3 years ago
• oscomp / proj9-zcore
  基于Rust语言的OS Kernel -- zCore
  ☆19Updated 3 years ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆38Updated 11 months ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆213Updated 5 months ago
• dtcxzyw / llvm-apr-benchmark
  A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs
  ☆15Updated this week
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆55Updated 4 years ago
• Enna1 / LLVM-Study-Notes
  Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0
  ☆145Updated last year
• ksco / rvld
  Learn how to write a minimal working linker from scratch
  ☆106Updated last year
• oscomp / proj2-os-kernels-by-history
  OS教学实验：用Rust&C实现各种历史上的经典OS Kernels的实例
  ☆46Updated 3 years ago
• MaxXSoft / laps
  Build lexers and parsers by deriving traits.
  ☆25Updated last year
• chengpeng-wang / tutorialpass
  LLVM pass
  ☆24Updated 5 years ago
• oscomp / proj148-RDMA-Driver-Rust-eBPF
  基于Rust和eBPF实现RDMA内核模块、驱动
  ☆20Updated 3 years ago
• ISRC-CAS / PLCT-OpenDay-2020
  PLCT实验室2020年开放日活动的演讲资料
  ☆13Updated 4 years ago
• bigconvience / LLVM-Essentials-13
  learn javassist by example
  ☆31Updated 3 years ago
• ustb-owl / MimiC
  MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.
  ☆60Updated 2 years ago
• chyyuu / thoughts
  ☆42Updated last year
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 3 months ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 5 years ago
• ganler / GanlerCS
  Some CS notes during Jiawei's undergrad.
  ☆31Updated 3 years ago
• Simple-XX / SimpleCompiler
  DIY Compiler
  ☆46Updated last year
• PKU-ASAL / PKUWA
  ☆13Updated 2 weeks ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆110Updated 2 years ago
• arceos-hypervisor / 2024-virtualization-campus
  2024春夏季训练营第三阶段-虚拟化方向
  ☆44Updated last year
• securesystemslab / PKRU-Safe
  ☆19Updated 3 years ago
• equation314 / RVM-Tutorial
  Let's write an x86 hypervisor in Rust from scratch!
  ☆158Updated last year
• shining1984 / talks
  史宁宁（知乎ID:小乖他爹（已经改为：编译船夫），CSDN ID：snsn1984）的演讲交流PPT及相关资料。
  ☆45Updated last year