Repositories Users Organizations
Filter
Sort
garrettmills/ mark-mark
TypeScript 0 0
A TypeScript MarkMark parser/renderer collection
Updated 2025-06-13 21:27:38 +00:00
p5x/ csi-driver
0 0
Updated 2025-04-23 02:47:03 +00:00
garrettmills/ pg-recover
0 0
A dirty, terrible, dangerous Postgres recovery tool.
Updated 2025-01-11 21:45:20 +00:00
garrettmills/ chorus
0 0
Email-based comments
Updated 2025-01-21 02:50:44 +00:00
p5x/ api-server
0 0
Updated 2025-04-23 03:44:14 +00:00
garrettmills/ docker-isolate
Shell 0 0
Isolate partial layers from a Docker image
Updated 2024-09-28 08:00:17 +00:00
garrettmills/ puppeteer-jest-example
TypeScript 0 0
An example configuration of Jest + TypeScript + Puppeteer for E2E testing.
Updated 2024-09-28 16:27:28 +00:00
garrettmills/ blog-chatgpt-coq
Coq 0 0
Adventures in AI-assisted proof generation
Updated 2024-09-28 03:37:43 +00:00
garrettmills/ eecs700-final
HTML 0 0
Updated 2024-09-28 04:17:42 +00:00
garrettmills/ gcdt
Alloy 0 0
Musings on Generalized Commutative Data Types
Updated 2024-09-28 04:12:22 +00:00
Archives/ mghansen256_pythontex-wrapper
Shell 0 0
Wrapper around pdflatex to use pythontex in lyx.
Updated 2020-10-29 12:09:31 +00:00
garrettmills/ slides
HTML 0 0
Updated 2024-09-28 06:26:06 +00:00
garrettmills/ status
TypeScript 0 0
Updated 2024-09-28 03:35:31 +00:00
garrettmills/ typescript-dependent-types
0 0
Some small examples of dependent types in TypeScript
Updated 2024-09-28 05:26:48 +00:00
Archives/ crioux__turbo-linecount
C++ 0 0
Updated 2018-04-25 22:54:28 +00:00
Noded/ api
0 0
Updated 2022-08-03 21:40:25 +00:00
garrettmills/ tsx-playground
TypeScript 0 0
Updated 2024-09-28 08:24:14 +00:00
garrettmills/ links
0 0
A collection of articles & links
Updated 2024-09-28 04:55:18 +00:00
Archives/ jdupouy_radicale3-auth-ldap
Python 0 0
Updated 2021-04-07 04:09:06 +00:00
Archives/ thenickdude_KVM-Opencore
Makefile 0 0
bigsur catalina hackintosh macos monterey opencore proxmox
Updated 2024-11-30 07:00:41 +00:00