Garrett Mills garrettmills
0 Followers · 0 Following
  • Kansas City, Kansas
  • https://garrettmills.dev/

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

  • Joined on
Repositories Packages Public Activity Starred Repositories
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
haskell
Haskell 0 0

Learning and tinkering with Haskell

Updated 3 years ago

template-npm-typescript
TypeScript 0 0

A template repository for NPM packages built with Typescript and PNPM.

Updated 2 years ago

multicrypt
TypeScript 0 0

A library for multi-key reversible encryption

Updated 2 years ago

blog-runtime-types
TypeScript 0 0

Updated 2 years ago

shitdb
TypeScript 0 0

A rather crappy rdbms

Updated 2 years ago

ts-static-this
TypeScript 0 0

Updated 2 years ago

go-interp-eg
Go 0 0

Minimal example of using Go generics to build an interpreter

Updated 2 years ago

blog-comments
0 0

Comments on posts on my blog, powered by Vssue

Updated 2 years ago

tsx-playground
TypeScript 0 0

Updated 2 years ago

typescript-dependent-types
0 0

Some small examples of dependent types in TypeScript

Updated 2 years ago

status
TypeScript 0 0

Updated 2 years ago

gcdt
Alloy 0 0

Musings on Generalized Commutative Data Types

Updated 1 year ago

slides
HTML 0 0

Updated 1 year ago

eecs700-final
HTML 0 0

Updated 1 year ago

blog-chatgpt-coq
Coq 0 0

Adventures in AI-assisted proof generation

Updated 1 year ago