Garrett Mills garrettmills
0 Obserwujący · 0 Obserwowani
  • Kansas City, Kansas
  • https://garrettmills.dev/

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

  • Dołączył
Repozytoria Packages Publiczna aktywność Polubione repozytoria
Sortuj
Najnowsze Najstarsze Alfabetycznie Alfabetycznie odwrotnie Ostatnio aktualizowane Najdawniej aktualizowane Najwięcej gwiazdek Najmniej gwiazdek Najwięcej forków Najmniej forków
www
JavaScript 0 0

Source code for my website, garrettmills.dev

Zaktualizowano 5 miesięcy temu

puppeteer-jest-example
TypeScript 0 0

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

Zaktualizowano 11 miesięcy temu

links
0 0

A collection of articles & links

Zaktualizowano 11 miesięcy temu

blog-chatgpt-coq
Coq 0 0

Adventures in AI-assisted proof generation

Zaktualizowano 1 rok temu

eecs700-final
HTML 0 0

Zaktualizowano 1 rok temu

slides
HTML 0 0

Zaktualizowano 1 rok temu

gcdt
Alloy 0 0

Musings on Generalized Commutative Data Types

Zaktualizowano 1 rok temu

status
TypeScript 0 0

Zaktualizowano 2 lat temu

typescript-dependent-types
0 0

Some small examples of dependent types in TypeScript

Zaktualizowano 2 lat temu

tsx-playground
TypeScript 0 0

Zaktualizowano 2 lat temu

blog-comments
0 0

Comments on posts on my blog, powered by Vssue

Zaktualizowano 2 lat temu

go-interp-eg
Go 0 0

Minimal example of using Go generics to build an interpreter

Zaktualizowano 2 lat temu

ts-static-this
TypeScript 0 0

Zaktualizowano 2 lat temu

shitdb
TypeScript 0 0

A rather crappy rdbms

Zaktualizowano 2 lat temu

blog-runtime-types
TypeScript 0 0

Zaktualizowano 2 lat temu