Garrett Mills garrettmills
0 Seguaci · 0 Seguiti
  • Kansas City, Kansas
  • https://garrettmills.dev/

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

  • Si è unito il
Repository Pacchetti Attività pubblica Repositories votate
Ordina
Più recenti Più vecchi In ordine alfabetico In ordine alfabetico inverso Aggiornati di recente Aggiornati tempo fa Più favoriti Meno favoriti Maggior numero di fork Minor numero di fork
www
JavaScript 0 0

Source code for my website, garrettmills.dev

Aggiornato 6 ore fa

puppeteer-jest-example
TypeScript 0 0

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

Aggiornato 11 mesi fa

links
0 0

A collection of articles & links

Aggiornato 12 mesi fa

blog-chatgpt-coq
Coq 0 0

Adventures in AI-assisted proof generation

Aggiornato 1 anno fa

eecs700-final
HTML 0 0

Aggiornato 1 anno fa

slides
HTML 0 0

Aggiornato 1 anno fa

gcdt
Alloy 0 0

Musings on Generalized Commutative Data Types

Aggiornato 1 anno fa

status
TypeScript 0 0

Aggiornato 2 anni fa

typescript-dependent-types
0 0

Some small examples of dependent types in TypeScript

Aggiornato 2 anni fa

tsx-playground
TypeScript 0 0

Aggiornato 2 anni fa

blog-comments
0 0

Comments on posts on my blog, powered by Vssue

Aggiornato 2 anni fa

go-interp-eg
Go 0 0

Minimal example of using Go generics to build an interpreter

Aggiornato 2 anni fa

ts-static-this
TypeScript 0 0

Aggiornato 2 anni fa

shitdb
TypeScript 0 0

A rather crappy rdbms

Aggiornato 2 anni fa

blog-runtime-types
TypeScript 0 0

Aggiornato 2 anni fa