Garrett Mills garrettmills
0 Подписчики · 0 Подписки
  • Kansas City, Kansas
  • https://garrettmills.dev/

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

  • Присоединился(-ась)
Репозитории Пакеты Активность Избранные репозитории
Сортировать
Новейшие Старейшие По алфавиту С конца алфавита Недавно обновленные Давно обновленные Больше звезд Меньше звезд Больше форков Меньше форков
www
JavaScript 0 0

Source code for my website, garrettmills.dev

Обновлено 18 часов назад

puppeteer-jest-example
TypeScript 0 0

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

Обновлено 12 месяцев назад

links
0 0

A collection of articles & links

Обновлено 12 месяцев назад

blog-chatgpt-coq
Coq 0 0

Adventures in AI-assisted proof generation

Обновлено 1 год назад

eecs700-final
HTML 0 0

Обновлено 1 год назад

slides
HTML 0 0

Обновлено 1 год назад

gcdt
Alloy 0 0

Musings on Generalized Commutative Data Types

Обновлено 1 год назад

status
TypeScript 0 0

Обновлено 2 лет назад

typescript-dependent-types
0 0

Some small examples of dependent types in TypeScript

Обновлено 2 лет назад

tsx-playground
TypeScript 0 0

Обновлено 2 лет назад

blog-comments
0 0

Comments on posts on my blog, powered by Vssue

Обновлено 2 лет назад

go-interp-eg
Go 0 0

Minimal example of using Go generics to build an interpreter

Обновлено 2 лет назад

ts-static-this
TypeScript 0 0

Обновлено 2 лет назад

shitdb
TypeScript 0 0

A rather crappy rdbms

Обновлено 2 лет назад

blog-runtime-types
TypeScript 0 0

Обновлено 2 лет назад