JacyCui / flaLinks
formal language and automata
☆21Updated 6 months ago
Alternatives and similar repositories for fla
Users that are interested in fla are comparing it to the libraries listed below
Sorting:
- The MOSAIC Operating Systems Model and Checker☆192Updated 2 years ago
- Library for generating/parsing/optimizing Koopa IR.☆123Updated 6 months ago
- The MiniDecaf tutorial documentation.☆97Updated 6 months ago
- A similarity measurer on two programming assignments on Online Judge.☆9Updated 2 years ago
- Linux 201 进阶教程阅读资料☆89Updated last week
- Recommended coding standard of Verilog and SystemVerilog.☆34Updated 3 years ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆63Updated 3 months ago
- The example SysY compiler Kira for PKU compiler course, written in Rust.☆65Updated 2 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆210Updated 3 months ago
- ☆53Updated 7 months ago
- ☆13Updated 2 years ago
- 《Static Single Assignment Book》- 中文翻译☆31Updated 2 years ago
- Compiler development environment.☆19Updated 6 months ago
- A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17☆45Updated 4 years ago
- 中山大学学位论文 Typst 模板☆55Updated 9 months ago
- An optimizing compiler targeting armv7 and risc-v32☆61Updated 4 months ago
- ntype cafe summer school resources☆139Updated last year
- PLCT实验室实习生社区。☆260Updated 2 weeks ago
- A simple concurrent queue using std::mutex and std::condition_variable in C++ 11☆16Updated last year
- A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.☆62Updated 3 years ago
- An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.☆48Updated 3 years ago
- The MiniDecaf test cases.☆17Updated last month
- ChocoPy LLVM Repo☆76Updated 2 years ago
- A fast compiler for SysY code☆18Updated 2 years ago
- 我,秦始皇,打钱!可以开发票。☆56Updated 8 months ago
- An unofficial reference implementation of the C Minus Minus Compiler☆57Updated 4 months ago
- Repository of HITSZ OSA Wiki☆41Updated 2 months ago
- ☆60Updated 3 weeks ago
- Forge wonderful chat messages in typst☆88Updated last week
- 2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品☆27Updated 2 years ago