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

Markdown 0 0

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

TypeScript 0 0

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