Pinned Repositories
code-server
VS Code in the browser
doc-gen
Generate HTML documentation for mathlib and Lean
formalization
Formalization work. Meant to be collaborative. At least Agda and Lean for now.
geometry
Writing and formalizations around manifolds, algebras, and their various categories and toposes.
glangmead.github.io
hott_cmu80818
Companion code to CMU course on Homotopy Type Theory
longhead
Easily create a beautiful website using Academic and Hugo
lotrlcg
Tools to help play The Lord of the Rings LCG digitally
math-formalization-server
Docker app to experiment with formalization of mathematics in the browser
glangmead's Repositories
glangmead/formalization
Formalization work. Meant to be collaborative. At least Agda and Lean for now.
glangmead/hott_cmu80818
Companion code to CMU course on Homotopy Type Theory
glangmead/glangmead.github.io
glangmead/lotrlcg
Tools to help play The Lord of the Rings LCG digitally
glangmead/code-server
VS Code in the browser
glangmead/doc-gen
Generate HTML documentation for mathlib and Lean
glangmead/geometry
Writing and formalizations around manifolds, algebras, and their various categories and toposes.
glangmead/longhead
Easily create a beautiful website using Academic and Hugo
glangmead/math-formalization-server
Docker app to experiment with formalization of mathematics in the browser
glangmead/openmusictheory
A growing, online "textbook" for music theory and aural skills
glangmead/roguelikes
Docker files for playing some harder to find roguelikes (adom, tome2) on macOS
glangmead/shelfcentered
Rails app for sharing wishlists, e.g. https://www.shelfcentered.com
glangmead/shelfcenteredapp
iOS App version of shelfcentered.com
glangmead/Unciv
Open-source Android/Desktop remake of Civ V
glangmead/writing
My writing