Garrett Mills garrettmills
0 Seguidores · 0 Seguindo
  • 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 Atividade pública Repositórios favoritos
Ordenação
Mais recentes Mais antigos Alfabeticamente Alfabeticamente inverso Mais recentemente atualizados Menos recentemente atualizados Mais estrelas Menos estrelas Mais forks Menos forks
www
JavaScript 0 0

Source code for my website, garrettmills.dev

Atualizado 1 dia atrás

puppeteer-jest-example
TypeScript 0 0

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

Atualizado 12 meses atrás

links
0 0

A collection of articles & links

Atualizado 12 meses atrás

blog-chatgpt-coq
Coq 0 0

Adventures in AI-assisted proof generation

Atualizado 1 ano atrás

eecs700-final
HTML 0 0

Atualizado 1 ano atrás

slides
HTML 0 0

Atualizado 1 ano atrás

gcdt
Alloy 0 0

Musings on Generalized Commutative Data Types

Atualizado 1 ano atrás

status
TypeScript 0 0

Atualizado 2 anos atrás

typescript-dependent-types
0 0

Some small examples of dependent types in TypeScript

Atualizado 2 anos atrás

tsx-playground
TypeScript 0 0

Atualizado 2 anos atrás

blog-comments
0 0

Comments on posts on my blog, powered by Vssue

Atualizado 2 anos atrás

go-interp-eg
Go 0 0

Minimal example of using Go generics to build an interpreter

Atualizado 2 anos atrás

ts-static-this
TypeScript 0 0

Atualizado 2 anos atrás

shitdb
TypeScript 0 0

A rather crappy rdbms

Atualizado 2 anos atrás

blog-runtime-types
TypeScript 0 0

Atualizado 2 anos atrás