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.

  • Приєднався(-лась)
Репозиторії Packages Публічна активність Обрані Репозиторії
Сортувати
Найновіші Найстаріші За алфавітом З кінця алфавіту Нещодавно оновлено Найдавніше оновлені Найбільш обраних Найменш обраних Найбільше форків Найменше форків
www
JavaScript 0 0

Source code for my website, garrettmills.dev

Оновлено 2 дні тому

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 роки тому