AstroNvim is an aesthetic and feature-rich neovim config that is extensible and easy to use with a great set of plugins
Updated 23 hours ago
My personal user config for AstroNvim
Updated 7 days ago
Site for AstroVim
Updated 7 days ago
building SQL categorically
Updated 2 weeks ago
Personal website hosted @
Updated 2 weeks ago
A framework for applied category theory in the Julia language
Updated 3 weeks ago
Various configuration files
Updated 4 weeks ago
Landing page for AlgebraicJulia
Updated 1 month ago
Updated 1 month ago
Misc. Notes Repository
Updated 2 months ago
My personal AstroVim configuration
Updated 3 months ago
Build petri net agent based models compositionally
Updated 4 months ago
custom m60 keyboard
Updated 4 months ago
This library allows one to create PGF/TikZ pictures and save in various formats.
Updated 5 months ago
Advent of Code 2021 Repository
Updated 5 months ago
Updated 6 months ago
Micah Halter's Genome calculated by 23andMe
Updated 6 months ago
Updated 7 months ago
Draw commutative diagrams using tikz-cd
Updated 7 months ago
Updated 8 months ago