You've reached my GitHub profile. You can visit my LinkedIn profile or read my resume to learn more about me (and get my contact information).
Check out these tiny projects I worked on in my free time:
- WMATA Info - Washington, D.C. Metro arrivals and departures (includes a metro system map).
- Solving Wordle with Z3: A Case Study - Z3 SMT solver to simulate and solve Wordle puzzles.
- Predicting MLS Results - Using a Hidden Markov model to predict the outcome of MLS soccer matches.
- Podcast Automation with AWS - How I completely automated a sports statistics podcast using AWS.