Alternatives and similar repositories for fla

Users that are interested in fla are comparing it to the libraries listed below

• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆203Updated 2 years ago
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆129Updated 2 weeks ago
• plctlab / weloveinterns
  PLCT实验室实习生社区。
  ☆289Updated last week
• pku-minic / kira-rs
  The example SysY compiler Kira for PKU compiler course, written in Rust.
  ☆90Updated 2 weeks ago
• decaf-lang / minidecaf-tutorial
  The MiniDecaf tutorial documentation.
  ☆98Updated 2 weeks ago
• MarisaKirisame / DefComBlog
  ☆13Updated 3 years ago
• ProjectDimlight / The-Art-Of-Giving-Answers
  ☆14Updated 3 years ago
• No-SF-Work / ayame
  A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.
  ☆64Updated 4 years ago
• thu-cs-lab / verilog-coding-standard
  Recommended coding standard of Verilog and SystemVerilog.
  ☆36Updated 4 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆211Updated 8 months ago
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆143Updated last year
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆146Updated 4 years ago
• hitszosa / wiki
  Repository of HITSZ OSA Wiki
  ☆42Updated last week
• storage-db / ToolDiy
  一本工具指南和开箱即用配置，旨在让大家选用和上手合适的工具。
  ☆155Updated 2 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆63Updated 10 months ago
• zweix123 / jyyslide-md
  使用Markdown制作和蒋炎岩老师幻灯片同一主题的Web幻灯片框架(Base on Reveal.js)
  ☆297Updated 5 months ago
• FuryMartin / I-QinShiHuang-Money
  我，秦始皇，打钱！可以开发票。
  ☆56Updated last year
• thu-cs-lab / jieplag
  Plagiarism detection tool in Rust (inspired by Stanford Moss)
  ☆53Updated 2 months ago
• BUAA-SE-Compiling / rurikawa
  A simple Docker-based build & judge system for complex multi-file projects. 使用 Docker 隔离的适用于多文件项目的自动评测机。
  ☆44Updated 3 years ago
• gaoachao / uniquecv-typst
  A simple resume template written in Typst
  ☆66Updated 9 months ago
• werifu / HUST-typst-template
  华科毕业论文（本科）的 typst 模板
  ☆229Updated 5 months ago
• LearningInfiniTensor / learning-lm-rs
  ☆65Updated last year
• No-SF-Work / miniSysY-tutorial
  BUAASE2019级的编译实验的实验指导与实验安排
  ☆119Updated 3 years ago
• pku-dppl / TAPL-in-MoonBit
  MoonBit Port of Implementations for Pierce's Types and Programming Languages
  ☆65Updated 4 months ago
• pku-minic / compiler-dev
  Compiler development environment.
  ☆20Updated 2 weeks ago
• oscomp / 2021oscomp-best-kernel-design-impl
  2021年OS比赛获奖赛题（文档/代码开源），可用于2022年参赛同学的学习和提高
  ☆48Updated 3 years ago
• icsnju / visualinux
  A visualized debugging framework to aid in understanding the Linux kernel.
  ☆169Updated 2 weeks ago
• nju-lug / modern-nju-thesis
  南京大学学位论文 Typst 模板 modern-nju-thesis
  ☆215Updated 8 months ago
• Trebor-Huang / history
  History of type theory (Chinese).
  ☆355Updated 6 months ago
• chenzhiy2001 / code-debug
  Source-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration…
  ☆37Updated last month