Garrett Mills garrettmills

0 Seuraajat · 0 Seurataan

• Kansas City, Kansas
• https://garrettmills.dev/

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

• Liitytty Aug 11, 2020

Repot Paketit Julkinen toiminta Tähdelliset repot

Lajittele

Uusin Vanhin Aakkosjärjestyksessä Käänteisessä aakkosjärjestyksessä Äskettäin päivitetty Kauiten aikaa sitten päivitetty Eniten tähtiä Vähiten tähtiä Eniten forkattu Vähiten forkattu

Hae

www

JavaScript 0 0

Source code for my website, garrettmills.dev

Päivitetty 5 kuukautta sitten

puppeteer-jest-example

TypeScript 0 0

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

Päivitetty 11 kuukautta sitten

links

0 0

A collection of articles & links

Päivitetty 11 kuukautta sitten

blog-chatgpt-coq

Coq 0 0

Adventures in AI-assisted proof generation

Päivitetty 1 vuosi sitten

eecs700-final

HTML 0 0

Päivitetty 1 vuosi sitten

slides

HTML 0 0

Päivitetty 1 vuosi sitten

gcdt

Alloy 0 0

Musings on Generalized Commutative Data Types

Päivitetty 1 vuosi sitten

status

TypeScript 0 0

Päivitetty 2 vuotta sitten

typescript-dependent-types

0 0

Some small examples of dependent types in TypeScript

Päivitetty 2 vuotta sitten

tsx-playground

TypeScript 0 0

Päivitetty 2 vuotta sitten

blog-comments

0 0

Comments on posts on my blog, powered by Vssue

Päivitetty 2 vuotta sitten

go-interp-eg

Go 0 0

Minimal example of using Go generics to build an interpreter

Päivitetty 2 vuotta sitten

ts-static-this

TypeScript 0 0

Päivitetty 2 vuotta sitten

shitdb

TypeScript 0 0

A rather crappy rdbms

Päivitetty 2 vuotta sitten

blog-runtime-types

TypeScript 0 0

Päivitetty 2 vuotta sitten