A book about compiling Racket to x86-64 assembly
☆21Nov 13, 2017Updated 8 years ago
Alternatives and similar repositories for Essentials-of-Compilation
Users that are interested in Essentials-of-Compilation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Backports of GHC deriving extensions☆13Jan 8, 2026Updated 3 months ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated 2 months ago
- Bigloo Scheme Compiler☆11Dec 28, 2015Updated 10 years ago
- ☆19Jul 24, 2017Updated 8 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆52Jan 12, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A simple Depdently-Typed Language for Research and Learning☆57Aug 20, 2016Updated 9 years ago
- Exception safe resource management☆22Sep 7, 2025Updated 7 months ago
- An Inference Engine based on Propositional Calculus written in Common Lisp☆52Oct 26, 2025Updated 5 months ago
- Reference implementation for the Essentials of Compilation course☆17Jun 2, 2016Updated 9 years ago
- ☆42Apr 19, 2016Updated 9 years ago
- microKanren implementation from DLS '16☆14May 29, 2018Updated 7 years ago
- Instances for QuickCheck classes☆17Jan 8, 2026Updated 3 months ago
- Get terminal window width and height☆14Aug 14, 2024Updated last year
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Jan 14, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Feb 15, 2026Updated last month
- General Parser Combinators in Racket☆193Sep 5, 2016Updated 9 years ago
- GHCup metadata repository☆43Mar 31, 2026Updated last week
- Haskell binding for Bullet physics engine☆24May 14, 2020Updated 5 years ago
- Script to download all of Hackage☆17Jul 14, 2019Updated 6 years ago
- A very little language☆16Jul 1, 2023Updated 2 years ago
- The Mechanization of Standard ML☆75Jul 18, 2022Updated 3 years ago
- Support for Racket Language☆13Jul 30, 2020Updated 5 years ago
- Derivation of C-like Storable Instances☆13Jun 1, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- unfinished port of https://learnopengl.com/ example code to CL☆12May 16, 2020Updated 5 years ago
- Prototypes: Object Orientation, Functionally☆53Apr 3, 2026Updated last week
- Interactive-diagrams☆39May 18, 2015Updated 10 years ago
- A compiler, assembler, and processor.☆24Feb 1, 2018Updated 8 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆45Apr 8, 2018Updated 8 years ago
- Public helper code for p423/p523 students (Racket)☆172Dec 9, 2025Updated 4 months ago
- Paredit version 1 for LispWorks☆12Jun 6, 2021Updated 4 years ago
- racket scheme peg-parser☆23Nov 13, 2021Updated 4 years ago
- Bignum bindings for rust backed by GMP☆15Oct 13, 2017Updated 8 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Readable regular expressions DSL for Emacs Lisp☆31Jan 25, 2022Updated 4 years ago
- A small implementation of type inference☆80May 19, 2015Updated 10 years ago
- Units of measure as a GHC typechecker plugin☆31Oct 12, 2022Updated 3 years ago
- PLT Redex models of LVar calculi☆10Apr 6, 2015Updated 11 years ago
- implementation of cdr-8☆17Jan 17, 2018Updated 8 years ago
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Jun 16, 2017Updated 8 years ago
- IA32 assembler in PLT Scheme☆33Oct 14, 2010Updated 15 years ago