Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
garrettmills / docker-isolate
Shell 0 0

Isolate partial layers from a Docker image

Updated 3 weeks ago

garrettmills / puppeteer-jest-example
TypeScript 0 0

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

Updated 1 year ago

p5x / cluster-autoscaler
0 0

Updated 1 year ago

p5x / csi-driver
0 0

Updated 1 year ago

p5x / control-server
JavaScript 0 0

Updated 11 months ago

garrettmills / blog-chatgpt-coq
Coq 0 0

Adventures in AI-assisted proof generation

Updated 2 years ago

garrettmills / eecs700-final
HTML 0 0

Updated 2 years ago

garrettmills / gcdt
Alloy 0 0

Musings on Generalized Commutative Data Types

Updated 2 years ago

Archives / mghansen256_pythontex-wrapper
Shell 0 0

Wrapper around pdflatex to use pythontex in lyx.

Updated 4 years ago

garrettmills / slides
HTML 0 0

Updated 2 years ago

garrettmills / status
TypeScript 0 0

Updated 2 years ago

garrettmills / typescript-dependent-types
0 0

Some small examples of dependent types in TypeScript

Updated 2 years ago

Archives / crioux__turbo-linecount
C++ 0 0

Updated 6 years ago

Noded / api
0 0

Updated 2 years ago

garrettmills / tsx-playground
TypeScript 0 0

Updated 2 years ago

garrettmills / links
0 0

A collection of articles & links

Updated 1 year ago

Archives / jdupouy_radicale3-auth-ldap
Python 0 0

Updated 3 years ago

Archives / thenickdude_KVM-Opencore
Makefile 0 0
bigsur
catalina
hackintosh
macos
monterey
opencore
proxmox

Updated 6 months ago

garrettmills / blog-comments
0 0

Comments on posts on my blog, powered by Vssue

Updated 2 years ago

garrettmills / go-interp-eg
Go 0 0

Minimal example of using Go generics to build an interpreter

Updated 2 years ago