https://github.com/aalhour/awesome-compilers 😎 A curated list of awesome resources on the theory and construction of Compilers, Interpreters and Runtimes.
Awesome Compilers
A curated list of awesome resources, learning materials, tools, frameworks, platforms, technologies and source code projects in the field of Compilers, Interpreters and Runtimes. This list has a bias towards education.
Table of Contents
Learning
Books
Advanced Compiler Design and Implementation, S. Muchnick .
Advanced Topics in Types and Programming Languages, B. Pierce .
Basics of Compiler Design, T. Mogensen .
Beautiful Racket - How to Make Your Own PL with Racket, M. Butterick .
Building an Optimizing Compiler, B. Morgan .
Crafting Interpreters: A Handbook for Making Programming Languages, B. Nystrom .
Create Your Own Programming Language .
Computer Systems: A Programmer’s Perspective, R. Bryant, D. O'Hallaron - A comprehensive treatement of Computer Systems including Compilers and Interpreters.
Compiling with Continuations, A. Appel .
Elements of Computing Systems, N. Nisan, S. Schocken - A book about computer construction from Nand Gates, through Assemblers, Compilers up to Operating Systems and Tetris game development.
Engineering a Compiler, K. Cooper, L. Torczon .
Essentials of Programming Languages, D. Friedman & M. Wand .
Language Implementation Patterns, T. Parr .
Modern Compiler Implementation in C, A. Appel .
Modern Compiler Implementation in ML, A. Appel .
Modern Compiler Implementation in Java, A. Appel .
Optimizing Compilers for Modern Architectures, R. Allen & K. Kennedy .
Programming Language Pragmatics, M. Scott .
Programming Languages: Application and Interpretation, S. Krishnamurthi .
Programming Languages: Theory and Practice .
Project Oberon, N. Wirth & J. Gutknecht - 1992 Edition , 2013 Edition .
The SSA Book, Springer, Zadeck .
Types and Programming Languages, B. Pierce .
Virtual Machines, Smith and Nait .
Virtual Machines, Iain Craig .
Warren's Abstract Machine - Prolog in Haskell, H. Aït-Kaci .
Papers
A Brief History of JIT Compilation, J. Aycock .
A Flexible Prolog Interpreter in Python, C. Bolz & M. Leuschel .
A Graph Higher-Order IR, R. Leißa, M. Koster & S. Hack .
A Prolog Interpreter in Python, C. Bolz .
A Simple Multi-Processor Computer Based on Subleq, O. Mazonka, A. Kolodin .
Compiler Construction Using Scheme, E. Hilsdale, J. Ashley, R. Dybvig & D. Friedman .
Compiling with Continuations: Continued, A. Kennedy .
Machine Code Obfuscation via Instruction Set Reduction and CFG Linearization, C. Jonischkeit .
MOV
is Turing-Complete, S. Dolan .
Nanopass Framework for Commercial Compiler Development, A. Keep & R. Dybvig .
Nanopass Framework for Compiler Education, D. Sarkar, O. Waddell & R. Dybvig .
Packrat Parsing Thesis on PEG, B. Ford .
PEG-based transformer provides front-end, middle-end and back-end stages in a simple Compiler, I. Piumarta .
Pycket: A Tracing JIT for a Functional Language .
PyPy’s Approach to VM Construction, A. Rigo & S. Pedroni .
Simple and Efficient Construction of SSA Form .
SSA-based Register Allocation, S. Hack & G. Goos .
The Essence of Compiling with Continuations, C. Flanagan, A. Sabry, B. Duba & M. Felleisen .
The Page-Faults Weird Machine: Lessons in Instruction-less Computation, J. Bangert, S. Bratus, R. Shapiro, S. Smith .
Trace-based JIT Compilation for Lazy Functional Languages, T. Schilling .
Using Datalog with Binary Decision Diagrams for Program Analysis, J. Whaley, D. Avots, M. Carbin & M. Lam .
Researchers and Institutes
Specifications
Courses
Compilers Construction, Cambridge - An introduction to compiler construction course from the University of Cambridge.
Compiler Construction for Undergrads, RICE University - An introduction to compiler construction and language translators course from the RICE University.
Compilers Theory, Stanford - YouTube , Stanford.edu , Class Notes - An introduction to Compilers theory and construction course from Stanford.
Design and Construction of Compilers, University of Texas - Design and construction of compilers including lexical analysis, parsing, code generation techniques, error analysis and simple code optimizations.
DSL Design and Implementation Summer School - A Summer School program on the topics of DSL Design and Implementation hosted by the EPFL University.
Foundations of Programming Languages - A course that covers many of the concepts underlying the design, definition, implementation and use of modern programming languages from a formal standpoint.
Nand2Tetris: How to Build a Computer from First Principles, Part 2 - This 2nd part of the Nand2Tetris course covers basic language design and elementary compiler construction concepts in addition to many other topics on a basic level.
NPTEL's Principles of Compiler Design Course - An introductory course from NPTEL on Compiler Design.
NPTEL's Compiler Design Course - A slightly more advanced course than their Principles of Compiler Design course, covers SSA Form to a good degree.
Programming Languages: Part A, by Grossman - Part 1 of a 3-part course series to the basic concepts of programming languages, with a strong emphasis on functional programming.
Programming Languages: Part B, by Grossman - Part 2 of a 3-part course series to the basic concepts of programming languages, with a strong emphasis on functional programming.
Programming Languages: Part C, by Grossman - Part 3 of a 3-part course series to the basic concepts of programming languages, with a strong emphasis on functional programming.
Types, Logic, Semantics, and Verification from Oregon University's Summer School - A Summer School program that consists of 80 minute lectures presented by internationally recognized leaders in programming languages and formal reasoning research.
Virtual Machines and Managed Runtimes, UCB CS294 - An introductory course on Virtual Machines and Managed Runtimes from the University of Berkeley.
Virtual Machines Summer School 2016 (VMSS 2016) - VMSS is a Summer School program that aims to give an overview of the field, targeted at early career researchers.
Talks
Articles
Tutorials
Community Discussions
Projects
This section aims at listing code projects of Compilers, Interpreters, Translators, Runtimes, Virtual Machines and the like.
Production-Ready
Educational and Toys
C4 - C Lang in 4 Functions.
CarpVM - An experimental VM implementation in C.
Gecho - A simple-stack language implementation in C.
Hython - A Haskell-powered Python 3 interpreter.
MetaScala - A Metacircular JVM implementation in Scala.
Poprc - A compiler for the Popr Language.
PyCOOLC - A compiler for the COOL Programming Language written in Python 3.
RabbitVM - A RISC-based VM implementation in C.
stack_cpu - A Stack-machine simulator.
The Super Tiny Compiler - A tiny educational compiler project in JavaScript.
tinyc.c - A Tiny-C language compiler in C.
Tools and Frameworks
Language Agnostic
B3: The Bare Bones Backend - WebKit's optimizing JIT Compiler for procedures containing C-like code.
LLILCL - An LLVM-based Compiler Backend for .NET Core.
LLVM - The LLVM Compiler-Backend Framework.
MicroVM - The "Mu" Framewrok for Programming Languages development based on the MuVM Specification.
Movfuscator Compiler - The M/o/Vfuscator
compiles programs into "mov" instructions, and only "mov" instructions.
QBE: The Quick Backend - A pure C embeddable SSA-based compiler backend.
Summus - A (reusable) basic compiler frontend implementation using LLVM as a backend.
C (as a Backend)
GCC - The GNU Compiler Collection.
libFirm - A C library that provides a graph-based intermediate representation, optimizations, and assembly code generation suitable for use in compilers.
libJIT - A library that provides generic Just-In-Time compiler functionality independent of any particular bytecode, language, or runtime.
myJIT - A library for machine-code generation and execution at run-time.
PCC - The Portable C Compiler.
TCC - The Tiny C Compiler.
CLR
Cecile - A library to generate and inspect programs and libraries in the ECMA CIL format.
ILSpy - A .NET Decompiler.
Reflector - A .NET Decompiler.
Reflexil - An an assembly editor which can be used as a plugin with other .NET/CLR tools.
D
dunnart - LALR(1) Parser Generator.
FancyPars-lite - A fast parser generator.
libdparse - A library allowing to build lexers and parsers. Contains a lexer and a parser for the D language itself.
llvm-d - D bindings for LLVM.
Pegged - design, test and generate parsers for PEG grammars.
Graal
Graal - High-Performance Polyglot Runtime.
Graal Core - Compiler and Truffel Partial Evaluator.
Graal VM - Graal's multi-language VM distribution.
JavaScript
Babel.js - Next-generation JavaScript Compiler.
IRHudra - A tool for displaying intermediate representations used by V8 and Dart VM optimizing compilers.
JISON - A context-free grammar parser generator for JavaScript.
PEG.js - A simple parser generator for JavaScript.
JVM
ANTLR - A parser generator for reading, processing, executing, or translating structured text or binary files.
BYAAC/J - BYACC/Java is an extension of the Berkeley v 1.8 YACC-compatible parser generator for Java.
JavaCC - Java Compiler Construction and Parser Generator Toolkit.
JFlex - JFlex is a lexical analyzer generator for Java with full Unicode support.
JLex - JLex is a lexical analyzer generator, that can be used in combination with CUP.
Kotlin
Python
AST - Python's builtin Abstract Syntax Tree package.
Dis - Python's builtin Disassembler package.
Parsing - A pure-Python module that implements an LR(1) parser generator, as well as CFSM and GLR parser drivers.
PLY - An implementation of lex and yacc parsing tools for Python.
PyParsing - An alternative approach to creating and executing simple grammars, vs. the traditional lex/yacc approach, or the use of regular expressions.
RPLY - A port of the PLY project to RPython.
RPython - RPython is a framework for the implementatation of dynamic languages.
Lists of Python Parsing Tools
Rust
Combine - Parser Combinator Library for Rust.
IronLLVM - Safe LLVM bindings for Rust.
LALRPOP - LR(1) parser generator for Rust.
Nom - Parser Combinator Framework.
PEG - A PEG Parser Generator.
Pest - A PEG Parser Generator.
RLS - The Rust Language Server implementation (aka RLS).
Runtimes and VMs
Verticals
Communities
/r/Compilers - A subreddit community about the theory and development of compilers.
/r/ProgrammingLanguages - A subreddit community that is dedicated to discussion of programming languages, programming language theory, design, their syntax and compilers.
License
To the extent possible under law, Ahmad Alhour has waived all copyright and related or neighboring rights to this work.