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
blog-chatgpt-coq
Coq 0 0

Adventures in AI-assisted proof generation

Updated 1 week ago

eecs700-final
HTML 0 0

Updated 3 months ago

gcdt
Alloy 0 0

Musings on Generalized Commutative Data Types

Updated 4 months ago

slides
HTML 0 0

Updated 3 months ago

status
TypeScript 0 0

Updated 6 months ago

typescript-dependent-types
0 0

Some small examples of dependent types in TypeScript

Updated 6 months ago

tsx-playground
TypeScript 0 0

Updated 9 months ago

links
0 0

A collection of articles & links

Updated 6 months ago

blog-comments
0 0

Comments on posts on my blog, powered by Vssue

Updated 11 months ago

go-interp-eg
Go 0 0

Minimal example of using Go generics to build an interpreter

Updated 11 months ago

ts-static-this
TypeScript 0 0

Updated 12 months ago

www
JavaScript 0 0

Source code for my website, garrettmills.dev

Updated 1 week ago

shitdb
TypeScript 0 0

A rather crappy rdbms

Updated 1 year ago

blog-runtime-types
TypeScript 0 0

Updated 1 year ago

multicrypt
TypeScript 0 0

A library for multi-key reversible encryption

Updated 1 year ago