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
49
 Projects Packages Public Activity Starred Repositories
Filter
Sort
mesh
TypeScript 0 0
Some adventures in mesh generation and triangulation
Updated 2024-09-28 04:08:55 +00:00
devbug
JavaScript 0 0
Updated 2024-09-28 04:03:21 +00:00
maestro
JavaScript 0 0
Updated 2024-09-28 04:00:23 +00:00
blog-chatgpt-coq
Coq 0 0
Adventures in AI-assisted proof generation
Updated 2024-09-28 03:37:43 +00:00
eloquent-search
PHP 0 0
Updated 2024-09-28 03:36:48 +00:00
status
TypeScript 0 0
Updated 2024-09-28 03:35:31 +00:00
k8s-hpc-demo
Shell 0 0
Updated 2024-09-28 03:35:17 +00:00
old-sites
CSS 0 0
Updated 2024-09-28 03:34:56 +00:00
www
JavaScript 0 0
Source code for my website, garrettmills.dev
Updated 2024-09-28 03:34:48 +00:00
os
C++ 0 0
Bootloader/kernel/operating system build from scratch as a learning project
Updated 2024-09-28 03:34:01 +00:00
eecs448-project-4
JavaScript 0 0
Updated 2024-09-28 03:31:38 +00:00
daton
TypeScript 0 0
Updated 2024-09-28 03:31:12 +00:00
extollo-cli
TypeScript 0 0
Command-line utilities that lift up your code
Updated 2024-09-28 03:30:59 +00:00
archive-posy-cursors
Shell 0 0
Updated 2024-09-28 03:30:45 +00:00
blog-comments
0 0
Comments on posts on my blog, powered by Vssue
Updated 2022-05-06 02:28:59 +00:00