Alternatives and similar repositories for gpl

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

• bluesadi / Tai-e-solutions
  My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html
  ☆50Updated 2 years ago
• ChinaNuke / ast-interpreter
  国科大编译作业：基于Clang的C语言解释执行器
  ☆39Updated 3 years ago
• mlzeng / CSC2020-USTC-FlammingMyCompiler
  全国大学生计算机系统能力大赛编译系统设计赛项目
  ☆242Updated 4 years ago
• WolfIsMyName / AutoWeiBan
  北京麦课安全微课
  ☆11Updated 5 years ago
• arcsysu / SYsU-lang
  A mini, simple and modular compiler for SYsU/SysY(tiny C). Based on Clang/LLVM/ANTLR4/Bison/Flex.
  ☆217Updated 9 months ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆212Updated 5 months ago
• lintean / dragon-book-practice-answer
  编译原理（紫龙书）中文第2版习题答案。Compilers Principles, Techniques, & Toos (purple dragon book) second edition practice answer.
  ☆177Updated 12 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆61Updated 7 months ago
• Lancern / llvm-anderson
  Anderson points-to analysis implementation based on LLVM
  ☆12Updated 4 years ago
• zshufan / UESTC_Lab_Report_LaTeX_Template
  A LaTeX Template for UESTC Lab Report
  ☆47Updated 6 years ago
• LearningOS / os_kernel_lab
  os kernel labs for operating systems course in Tsinghua University.
  ☆32Updated 3 years ago
• chyyuu / compiler_course_info
  compiler course info
  ☆249Updated last year
• UofT-EcoSystem / CSCD70
  CSCD70 Compiler Optimization
  ☆258Updated 2 years ago
• JacyCui / cpp-static-analyzer
  A Simple CPP Static Analysis Framework
  ☆22Updated 2 years ago
• dianqk / Tai-e-assignments-tips
  Tai-e assignments for static program analysis
  ☆31Updated 3 years ago
• Qi-Zhan / ps3
  patch presence test via symbolic signatures, ICSE'24
  ☆12Updated last year
• ZJU-Automated-Reasoning-Group / lotus
  Program analysis and verification framework
  ☆26Updated 2 weeks ago
• Billy1900 / compiler-course-project
  华中科技大学编译原理实验2019
  ☆84Updated 4 years ago
• wierton / ncc-tools
  A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…
  ☆16Updated 5 years ago
• RicoloveFeng / SPA-Freestyle-Guidance
  带你畅游《软件分析》
  ☆278Updated 3 years ago
• Xidian-ICTT-GZ / Academic_Blog
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆36Updated last week
• ZHYfeng / Generate_Linux_Kernel_Bitcode
  ☆36Updated 2 months ago
• ustc-cs / COD-Resources-2017
  中科大 2017 级数字电路实验/组成原理实验的同学经验和资料分享
  ☆12Updated 5 years ago
• oscomp / os-competition-info
  "全国大学生操作系统比赛2025"相关信息
  ☆280Updated 2 months ago
• ChinaNuke / llvm-pass
  国科大编译作业二：LLVM Pass处理函数调用
  ☆17Updated 3 years ago
• skyzluo / CS143-Compilers-Stanford
  My solutions to the programming assignments of the Stanford Compiler course.
  ☆372Updated 10 years ago
• dvirtz / GreenTiger
  Solutions to exercises of Modern Compiler Implementation in C book
  ☆39Updated 5 years ago
• PSU-Security-Universe / sqlright
  Coveraged-based fuzzer for finding DBMS logical bugs
  ☆54Updated 2 years ago
• Anarion-zuo / Stanford-CS143
  ☆60Updated 4 years ago
• seclab-ucr / LLift
  The source code of project "LLift" (Enhancing static analysis with LLM)
  ☆75Updated last year