sampsyo / cs6120View external linksLinks
advanced compilers
☆892Jan 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☆734Feb 6, 2026Updated last week
- A collection of out-of-tree LLVM passes for teaching and learning☆3,354Jan 1, 2026Updated last month
- simple snapshot-style integration testing for commands☆75May 29, 2025Updated 8 months ago
- MLIR For Beginners tutorial☆1,222Jul 18, 2025Updated 6 months ago
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆752Dec 9, 2025Updated 2 months ago
- A book about compiling Racket and Python to x86-64 assembly☆1,541Oct 30, 2025Updated 3 months ago
- A Simple showcase for the Sea-of-Nodes compiler IR☆839Feb 2, 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!☆601Jun 19, 2025Updated 7 months ago
- Bridging polyhedral analysis tools to the MLIR framework☆119Sep 9, 2023Updated 2 years ago
- Automatic verification of LLVM optimizations☆1,053Updated this 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,670Dec 4, 2025Updated 2 months ago
- A self-hosting and educational C optimizing compiler☆1,345Feb 4, 2026Updated last week
- 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,649May 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,655Jan 21, 2026Updated 3 weeks ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆171Mar 22, 2021Updated 4 years ago
- example LLVM pass☆600Mar 6, 2025Updated 11 months ago
- A small C compiler☆10,936Oct 30, 2023Updated 2 years ago
- KAIST CS420: Compiler Design☆552Apr 3, 2025Updated 10 months ago
- A collection of out-of-tree Clang plugins for teaching and learning☆758Jan 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…☆434Updated this week
- A new (MLIR based) high-level IR for clang.☆588Feb 5, 2026Updated last week
- An introduction to programming language theory in Agda☆1,486Jan 27, 2026Updated 2 weeks ago
- Reinforcement learning environments for compiler and program optimization tasks☆994Feb 6, 2026Updated last week
- Verilog AST☆21Dec 2, 2023Updated 2 years ago
- The CompCert formally-verified C compiler☆2,106Feb 2, 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.☆455Feb 5, 2026Updated last week
- Low-Level Software Security for Compiler Developers☆601Nov 20, 2025Updated 2 months ago
- A retargetable MLIR-based machine learning compiler and runtime toolkit.☆3,604Updated 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☆75Updated this week
- A superoptimizer for LLVM IR☆2,349Aug 28, 2024Updated last year
- C-Reduce, a C and C++ program reducer☆1,638Jun 1, 2024Updated last year
- A modern proof language☆3,719Jan 22, 2025Updated last year