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 2020-08-11
Repositories
51
 Projects Packages Public Activity Starred Repositories
Filter
Sort
blog-runtime-types
TypeScript 0 0
Updated 2024-09-28 05:39:24 +00:00
blog-comments
0 0
Comments on posts on my blog, powered by Vssue
Updated 2022-05-06 02:28:59 +00:00
blog-chatgpt-coq
Coq 0 0
Adventures in AI-assisted proof generation
Updated 2024-09-28 03:37:43 +00:00
back2semantics
HTML 0 0
Updated 2024-09-28 08:55:43 +00:00
archive-posy-cursors
Shell 0 0
Updated 2024-09-28 03:30:45 +00:00
archive-arc-icon-theme
Shell 0 0
Updated 2016-11-22 21:23:00 +00:00