Hayden Westphal's repositories
Language:HTML000
Language:JavaScript000
Capture-Cam
UIowa Hackathon
Language:Python000
Language:JavaScript000
ial
The Iowa Agda Library
Language:AgdaMIT000
itshdog
Config files for my GitHub profile.
000
itshdog.com
The code included with my personal webiste, www.itshdog.com Primarily utilizes HTML & CSS, with a hint of JavaScript
Language:HTML000
Language:JavaScript000
monkeytype-bot
Discord bot for Monkeytype
Language:JavaScript000
Language:JavaScript000
Language:JavaScript000
Todo-List
A simple todo list
Language:JavaScript000
Tutorial-Mod
A tutorial mod for the game Risk of Rain 2. This is not meant to be used, and it only for my own practice.
Language:C#000
typings
A sleek and modern typing website
Language:JavaScriptGPL-3.0000
Language:C#000