JacyCui / fla
formal language and automata
☆19Updated 4 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☆187Updated last year
- Library for generating/parsing/optimizing Koopa IR.☆119Updated 4 months ago
- Linux 201 进阶教程阅读资 料☆65Updated this week
- The example SysY compiler Kira for PKU compiler course, written in Rust.☆60Updated last year
- A similarity measurer on two programming assignments on Online Judge.☆9Updated 2 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆205Updated last month
- ntype cafe summer school resources☆138Updated 10 months ago
- A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.☆60Updated 3 years ago
- The MiniDecaf tutorial documentation.☆94Updated 4 months ago
- A visualized debugging framework to aid in understanding the Linux kernel.☆116Updated last week
- 我,秦始皇,打钱!可以开发票。☆56Updated 6 months ago
- A website for learners of 《Introduction to Algorithms》☆17Updated last year
- Forge wonderful chat messages in typst☆86Updated 3 months ago
- An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021☆61Updated 2 months ago
- 并不复杂的 Typst 讲座 - Typst is Simple☆60Updated 7 months ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆60Updated last month
- 2022 年毕昇杯 萝杨空队 参赛项目☆13Updated last year
- A simple resume template written in Typst☆63Updated 2 months ago
- 中山大学学位论文 Typst 模板☆55Updated 7 months ago
- Wiki fo HPC☆112Updated 3 months ago
- A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17☆43Updated 4 years ago
- 2021年OS比赛获奖赛题(文档/代码开源),可用于2022年参赛同学的学习和提高☆48Updated 3 years ago
- ics-wiki☆18Updated 3 weeks ago
- Recommended coding standard of Verilog and SystemVerilog.☆34Updated 3 years ago
- ☆49Updated 5 months ago
- ☆13Updated 2 years ago
- 使用Markdown制作和蒋炎岩老师幻灯片同一主题的Web幻灯片框架(Base on Reveal.js)☆269Updated 3 months ago
- 南京大学学位论文 Typst 模板 modern-nju-thesis☆192Updated 3 weeks ago
- 一份基于 typst 的简历模板☆61Updated last year
- 南京大学 Linux Users Group 收集同学和校友们的 Blog☆67Updated last week