Michael's repositories
quad-configs
a place to store quad configs
open-kattis
my solutions for open.kattis.com
Language:C++000
gatus
⛑ Gatus - Automated service health dashboard
Language:GoApache-2.0000
hacktoberfest
Starting in 2019 CircleCI will now join in the annual tradition of Hacktoberfest! Check here for our current Hacktoberfest landing page and learn how you can participate.
000
000
Language:JavaScript000
Plair
Material theme music player that works across all form factors (phones, wear, auto, cast, assistant) and uses latest tools (Kotlin, Architecture components, Room, Databinding)
000
Project_Euler
My Project Euler Solutions
Language:CSS000
turbo-engine
playing around with webview and go
whisper.cpp
Port of OpenAI's Whisper model in C/C++
Language:CMIT000