Pinned Repositories
AA-Tree
AA-Tree in Idris
Arrows
Model multiset to multiset functions in Idris
Asymptote
compatibility-layer
Fork of compatibility-layer (upstream at https://github.com/EESSI/compatibility-layer.git)
dotfiles
Collection of program configuration files
dwl
dwm for Wayland
easybuild
Fork of easybuild (upstream at https://github.com/easybuilders/easybuild.git)
gentoo-overlay
Fork of gentoo-overlay (upstream at https://github.com/EESSI/gentoo-overlay.git)
graph
Inductive Graph Library
GraphDB
Dagger Category Database
spydr073's Repositories
spydr073/AA-Tree
AA-Tree in Idris
spydr073/Arrows
Model multiset to multiset functions in Idris
spydr073/Asymptote
spydr073/compatibility-layer
Fork of compatibility-layer (upstream at https://github.com/EESSI/compatibility-layer.git)
spydr073/dotfiles
Collection of program configuration files
spydr073/dwl
dwm for Wayland
spydr073/easybuild
Fork of easybuild (upstream at https://github.com/easybuilders/easybuild.git)
spydr073/gentoo-overlay
Fork of gentoo-overlay (upstream at https://github.com/EESSI/gentoo-overlay.git)
spydr073/graph
Inductive Graph Library
spydr073/GraphDB
Dagger Category Database
spydr073/Idoven-Data-Scientist
Idoven interview challenge
spydr073/perspective-el
Fork of perspective-el (upstream at https://github.com/nex3/perspective-el.git)
spydr073/random
PCG Random numbers for Idris
spydr073/software-layer
Fork of software-layer (upstream at https://github.com/EESSI/software-layer.git)
spydr073/spydr073.github.io
spydr073/tabbed
Suckless Tabbed with patches applied.
spydr073/Terminal
Simple terminal utilities for Idris
spydr073/Testing
Simple testing functions for Idris