Pinned Repositories
andrew-johnson-4
My README
BootstrapBook
Learn how to Write a Compiler in 2000 Lines of Code
Hands-On-Functional-Programming-in-Rust
Hands-On Functional Programming in Rust, published by Packt
InPlace
An implementation of several strongly-normalizing string rewriting systems
L1DFA
Deterministic Finite-State Automata Library for Rust, written in L1
lambda-mountain
A Compiler in 85K Instructions (3K SLOC)
LSTS
Large Scale Type Systems (programming language)
lsts-tutorial
Tutorial for Large Scale Type Systems
perplexity
A notational semantic for documenting neural networks through diagrams
TokenPolice
Circuits to reduce dimensionality for transformers
andrew-johnson-4's Repositories
andrew-johnson-4/LSTS
Large Scale Type Systems (programming language)
andrew-johnson-4/perplexity
A notational semantic for documenting neural networks through diagrams
andrew-johnson-4/TokenPolice
Circuits to reduce dimensionality for transformers
andrew-johnson-4/Hands-On-Functional-Programming-in-Rust
Hands-On Functional Programming in Rust, published by Packt
andrew-johnson-4/lambda-mountain
A Compiler in 85K Instructions (3K SLOC)
andrew-johnson-4/lsts-tutorial
Tutorial for Large Scale Type Systems
andrew-johnson-4/BootstrapBook
Learn how to Write a Compiler in 2000 Lines of Code
andrew-johnson-4/andrew-johnson-4
My README
andrew-johnson-4/InPlace
An implementation of several strongly-normalizing string rewriting systems
andrew-johnson-4/L1DFA
Deterministic Finite-State Automata Library for Rust, written in L1
andrew-johnson-4/lsts-tutorial-es
Tutorial for Large Scale Type Systems translated into Spanish
andrew-johnson-4/PunCalculus
A variant of Typed Lambda Calculus with generalized variable punning (ad-hoc polymorphism)
andrew-johnson-4/doby
Doby is a package manager and build tool for LM-family programs
andrew-johnson-4/lm-tutorial
Computation For the Working Mathematician