berkeley-cs164-sp25 / class-compiler-sp25View external linksLinks
The compiler that we build in class
☆19Apr 24, 2025Updated 9 months ago
Alternatives and similar repositories for class-compiler-sp25
Users that are interested in class-compiler-sp25 are comparing it to the libraries listed below
Sorting:
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 5 years ago
- ☆16Sep 7, 2025Updated 5 months ago
- Utilities for ROCm Tech Support Log Collections☆13Nov 21, 2025Updated 2 months ago
- ☆27May 23, 2025Updated 8 months ago
- 32-bit integer only RISC-V core, along with assembler, linker, and compiler from scratch☆23Sep 21, 2025Updated 4 months ago
- Wave: Python Domain-Specific Language for High Performance Machine Learning☆44Updated this week
- Code for a tutorial on parsing with Menhir☆14Aug 25, 2021Updated 4 years ago
- ☆24Apr 7, 2025Updated 10 months ago
- CPE change log and release notes☆26Sep 3, 2024Updated last year
- gcc plugin to discover optimization passes used during compilation☆20Feb 10, 2021Updated 5 years ago
- Better Code (redux) course and book materials☆22Feb 6, 2026Updated last week
- SCBE is a compiler back-end library written from scratch☆31Updated this week
- The Pulse separation logic DSL for F*☆31Updated this week
- Scripts for building libraries with Cray's PE☆21Aug 31, 2021Updated 4 years ago
- ☆21Nov 8, 2023Updated 2 years ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Nov 13, 2024Updated last year
- A modern library for building production-grade compilers☆18Feb 18, 2025Updated 11 months ago
- Tutorial for writing an LLVM backend☆30May 19, 2025Updated 8 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Oct 22, 2023Updated 2 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Nov 29, 2020Updated 5 years ago
- ☆25Jan 14, 2024Updated 2 years ago
- EeZee Language - Compiler Engineering Basics☆35Updated this week
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Mar 25, 2022Updated 3 years ago
- A tool for deductive verification of Python programs based on Dafny☆28Jul 18, 2021Updated 4 years ago
- A standalone implementation of the MPI Fortran 2018 module☆33Oct 4, 2025Updated 4 months ago
- Official BOLT Repository☆31Aug 16, 2024Updated last year
- The ROCdebug-agent is a library that can be loaded by ROCm Platform Runtime to provide some debugging functionality.☆32Feb 6, 2026Updated last week
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!☆31Jan 8, 2022Updated 4 years ago
- Pull your compiler up with abstract bootstraps.☆31Dec 15, 2022Updated 3 years ago
- Declarative MLIR compilers in Python!☆36Oct 9, 2020Updated 5 years ago
- Bytecode compiler of a variant of Caml☆34Jun 4, 2015Updated 10 years ago
- Website for CS 265☆33Dec 27, 2024Updated last year
- SBLP 2025 MLIR Tutorial☆69Sep 23, 2025Updated 4 months ago
- Program analysis playground for a simple, imperative language☆38Jun 6, 2022Updated 3 years ago
- Automatic differentiation implemented in python, inspired by Pytorch (easily extensible)☆88Feb 21, 2023Updated 2 years ago
- A minimal (really) out-of-tree MLIR example☆46Aug 14, 2025Updated 6 months ago
- Deterministic simulation of concurrency and failure in distributed systems☆40May 26, 2025Updated 8 months ago
- Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages☆41May 6, 2022Updated 3 years ago