ustb-owl / LavaLinks
A compiler of C subset by USTB OWL Wheel Lab.
☆13Updated 2 years ago
Alternatives and similar repositories for Lava
Users that are interested in Lava are comparing it to the libraries listed below
Sorting:
- ChocoPy LLVM Repo☆77Updated 3 years ago
- ☆23Updated 2 years ago
- 基于Rust语言的OS Kernel -- zCore☆19Updated 3 years ago
- MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.☆62Updated 2 years ago
- Build lexers and parsers by deriving traits.☆25Updated last year
- Learn how to write a minimal working linker from scratch☆106Updated last year
- The Gee (寂) Operating System, written in YuLang.☆34Updated 4 years ago
- Linux kernel labs☆55Updated 4 years ago
- Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0☆148Updated last year
- A toy C compiler that compatible with C23 and can do limited optimizations☆61Updated last year
- OS教学实验:用Rust&C实现各种历史上的经典OS Kernels的实例☆46Updated 3 years ago
- ☆30Updated 3 years ago
- An unofficial reference implementation of the C Minus Minus Compiler☆70Updated 10 months ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- DIY Compiler☆45Updated last year
- ☆42Updated 2 years ago
- An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.☆49Updated 3 years ago
- rewrite subset of linux 2.6 by OOP, C++ advanced topics☆11Updated 4 years ago
- Framework of pa code for THU compiler principle course.☆13Updated 6 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆209Updated 9 months ago
- The Yu (羽) programming language.☆82Updated 2 years ago
- learn javassist by example☆30Updated 4 years ago
- A collection of my undergraduate projects☆92Updated last year
- Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.☆34Updated 2 years ago
- PLCT实验室2020年开放日活动的演讲资料☆13Updated 4 years ago
- A Debuggable Kernel environment Plus a software collection☆62Updated 3 years ago
- OS Tutorial Summer of Code 2020☆19Updated 3 years ago
- An optimizing compiler targeting armv7 and risc-v32☆63Updated 10 months ago
- 面向可信执行环境的OS。☆12Updated 7 months ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆49Updated last year