Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
garrettmills / gcdt
Alloy 0 0

Musings on Generalized Commutative Data Types

Updated 1 year ago

p5x / control-server
JavaScript 0 0

Updated 6 months ago

garrettmills / blog-comments
0 0

Comments on posts on my blog, powered by Vssue

Updated 2 years ago

garrettmills / shitdb
TypeScript 0 0

A rather crappy rdbms

Updated 2 years ago

Starship / node-radius-server
TypeScript 0 0

CoreID fork of node-radius-server

Updated 3 years ago

Starship / CoreID
JavaScript 0 0

Updated 6 days ago

Noded / api
0 0

Updated 2 years ago

garrettmills / www
JavaScript 0 0

Source code for my website, garrettmills.dev

Updated 5 months ago

garrettmills / maestro
JavaScript 0 0

Updated 3 years ago

garrettmills / typescript-dependent-types
0 0

Some small examples of dependent types in TypeScript

Updated 2 years ago

garrettmills / blog-chatgpt-coq
Coq 0 0

Adventures in AI-assisted proof generation

Updated 1 year ago

garrettmills / status
TypeScript 0 0

Updated 2 years ago

Archives / cudr_slate-collaborative
TypeScript 0 0
collaboration
collaborative-editing
crdt
react
rich-text-editor
slate
automerge
slatejs

Updated 3 years ago

garrettmills / haskell
Haskell 0 0

Learning and tinkering with Haskell

Updated 3 years ago

Archives / mghansen256_pythontex-wrapper
Shell 0 0

Wrapper around pdflatex to use pythontex in lyx.

Updated 4 years ago

p5x / cluster-autoscaler
0 0

Updated 1 year ago

Archives / tijder_SmsMatrix
Java 0 0

Updated 10 months ago

Loc-Chain / loc-chain-backend
TypeScript 0 0

Updated 3 years ago

Archives / cfenollosa_os-tutorial
C 0 0

Updated 7 months ago

garrettmills / mesh
TypeScript 0 0

Some adventures in mesh generation and triangulation

Updated 3 years ago