Andrew Johnson's Projects
My README
Learn how to Write a Compiler in 2000 Lines of Code
Doby is a package manager and build tool for LM-family programs
Hands-On Functional Programming in Rust, published by Packt
LM Based HTML / CSS / JS generator
An implementation of several strongly-normalizing string rewriting systems
Branch and bound tool for fuzzing out bugs
Deterministic Finite-State Automata Library for Rust, written in L1
Compact Portable Assembler (5K SLOC)
Large Scale Type Systems (programming language)
Tutorial for Large Scale Type Systems
Tutorial for Large Scale Type Systems translated into Spanish
A notational semantic for documenting neural networks through diagrams
A variant of Typed Lambda Calculus with generalized variable punning (ad-hoc polymorphism)