MaxXSoft / laps
Build lexers and parsers by deriving traits.
☆25Updated last year
Alternatives and similar repositories for laps:
Users that are interested in laps are comparing it to the libraries listed below
- An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.☆48Updated 3 years ago
- The cold linker☆70Updated 10 months ago
- ChocoPy LLVM Repo☆75Updated 2 years ago
- A Rust style C++ library.☆19Updated 2 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆12Updated this week
- Linux kernel labs☆56Updated 3 years ago
- An unofficial reference implementation of the C Minus Minus Compiler☆58Updated 3 months ago
- ☆23Updated last year
- [WIP] Tutorial for zCore kernel.☆58Updated 3 years ago
- Asynchronous OS kernel written in Rust.☆34Updated 4 years ago
- OS Tutorial Summer of Code 2020☆19Updated 2 years ago
- Framework of pa code for THU compiler principle course.☆13Updated 5 years ago
- Source-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration…☆38Updated 3 weeks ago
- An RISC-V experimental OS☆25Updated last year
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 4 years ago
- The Decaf compiler, written in Rust☆56Updated 5 years ago
- A Symmetric Multiprocessing OS Kernel over RISC-V☆30Updated 2 years ago
- Library for generating/parsing/optimizing Koopa IR.☆119Updated 5 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 2 years ago
- UB-aware interpreter for LLVM debugging☆27Updated this week
- ☆13Updated 2 years ago
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆48Updated 2 years ago
- 快速陷入处理☆36Updated 2 months ago
- A toy C compiler that compatible with C23 and can do limited optimizations☆55Updated 5 months ago
- PLCT实验室2020年开放日活动的演讲资料☆13Updated 4 years ago
- Being a full-stack hacker, RISCV, LLVM, and more.☆17Updated 3 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆205Updated last month
- 没分支的 rCore-Tutorial☆45Updated 2 years ago
- A compiler of C subset by USTB OWL Wheel Lab.☆12Updated 2 years ago