andrew-johnson-4

Stringly Typed

LibExplainer.comHelena, Montana

Pinned Repositories

andrew-johnson-4
My README
3 1 10
BootstrapBook
Learn how to Write a Compiler in 2000 Lines of Code
8 1 00
Hands-On-Functional-Programming-in-Rust
Hands-On Functional Programming in Rust, published by Packt
Language:Rust8 0 00
L1DFA
Deterministic Finite-State Automata Library for Rust, written in L1
Language:Rust2 1 100
lambda-mountain
Compiler Backend for LSTS (Typed Macro Assembler)
Language:C20 1 4791
LSTS
Large Scale Type Systems (programming language)
Language:Rust113 3 1293
lsts-tutorial
Tutorial for Large Scale Type Systems
Language:JavaScript7 1 12
lsts-tutorial-es
Tutorial for Large Scale Type Systems translated into Spanish
Language:JavaScript2 1 01
perplexity
A notational semantic for documenting neural networks through diagrams
Language:HTML14 2 00
PunCalculus
A variant of Typed Lambda Calculus with generalized variable punning (ad-hoc polymorphism)
Language:Rust3 1 100

andrew-johnson-4/LSTS
Large Scale Type Systems (programming language)
Language:Rust113 3 1293
andrew-johnson-4/lambda-mountain
Compiler Backend for LSTS (Typed Macro Assembler)
Language:C20 1 4791
andrew-johnson-4/perplexity
A notational semantic for documenting neural networks through diagrams
Language:HTML14 2 00
andrew-johnson-4/BootstrapBook
Learn how to Write a Compiler in 2000 Lines of Code
8 1 00
andrew-johnson-4/Hands-On-Functional-Programming-in-Rust
Hands-On Functional Programming in Rust, published by Packt
Language:Rust8 0 00
andrew-johnson-4/lsts-tutorial
Tutorial for Large Scale Type Systems
Language:JavaScript7 1 12
andrew-johnson-4/andrew-johnson-4
My README
3 1 10
andrew-johnson-4/PunCalculus
A variant of Typed Lambda Calculus with generalized variable punning (ad-hoc polymorphism)
Language:Rust3 1 100
andrew-johnson-4/L1DFA
Deterministic Finite-State Automata Library for Rust, written in L1
Language:Rust2 1 100
andrew-johnson-4/lsts-tutorial-es
Tutorial for Large Scale Type Systems translated into Spanish
Language:JavaScript2 1 01
andrew-johnson-4/AI4P
An inference that always brings peace
1 1 0
andrew-johnson-4/CLM
C-style frontend to the LM programming language
1 1 0
andrew-johnson-4/draft-table
LM based game development platform
1