Michael's repositories
quad-configs
a place to store quad configs
open-kattis
my solutions for open.kattis.com
Language:PHP000
Language:Rust000
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
MIT000
Language:C++000
Language:Vue000
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
Language:TypeScriptMIT000
Project_Euler
My Project Euler Solutions
turbo-engine
playing around with webview and go
Language:HTML000
Language:JavaScriptMIT000
whisper.cpp
Port of OpenAI's Whisper model in C/C++
MIT000