Pinned Repositories
adarkroom
A Dark Room - A Minimalist Text Adventure
aoc23
Flattastic
A flat Gtk3, Gtk2, Metacity, Unity, Xfwm4 and Openbox theme
Goodtime
:hourglass_flowing_sand: productivity app for Android
home-manager
Manage a user environment using Nix [maintainer=@rycee]
klee
KLEE Symbolic Execution Engine
nixpkgs
Nix Packages collection
nvim-lspconfig
Quickstart configurations for the Nvim LSP client
prevo
Portebla versio de la Reta Vortaro por Android
python-l20n
L20n implementation in Python
spagy's Repositories
spagy/Flattastic
A flat Gtk3, Gtk2, Metacity, Unity, Xfwm4 and Openbox theme
spagy/adarkroom
A Dark Room - A Minimalist Text Adventure
spagy/aoc23
spagy/Goodtime
:hourglass_flowing_sand: productivity app for Android
spagy/home-manager
Manage a user environment using Nix [maintainer=@rycee]
spagy/klee
KLEE Symbolic Execution Engine
spagy/nixpkgs
Nix Packages collection
spagy/nvim-lspconfig
Quickstart configurations for the Nvim LSP client
spagy/prevo
Portebla versio de la Reta Vortaro por Android
spagy/python-l20n
L20n implementation in Python
spagy/refined
Refinement types with static checking
spagy/rfcs
RFC process for Bytecode Alliance projects
spagy/skill-installer
Mycroft AI official Skill installation Skill - allowing voice installation of Skills
spagy/skill-volume
Mycroft AI official Volume Skill - control the volume of your Device
spagy/skill_easter_eggs
fun easter eggs for mycroft
spagy/spec
Specification and design documents for L20n
spagy/StreetComplete
Easy to use OpenStreetMap editor for Android
spagy/Telegram
Telegram for Android source
spagy/titlecase
Capitalize all English words except articles, coordinating conjunctions, and prepositions (unless they begin or end the title).
spagy/Tuxemon
Open source monster-fighting RPG.
spagy/webTube
Android wrapper for the YouTube website with a couple little tweaks.
spagy/zeroclickinfo-goodies
DuckDuckGo instant answer plugins based on Perl functions