advanced compilers
☆898Jan 10, 2026Updated last month
Alternatives and similar repositories for cs6120
Users that are interested in cs6120 are comparing it to the libraries listed below
Sorting:
- an educational compiler intermediate representation☆739Feb 6, 2026Updated last month
- A collection of out-of-tree LLVM passes for teaching and learning☆3,359Jan 1, 2026Updated 2 months ago
- simple snapshot-style integration testing for commands☆75May 29, 2025Updated 9 months ago
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆759Dec 9, 2025Updated 2 months ago
- MLIR For Beginners tutorial☆1,239Jul 18, 2025Updated 7 months ago
- A book about compiling Racket and Python to x86-64 assembly☆1,544Oct 30, 2025Updated 4 months ago
- A Simple showcase for the Sea-of-Nodes compiler IR☆847Feb 23, 2026Updated last week
- CSCD70 Compiler Optimization☆261Apr 17, 2023Updated 2 years ago
- C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!☆605Jun 19, 2025Updated 8 months ago
- Bridging polyhedral analysis tools to the MLIR framework☆119Sep 9, 2023Updated 2 years ago
- Automatic verification of LLVM optimizations☆1,066Feb 27, 2026Updated last week
- Web page for IU Compiler Course for Fall 2020☆132Dec 11, 2020Updated 5 years ago
- egg is a flexible, high-performance e-graph library☆1,685Dec 4, 2025Updated 3 months ago
- A self-hosting and educational C optimizing compiler☆1,350Feb 9, 2026Updated 3 weeks ago
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆31Jan 7, 2022Updated 4 years ago
- 程序语言与编译技术相关资料(持续更新中)☆2,154Nov 12, 2025Updated 3 months ago
- Curated list of awesome resources on Compilers, Interpreters and Runtimes☆9,675May 26, 2024Updated last year
- Intermediate Language (IL) for Hardware Accelerator Generators☆582Updated this week
- Must read research papers and links to tools and datasets that are related to using machine learning for compilers and systems optimisati…☆1,657Jan 21, 2026Updated last month
- Program Analisys and Transformation survey and links (particular focus on SSA)☆171Mar 22, 2021Updated 4 years ago
- example LLVM pass☆600Mar 6, 2025Updated last year
- A small C compiler☆10,968Oct 30, 2023Updated 2 years ago
- KAIST CS420: Compiler Design☆553Apr 3, 2025Updated 11 months ago
- A collection of out-of-tree Clang plugins for teaching and learning☆759Jan 14, 2026Updated last month
- VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…☆435Updated this week
- 💀💀💀 The former home of clangir incubator, now part of the official llvm-project.☆589Feb 21, 2026Updated 2 weeks ago
- An introduction to programming language theory in Agda☆1,494Feb 28, 2026Updated last week
- Reinforcement learning environments for compiler and program optimization tasks☆994Feb 27, 2026Updated last week
- Verilog AST☆21Dec 2, 2023Updated 2 years ago
- The CompCert formally-verified C compiler☆2,118Feb 25, 2026Updated last week
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Jul 24, 2024Updated last year
- The Vellvm (Verified LLVM) coq development.☆461Feb 13, 2026Updated 3 weeks ago
- Low-Level Software Security for Compiler Developers☆601Nov 20, 2025Updated 3 months ago
- A retargetable MLIR-based machine learning compiler and runtime toolkit.☆3,621Updated this week
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆150Jul 31, 2020Updated 5 years ago
- A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation☆76Updated this week
- A superoptimizer for LLVM IR☆2,351Aug 28, 2024Updated last year
- C-Reduce, a C and C++ program reducer☆1,644Jun 1, 2024Updated last year
- A modern proof language☆3,728Jan 22, 2025Updated last year