Garrett Mills garrettmills
0 Followers · 0 Following
  • Kansas City, Kansas
  • https://garrettmills.dev/

  • I'm a speaker, developer, and designer who builds things for the modern web.

  • Joined on
Repositories Packages Public Activity Starred Repositories
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
docker-isolate
Shell 0 0

Isolate partial layers from a Docker image

Updated 3 weeks ago

www
JavaScript 0 0

Source code for my website, garrettmills.dev

Updated 3 weeks ago

g.bash
Shell 0 0

A Bash framework.

Updated 2 months ago

puppeteer-jest-example
TypeScript 0 0

An example configuration of Jest + TypeScript + Puppeteer for E2E testing.

Updated 1 year ago

links
0 0

A collection of articles & links

Updated 1 year ago

blog-chatgpt-coq
Coq 0 0

Adventures in AI-assisted proof generation

Updated 2 years ago

eecs700-final
HTML 0 0

Updated 2 years ago

slides
HTML 0 0

Updated 2 years ago

gcdt
Alloy 0 0

Musings on Generalized Commutative Data Types

Updated 2 years ago

status
TypeScript 0 0

Updated 2 years ago

typescript-dependent-types
0 0

Some small examples of dependent types in TypeScript

Updated 2 years ago

tsx-playground
TypeScript 0 0

Updated 2 years ago

blog-comments
0 0

Comments on posts on my blog, powered by Vssue

Updated 2 years ago

go-interp-eg
Go 0 0

Minimal example of using Go generics to build an interpreter

Updated 2 years ago

ts-static-this
TypeScript 0 0

Updated 2 years ago