Self hosted my own git server

In an effort to up my git skills, as well as learn a bit of server management, I decided to self-host my own git server. Glad to say, it's up and running :)

Website released!

Today, I deployed my website on github pages. It's a bit rough around the edges, but I think it's in a good enough state to publish. If you can see this, that means it worked!

Working on a new Programming Project!

I'm working on a new Programming Project! With Prof. Perez, I'm writing examples for a specification of pi-calculus written in the Maude meta-programming langauge, demonstrating the automated dead-lock detection algorithm.