Reference implementation for the Essentials of Compilation course
☆17Jun 2, 2016Updated 9 years ago
Alternatives and similar repositories for course-compiler
Users that are interested in course-compiler are comparing it to the libraries listed below
Sorting:
- A Scheme-like language interpreter☆13Jun 15, 2023Updated 2 years ago
- A simple containerized application manage system like Kubernetes, but written in Rust☆19Jun 25, 2022Updated 3 years ago
- Implementations of the compilers and VMs from R. Kent Dybvig's "Three Implementation Models for Scheme." Each file is named after the se…☆24Apr 22, 2010Updated 15 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆74May 7, 2018Updated 7 years ago
- Public helper code for p423/p523 students (Racket)☆170Dec 9, 2025Updated 3 months ago
- A Scheme to x86-64 compiler in Scheme☆81May 4, 2015Updated 10 years ago
- exploration of reflective architectures in Scheme☆21May 20, 2022Updated 3 years ago
- 💙 Code from the HandyHaskell twitter page☆14Nov 5, 2020Updated 5 years ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 11 years ago
- A book about compiling Racket to x86-64 assembly☆21Nov 13, 2017Updated 8 years ago
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 6 years ago
- ☆39Aug 29, 2021Updated 4 years ago
- ☆18Aug 20, 2019Updated 6 years ago
- Compile-time multitasking support for the Scheme programming language☆37Jan 1, 2015Updated 11 years ago
- Code repository for our work on Quantum Pi☆10Jun 4, 2024Updated last year
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆27Aug 14, 2014Updated 11 years ago
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- ☆11Sep 21, 2022Updated 3 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 8 years ago
- Exercises from The Little Schemer (4th Ed) by Daniel P. Friedman and Matthias Felleisen☆12Sep 26, 2016Updated 9 years ago
- being the materials for Summer 2013's course☆113Apr 25, 2023Updated 2 years ago
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 8 years ago
- An awesome dicord bot☆12Aug 9, 2022Updated 3 years ago
- A Dict k v in Idris☆15Dec 15, 2020Updated 5 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Jun 13, 2017Updated 8 years ago
- Binary translation in Rust☆13Jun 22, 2020Updated 5 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- Various data structures implementation, in STL style☆11Jul 26, 2021Updated 4 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Jan 19, 2017Updated 9 years ago
- ☆12May 19, 2022Updated 3 years ago
- Bodymind Operating System☆17Dec 10, 2019Updated 6 years ago
- ☆14Sep 24, 2017Updated 8 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Aug 23, 2021Updated 4 years ago
- General Parser Combinators in Racket☆193Sep 5, 2016Updated 9 years ago
- Honors Thesis Summer/Fall 2015☆11Nov 18, 2018Updated 7 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- All code examples from "The Little Prover" book☆23Nov 22, 2015Updated 10 years ago
- https://12k.tech☆12Sep 6, 2020Updated 5 years ago
- ☆15Sep 24, 2015Updated 10 years ago