she/her
Computer Science student. Aspiring Sysadmin. Eagle Scout
My code may not be good, but it (mostly) works
General-purpose discord bot
A set of chat bots that allows automated deployment based on sr.ht build files
Server/client to automatically deploy new peers
Link an OAuth account with a Discord account
Duckie Centralized Operations - Management of IRC Servers made easy
81f954e meta: Add privacy policy
~muirrum pushed to ~muirrum/gompei-verification git
a2e61c5 web: Allow customization of listen port
~muirrum pushed to ~muirrum/gompei-verification git
f3a8cec Come out
~muirrum pushed to ~muirrum/devosmium.xyz git
4162b9d Come out
~muirrum pushed to ~muirrum/devosmium.xyz git
10222b8 Summer status update
~muirrum pushed to ~muirrum/devosmium.xyz git
b6b2a9a Fix spelling
~muirrum pushed to ~muirrum/devosmium.xyz git