Garrett Mills garrettmills
0 abonnés · 0 Abonnements
  • Kansas City, Kansas
  • https://garrettmills.dev/

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

  • Inscrit le
Dépôts Packages Activité publique Dépôts favoris
Trier
Plus récent Plus ancien/ne Par ordre alphabétique Par ordre alphabétique inversé Mis à jour récemment Moins récemment mis à jour Favoris (décroissant) Favoris (croissant) Bifurcations (décroissant) Bifurcations (croissant)
www
JavaScript 0 0

Source code for my website, garrettmills.dev

Mis à jour il y a 5 mois

puppeteer-jest-example
TypeScript 0 0

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

Mis à jour il y a 11 mois

links
0 0

A collection of articles & links

Mis à jour il y a 11 mois

blog-chatgpt-coq
Coq 0 0

Adventures in AI-assisted proof generation

Mis à jour il y a 1 an

eecs700-final
HTML 0 0

Mis à jour il y a 1 an

slides
HTML 0 0

Mis à jour il y a 1 an

gcdt
Alloy 0 0

Musings on Generalized Commutative Data Types

Mis à jour il y a 1 an

status
TypeScript 0 0

Mis à jour il y a 2 ans

typescript-dependent-types
0 0

Some small examples of dependent types in TypeScript

Mis à jour il y a 2 ans

tsx-playground
TypeScript 0 0

Mis à jour il y a 2 ans

blog-comments
0 0

Comments on posts on my blog, powered by Vssue

Mis à jour il y a 2 ans

go-interp-eg
Go 0 0

Minimal example of using Go generics to build an interpreter

Mis à jour il y a 2 ans

ts-static-this
TypeScript 0 0

Mis à jour il y a 2 ans

shitdb
TypeScript 0 0

A rather crappy rdbms

Mis à jour il y a 2 ans

blog-runtime-types
TypeScript 0 0

Mis à jour il y a 2 ans