JacyCui / fla
formal language and automata
☆19Updated 3 months ago
Alternatives and similar repositories for fla:
Users that are interested in fla are comparing it to the libraries listed below
- The MOSAIC Operating Systems Model and Checker☆173Updated last year
- An unofficial reference implementation of the C Minus Minus Compiler☆54Updated 2 months ago
- Library for generating/parsing/optimizing Koopa IR.☆115Updated 4 months ago
- The MiniDecaf tutorial documentation.☆93Updated 3 months ago
- ☆14Updated 2 years ago
- ntype cafe summer school resources☆136Updated 9 months ago
- 2022 年毕昇杯 萝杨空队 参赛项目☆12Updated last year
- Linux 201 进阶教程阅读资料☆64Updated last week
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆205Updated 3 weeks ago
- The example SysY compiler Kira for PKU compiler course, written in Rust.☆60Updated last year
- Learn how to write a minimal working linker from scratch☆101Updated 11 months ago
- MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.☆60Updated 2 years ago
- 中山大学学位论文 Typst 模板☆55Updated 6 months ago
- 我,秦始皇,打钱!可以开发票。☆56Updated 5 months ago
- Repository of HITSZ OSA Wiki☆40Updated last week
- ics-wiki☆17Updated this week
- Recommended coding standard of Verilog and SystemVerilog.☆34Updated 3 years ago
- PLCT实验室实习生社区。☆236Updated this week
- A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.☆60Updated 3 years ago
- Operating System Labs @ NJU☆25Updated 4 years ago
- A simple full system emulator. Currently support RV64IMACSU and MIPS32 and LoongArch32. Capable of booting Linux. Suitable for education …☆115Updated 5 months ago
- An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021☆61Updated 2 months ago
- 并不复杂的 Typst 讲座 - Typst is Simple☆57Updated 7 months ago
- ☆25Updated last year
- ☆13Updated 2 years ago
- ☆123Updated last week
- 😍 Rip-off of rip-off of skyzh's CV, using typst☆133Updated 5 months ago
- 在自制 RISC-V CPU 和 x86 上运行的现代俄罗斯方块 / Modern tetris that runs on self-made RISC-V CPU and x86 machines.☆19Updated 2 years ago
- 使用Markdown制作和蒋炎岩老师幻灯片同一主题的Web幻灯片框架(Base on Reveal.js)☆265Updated 3 months ago
- Plagiarism detection tool in Rust (inspired by Stanford Moss)☆50Updated this week