trey3p
Follow
-
-
kickstart.nvim Public
Forked from nvim-lua/kickstart.nvimA launch point for your personal nvim configuration
Lua MIT License UpdatedJul 3, 2025 -
topology Public
topology primer - the intention is to cover just enough point set topology to ramp up to algebraic topology
TeX UpdatedDec 26, 2024 -
-
-
quasi-quote Public
Forked from UlfNorell/quasi-quoteQuasi-quoting library for agda
Agda UpdatedNov 29, 2024 -
maritime-traffic Public
An analysis of maritime traffic using satellite imagery from Google Earth Engine.
-