- Kansas City, Kansas
- https://garrettmills.dev/
-
I'm a speaker, developer, and designer who builds things for the modern web.
- Joined on
Updated 3 years ago
Some small examples of dependent types in TypeScript
Updated 2 years ago
Adventures in AI-assisted proof generation
Updated 1 year ago
Updated 2 years ago
Learning and tinkering with Haskell
Updated 3 years ago
An example configuration of Jest + TypeScript + Puppeteer for E2E testing.
Updated 11 months ago
Updated 4 years ago
Updated 4 years ago
Updated 4 years ago
Command-line utilities that lift up your code
Updated 3 years ago
Updated 3 years ago
Updated 3 years ago
Updated 4 years ago
Updated 3 years ago
Updated 2 years ago