Killian Smith's repositories
AA-Tree
AA-Tree in Idris
Language:Idris000
Arrows
Model multiset to multiset functions in Idris
Language:Idris000
000
compatibility-layer
Fork of compatibility-layer (upstream at https://github.com/EESSI/compatibility-layer.git)
Language:ShellGPL-2.0000
dotfiles
Collection of program configuration files
Language:Python000
dwl
dwm for Wayland
Language:CNOASSERTION000
easybuild
Fork of easybuild (upstream at https://github.com/easybuilders/easybuild.git)
Language:ShellGPL-2.0000
gentoo-overlay
Fork of gentoo-overlay (upstream at https://github.com/EESSI/gentoo-overlay.git)
Language:ShellGPL-2.0000
graph
Inductive Graph Library
Language:Idris000
GraphDB
Dagger Category Database
Language:Idris000
Idoven-Data-Scientist
Idoven interview challenge
Language:Shell000
random
PCG Random numbers for Idris
Language:C000
software-layer
Fork of software-layer (upstream at https://github.com/EESSI/software-layer.git)
Language:ShellGPL-2.0000
tabbed
Suckless Tabbed with patches applied.
Language:CMIT000
Terminal
Simple terminal utilities for Idris
Language:Idris000
Testing
Simple testing functions for Idris
Language:Idris000