JacyCui / flaLinks
formal language and automata
☆19Updated 5 months ago
Alternatives and similar repositories for fla
Users that are interested in fla are comparing it to the libraries listed below
Sorting:
- Library for generating/parsing/optimizing Koopa IR.☆122Updated 6 months ago
- The example SysY compiler Kira for PKU compiler course, written in Rust.☆62Updated 2 years ago
- Linux 201 进阶教程阅读资料☆80Updated this week
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆209Updated 2 months ago
- Forge wonderful chat messages in typst☆88Updated 4 months ago
- ntype cafe summer school resources☆139Updated 11 months ago
- The MiniDecaf tutorial documentation.☆96Updated 5 months ago
- A simple resume template written in Typst☆63Updated 3 months ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆62Updated 2 months ago
- The MOSAIC Operating Systems Model and Checker☆192Updated 2 years ago
- 我,秦始皇,打钱!可以开发票。☆56Updated 7 months ago
- 《Static Single Assignment Book》- 中文翻译☆31Updated 2 years ago
- 一份基于 typst 的简历模板☆68Updated last year
- An optimizing compiler targeting armv7 and risc-v32☆61Updated 4 months ago
- 😍 Rip-off of rip-off of skyzh's CV, using typst☆140Updated 7 months ago
- ChocoPy LLVM Repo☆75Updated 2 years ago
- MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.☆60Updated 2 years ago
- Plagiarism detection tool in Rust (inspired by Stanford Moss)☆51Updated 2 months ago
- A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17☆44Updated 4 years ago
- Repository of HITSZ OSA Wiki☆41Updated 2 months ago
- 并不复杂的 Typst 讲座 - Typst is Simple☆62Updated last week
- An unofficial reference implementation of the C Minus Minus Compiler☆58Updated 4 months ago
- A simple concurrent queue using std::mutex and std::condition_variable in C++ 11☆16Updated last year
- PLCT实验室实习生社区。☆252Updated this week
- A collection of presets/templates for my personal Typst writing☆27Updated this week
- A similarity measurer on two programming assignments on Online Judge.☆9Updated 2 years ago
- ☆13Updated 2 years ago
- An awesome language and its compiler.☆33Updated 2 years ago
- ☆23Updated last year
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 5 years ago