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
archive-arc-icon-theme
Shell 0 0

Updated 7 years ago

archive-posy-cursors
Shell 0 0

Updated 3 years ago

back2semantics
HTML 0 0

Updated 3 years ago

blog-chatgpt-coq
Coq 0 0

Adventures in AI-assisted proof generation

Updated 6 months ago

blog-comments
0 0

Comments on posts on my blog, powered by Vssue

Updated 1 year ago

blog-runtime-types
TypeScript 0 0

Updated 2 years ago

cplusplus.js
C++ 0 0

Updated 3 years ago

daton
TypeScript 0 0

Updated 3 years ago

daton_app
TypeScript 0 0

Starter for an application with the Daton framework

Updated 3 years ago

devbug
JavaScript 0 0

Updated 3 years ago

devbugjs
JavaScript 0 0

Updated 3 years ago

do_what
Python 0 0

Updated 3 years ago

eecs368-connect4
JavaScript 0 0

Updated 3 years ago

eecs448-lab10
PHP 0 0

Updated 3 years ago

eecs448-project-1
JavaScript 0 0

Updated 3 years ago