Git, self-hosted

During a recent coffee chat, I was talking about a little learning project that I built for myself and my conversation partner asked “Is it online somewhere? I can’t find it on your GitHub”. The question made me pause, because I remembered that it was in fact online, but not in the usual place people look.

Since 2021, I’ve operated my own Git server. I’ve never advertised it, since it mostly contains things I’ve developed for myself. It does, however, hold around 90 repositories, including things like my website’s source code, my resume, all of my terminal configurations, and other small things that might be fun to browse.

Some things to call out:

• The PL organization contains a few of my language implementation projects over the years.
• The degrowth organization contains simple tools, such as a browser, a browser rendering engine, a minimal Git implementation, a terminal editor, a regular expression engine, and more. Most of these projects are pure learning projects, but they might still be useful as a didactic tool.
• infer is a simple inference engine that solves syllogisms.
• alacritty-config is a CLI tool and PyQt UI I use for managing my Alacritty terminal configuration.

There are some other gems and weird things in there, and it’s a good supplemental showcase (next to my GitHub) of what I’ve done over the years to understand systems and learn by doing.

Peruse it, and do tell me when you find something that’s cool, interesting, or weird! I’d be more than happy to walk you through it or write a blog post about anything on there.