Adventures in AI-assisted proof generation
Updated 1 week ago
Updated 3 months ago
Musings on Generalized Commutative Data Types
Updated 4 months ago
Wrapper around pdflatex to use pythontex in lyx.
Updated 2 years ago
Updated 3 months ago
Updated 6 months ago
Some small examples of dependent types in TypeScript
Updated 6 months ago
Updated 5 years ago
Updated 8 months ago
Updated 9 months ago
A collection of articles & links
Updated 6 months ago
Updated 2 years ago
Updated 5 months ago
Comments on posts on my blog, powered by Vssue
Updated 11 months ago
Minimal example of using Go generics to build an interpreter
Updated 11 months ago
Updated 4 months ago
Updated 4 months ago
Updated 12 months ago
Source code for my website, garrettmills.dev
Updated 1 week ago
Updated 3 years ago