Garrett Mills garrettmills
0 Seguidores · 0 Que segue
  • Kansas City, Kansas
  • https://garrettmills.dev/

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

  • Inscreveu-se em
Repositórios Pacotes Trabalho público Repositórios favoritos
Ordem
Mais recentes Mais antigas por ordem alfabética por ordem alfabética inversa Modificadas recentemente Modificadas há muito tempo Favorito (decrescente) Favorito (crescente) Mais derivações Menos derivações
www
JavaScript 0 0

Source code for my website, garrettmills.dev

Modificado há 6 horas

puppeteer-jest-example
TypeScript 0 0

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

Modificado há 12 meses

links
0 0

A collection of articles & links

Modificado há 12 meses

blog-chatgpt-coq
Coq 0 0

Adventures in AI-assisted proof generation

Modificado há 1 ano

eecs700-final
HTML 0 0

Modificado há 1 ano

slides
HTML 0 0

Modificado há 1 ano

gcdt
Alloy 0 0

Musings on Generalized Commutative Data Types

Modificado há 1 ano

status
TypeScript 0 0

Modificado há 2 anos

typescript-dependent-types
0 0

Some small examples of dependent types in TypeScript

Modificado há 2 anos

tsx-playground
TypeScript 0 0

Modificado há 2 anos

blog-comments
0 0

Comments on posts on my blog, powered by Vssue

Modificado há 2 anos

go-interp-eg
Go 0 0

Minimal example of using Go generics to build an interpreter

Modificado há 2 anos

ts-static-this
TypeScript 0 0

Modificado há 2 anos

shitdb
TypeScript 0 0

A rather crappy rdbms

Modificado há 2 anos

blog-runtime-types
TypeScript 0 0

Modificado há 2 anos