Alternatives and similar repositories for Lava:

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

• MaxXSoft / GeeOS
  The Gee (寂) Operating System, written in YuLang.
  ☆34Updated 3 years ago
• oscomp / proj9-zcore
  基于Rust语言的OS Kernel -- zCore
  ☆18Updated 3 years ago
• MaxXSoft / laps
  Build lexers and parsers by deriving traits.
  ☆25Updated last year
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆75Updated 2 years ago
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆56Updated 3 years ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated last year
• Simple-XX / SimpleCompiler
  DIY Compiler
  ☆45Updated 10 months ago
• dtcxzyw / llvm-apr-benchmark
  A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs
  ☆12Updated this week
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆48Updated 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
  ☆35Updated 7 months ago
• ISRC-CAS / PLCT-OpenDay-2020
  PLCT实验室2020年开放日活动的演讲资料
  ☆13Updated 4 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• oscomp / proj6-user-level-interrupt
  基于FPGA实现用户态中断硬件机制与优化操作系统内核
  ☆9Updated 2 weeks ago
• ksco / rvld
  Learn how to write a minimal working linker from scratch
  ☆102Updated 11 months ago
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated last year
• lazyparser / becoming-a-compiler-engineer-codes
  方舟编译入门技术课程的配套代码
  ☆30Updated 4 years ago
• decaf-lang / decaf-2019-project
  Decaf 实验综述
  ☆12Updated 5 years ago
• bigconvience / LLVM-Essentials-13
  learn javassist by example
  ☆31Updated 3 years ago
• bigconvience / llvm-ir-in-action
  ☆30Updated 3 years ago
• PragmaTwice / codepunk
  [WIP] Interval Analysis on LLVM IR
  ☆12Updated 4 years ago
• oscomp / proj178-kvm-in-rust
  用Rust语言重写Linux kernel中的KVM
  ☆16Updated 3 years ago
• MaxXSoft / YuLang
  The Yu (羽) programming language.
  ☆77Updated last year
• wcphkust / tutorialpass
  LLVM pass
  ☆23Updated 4 years ago
• dtcxzyw / cmmc
  An unofficial reference implementation of the C Minus Minus Compiler
  ☆55Updated 2 months ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 5 years ago
• ShaoxunZeng / DKernel-Plus
  A Debuggable Kernel environment Plus a software collection
  ☆62Updated 3 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆205Updated last month
• CnTransGroup / StaticSingleAssignmentBookChinese
  《Static Single Assignment Book》- 中文翻译
  ☆27Updated last year
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆51Updated 2 months ago