JacyCui / fla
formal language and automata
☆14Updated last month
Related projects ⓘ
Alternatives and complementary repositories for fla
- Library for generating/parsing/optimizing Koopa IR.☆101Updated 7 months ago
- The MOSAIC Operating Systems Model and Checker☆162Updated last year
- A visualized debugging framework to aid in understanding the Linux kernel.☆34Updated this week
- The MiniDecaf tutorial documentation.☆94Updated 2 weeks ago
- The example SysY compiler Kira for PKU compiler course, written in Rust.☆53Updated last year
- Repository of HITSZ OSA Wiki☆39Updated 5 months ago
- A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17☆41Updated 4 years ago
- Recommended coding standard of Verilog and SystemVerilog.☆33Updated 3 years ago
- 在自制 RISC-V CPU 和 x86 上运行的现代俄罗斯方块 / Modern tetris that runs on self-made RISC-V CPU and x86 machines.☆17Updated 2 years ago
- USTC Principles and Techniques of Compiler 2023 homepage☆27Updated last month
- 上海大学本科生毕业论文Typst模板☆53Updated last year
- Linux 201 进阶教程阅读资料☆48Updated last week
- An unofficial reference implementation of the C Minus Minus Compiler☆46Updated 2 months ago
- ntype cafe summer school resources☆137Updated 5 months ago
- Wiki fo HPC☆85Updated 10 months ago
- A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.☆59Updated 3 years ago
- Assignments of Stanford CS110L-2020spr: Safety in Systems Programming☆42Updated last year
- A repo to store the compiler project☆68Updated last year
- Papers We Love on Compilers☆26Updated last year
- A toy compiler for miniSysY, implemented in Rust. (Reference implementation for BUAA-SE-Compiler course project)☆28Updated last year
- 2021年OS比赛获奖赛题(文档/代码开源),可用于2022年参赛同学的学习和提高☆46Updated 2 years ago
- A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.☆137Updated 3 years ago
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆11Updated last year
- Plagiarism detection tool in Rust (inspired by Stanford Moss)☆47Updated last month
- Documentation for Router Lab☆62Updated this week
- A simple full system emulator. Currently support RV64IMACSU and MIPS32 and LoongArch32. Capable of booting Linux. Suitable for education …☆107Updated 3 weeks ago
- ☆54Updated 4 years ago
- An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.☆49Updated 2 years ago
- MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.☆55Updated last year
- PLCT实验室实习生社区。☆212Updated this week