Matt Green's starred repositories
monadic-cfa
Generic implementation of different CFA families based on monadic decomposition
abstracting-definitional-interpreters
Abstracting Definitional Interpreters
simple-abstract-interpreter
A Simple Abstract Interpreter, built for teaching purposes
hugo-apero
Apéro is a Hugo theme for personal websites. A Hugo theme you'll want to hang out with :milky_way: . This is the source for the theme files to install.
armstrong-distributed-systems
Notes on how we potentially could build reliable, scalable and maintainable computer systems.
Essentials-of-Compilation
A book about compiling Racket and Python to x86-64 assembly
SQLite.swift
A type-safe, Swift-language layer over SQLite3.
Facts-about-State-Machines
I hold the opinion that state machines are underrated
practical-haskell
A collection of Practical Haskell bits.
rust-design-pattern
rust design patterns