andrew-johnson-4

Andrew Johnson's repositories

Large Scale Type Systems (programming language)

Language:RustMIT99 4 128

A notational semantic for documenting neural networks through diagrams

Language:HTMLMIT13 20

Circuits to reduce dimensionality for transformers

Language:RustMIT9 1 1

Hands-On Functional Programming in Rust, published by Packt

Language:RustMIT800

A Compiler in 85K Instructions (3K SLOC)

Language:AssemblyMIT8 1 133

Tutorial for Large Scale Type Systems

Language:JavaScriptMIT7 1 1

Learn how to Write a Compiler in 2000 Lines of Code

MIT5 10

My README

MIT3 10

An implementation of several strongly-normalizing string rewriting systems

Language:RustMIT2 1 10

Deterministic Finite-State Automata Library for Rust, written in L1

Language:RustMIT2 1 10

Tutorial for Large Scale Type Systems translated into Spanish

Language:JavaScriptMIT2 10

A variant of Typed Lambda Calculus with generalized variable punning (ad-hoc polymorphism)

Language:RustMIT2 1 10

Doby is a package manager and build tool for LM-family programs

Language:RustMIT1 10

Computation For the Working Mathematician

MIT000