Garrett Mills garrettmills
0 Sekotāji · 0 Seko
  • Kansas City, Kansas
  • https://garrettmills.dev/

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

  • Pievienojās
Repozitoriji Pakotnes Publiskā aktivitāte Atzīmēti repozitoriji
Kārtot
Jaunākie Vecakie Alfabētiski Pretēji alfabētiski Nesen atjaunotās Vissenāk atjaunotās Visvairāk atzīmētie Vismazāk atzīmētie Visvairāk atdalītie Vismazāk atdalītie
www
JavaScript 0 0

Source code for my website, garrettmills.dev

Atjaunināts pirms 3 dienas

puppeteer-jest-example
TypeScript 0 0

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

Atjaunināts pirms 12 mēnešiem

links
0 0

A collection of articles & links

Atjaunināts pirms 12 mēnešiem

blog-chatgpt-coq
Coq 0 0

Adventures in AI-assisted proof generation

Atjaunināts pirms 1 gada

eecs700-final
HTML 0 0

Atjaunināts pirms 1 gada

slides
HTML 0 0

Atjaunināts pirms 1 gada

gcdt
Alloy 0 0

Musings on Generalized Commutative Data Types

Atjaunināts pirms 1 gada

status
TypeScript 0 0

Atjaunināts pirms 2 gadiem

typescript-dependent-types
0 0

Some small examples of dependent types in TypeScript

Atjaunināts pirms 2 gadiem

tsx-playground
TypeScript 0 0

Atjaunināts pirms 2 gadiem

blog-comments
0 0

Comments on posts on my blog, powered by Vssue

Atjaunināts pirms 2 gadiem

go-interp-eg
Go 0 0

Minimal example of using Go generics to build an interpreter

Atjaunināts pirms 2 gadiem

ts-static-this
TypeScript 0 0

Atjaunināts pirms 2 gadiem

shitdb
TypeScript 0 0

A rather crappy rdbms

Atjaunināts pirms 2 gadiem

blog-runtime-types
TypeScript 0 0

Atjaunināts pirms 2 gadiem