Garrett Mills garrettmills
  • 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