andrew-johnson-4
Follow
-
lambda-mountain Public
Compiler Backend for LSTS (Typed Macro Assembler)
-
-
lsts-language-reference Public
LSTS Language Reference Website
-
-
lsts-tutorial Public
Tutorial for Large Scale Type Systems
-
LSTS Public
Large Scale Type Systems (programming language)
-
doby Public
Package Manager and Build Tool for LM / LSTS Programs
-
-
mu-lint Public
μlint - like `sed -i` but for code conventions
-
FFIre Public
Quickly generate FFI bindings from any language to any language
-
-
PunCalculus Public
A variant of Typed Lambda Calculus with generalized variable punning (ad-hoc polymorphism)
-
-
BootstrapBook Public
Learn how to Write a Compiler in 2000 Lines of Code
-
perplexity Public
A notational semantic for documenting neural networks through diagrams
-
L1DFA Public
Deterministic Finite-State Automata Library for Rust, written in L1
-
lsts-tutorial-es Public
Tutorial for Large Scale Type Systems translated into Spanish
-
Hands-On-Functional-Programming-in-Rust Public
Forked from PacktPublishing/Hands-On-Functional-Programming-in-RustHands-On Functional Programming in Rust, published by Packt