JacyCui / flaLinks
formal language and automata
☆26Updated 3 weeks 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☆196Updated 2 years ago
- Library for generating/parsing/optimizing Koopa IR.☆130Updated 10 months ago
- The MiniDecaf tutorial documentation.☆97Updated 2 weeks ago
- The example SysY compiler Kira for PKU compiler course, written in Rust.☆85Updated 2 years ago
- A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.☆64Updated 4 years ago
- An optimizing compiler targeting armv7 and risc-v32☆61Updated 8 months ago
- PLCT实验室实习生社区。☆278Updated last week
- 使用Markdown制作和蒋炎岩老师幻灯片同一主题的Web幻灯片框架(Base on Reveal.js)☆292Updated 3 months ago
- ntype cafe summer school resources☆142Updated last year
- ☆13Updated 3 years ago
- BUAASE2019级的编译实验的实验指导与实验安排☆119Updated 2 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆212Updated 7 months ago
- A simple Docker-based build & judge system for complex multi-file projects. 使用 Docker 隔离的适用于多文件项目的自动评测机。☆44Updated 3 years ago
- PKU compiler course online documentation.☆437Updated 4 months ago
- A website for learners of 《Introduction to Algorithms》☆19Updated last year
- A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17☆46Updated 5 years ago
- 😍 Rip-off of rip-off of skyzh's CV, using typst☆151Updated last year
- A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.☆144Updated 4 years ago
- 一本工具指南和开箱即用配置,旨在让大家选用和上手合适的工具。☆155Updated 2 years ago
- MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.☆61Updated 2 years ago
- 我,秦始皇,打钱!可以开发票。☆56Updated 11 months ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆65Updated 3 months ago
- History of type theory (Chinese).☆352Updated 4 months ago
- Plagiarism detection tool in Rust (inspired by Stanford Moss)☆52Updated 3 weeks ago
- 《Static Single Assignment Book》- 中文翻译☆35Updated 2 years ago
- A visualized debugging framework to aid in understanding the Linux kernel.☆158Updated 3 weeks ago
- Compiler development environment.☆20Updated 10 months ago
- An unofficial reference implementation of the C Minus Minus Compiler☆61Updated 8 months ago
- A simple resume template written in Typst☆65Updated 7 months ago
- ☆62Updated 10 months ago