nathan's repositories
powertoys-run-unicode
PowerToys Run module to permit Agda symbolic input (via Run) anywhere!
awesome-powertoys-run-plugins
๐๏ธ๐ Delightful PowerToys Run community plugins ๐
CC0-1.0000
bs-parity
A simple parity checking tool for Beat Saber maps
Language:JavaScriptGPL-3.0000
flippy
Hanover Flip-Dot Display Controller
Language:Python000
Huxley2
A cross-platform JSON proxy for the GB railway Live Departure Boards SOAP API
Language:C#EUPL-1.2000
maprater
Overwatch Map Rating System
Language:Python000
powertoys-run-currency
Currency conversion in PowerToys Run
Language:C#MIT000
sortr
A python module to smartly sort MP3 and FLAC files into folders based upon their ID3 tags, as well as other useful features
Language:Python000
timetracker
An intentionally minimal time tracking app
Language:Python000