rrnewton / Essentials-of-CompilationView external linksLinks
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
Sorting:
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Jul 16, 2021Updated 4 years ago
- Command-Line D&D Character Manager☆12Jan 19, 2018Updated 8 years ago
- A simple Depdently-Typed Language for Research and Learning☆57Aug 20, 2016Updated 9 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆52Jan 12, 2023Updated 3 years ago
- ☆19Jul 24, 2017Updated 8 years ago
- racket scheme peg-parser☆23Nov 13, 2021Updated 4 years ago
- SQL Relational Algebra for Go.☆76Apr 13, 2016Updated 9 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆45Apr 8, 2018Updated 7 years ago
- The Pascal-F Verifier☆51Jul 17, 2017Updated 8 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- Manually constructed STG programs compiled with the standard GHC codegen backend.☆24Jan 10, 2021Updated 5 years ago
- IA32 assembler in PLT Scheme☆33Oct 14, 2010Updated 15 years ago
- EGraphs in OCaml☆80Jan 20, 2024Updated 2 years ago
- General Parser Combinators in Racket☆193Sep 5, 2016Updated 9 years ago
- A terminal window for Linux implemented using libtsm, libsdl, stb_truetype, fontstash☆24Feb 16, 2024Updated last year
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Jun 18, 2022Updated 3 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33May 2, 2025Updated 9 months ago
- A compiler, assembler, and processor.☆24Feb 1, 2018Updated 8 years ago
- Mini Stepper Motor with Android and Arduino☆18Aug 3, 2014Updated 11 years ago
- The Bone Lisp programming language☆331May 9, 2020Updated 5 years ago
- Vectorized version of the PCG random number generator☆87Jan 9, 2026Updated last month
- Benchmark showing the we can randomly hash strings very quickly with good universality☆139Jan 23, 2025Updated last year
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆36Nov 23, 2013Updated 12 years ago
- A library for 2D, 3D, and 4D vectors in CL.☆30Aug 13, 2025Updated 6 months ago
- Library for reading Solid Edge files☆15Sep 1, 2015Updated 10 years ago
- The Software Foundations book, in GHC☆82Jan 11, 2026Updated last month
- A book about compiling Racket and Python to x86-64 assembly☆1,541Oct 30, 2025Updated 3 months ago
- Racket port of the nanopass-framework☆34May 1, 2021Updated 4 years ago
- Tools for rapid prototyping of DSL compilers☆90Jan 10, 2026Updated last month
- A Scheme to x86-64 compiler in Scheme☆81May 4, 2015Updated 10 years ago
- Compiler and interpreter for a miranda-like functional language in Python.☆12Dec 28, 2011Updated 14 years ago
- Red Alert 2 Reverse Engineering☆10May 20, 2018Updated 7 years ago
- Compressed Bloom Filters (Golomb-compressed sequences, with indices)☆17May 19, 2013Updated 12 years ago
- ☆11Dec 8, 2014Updated 11 years ago
- ReBucket: group panic()s by similarity☆12Nov 1, 2019Updated 6 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆48Dec 16, 2024Updated last year
- high abstraction synthesis☆14Apr 8, 2024Updated last year
- Sieve for Exchange but really just Perl doing HTTP requests☆12Sep 17, 2016Updated 9 years ago
- A clientless, fast, unlimited MCP battle.net namebot for Diablo 2. Get the names you want!☆10Jun 16, 2018Updated 7 years ago