|
rofi-picker
|
|
flake-templates
|
|
tlpi-dist
|
|
advent2023
|
|
knotools
|
|
mods
|
|
slide2text
|
|
nix-config
|
|
cabal2nix-question
|
|
hippoid-tex
|
|
zettel
|
|
bib-tex
|
|
joy-of-abstraction
|
|
book-of-proof
|
|
disko
|
|
idrisr.github.io
|
|
nixpkgs
|
|
school-of-music
|
|
meaning-and-argument
|
|
hask-category
|
|
quickcheck-functions
|
|
monad-transformer-tutorial
|
|
thinking-as-computation
|
|
quickcheck-tuts
|
|
logic-programming-with-prolog
|
|
from-mathematics-to-generic-programming
|
|
thinking-functionally-with-haskell
|
|
Euterpea2
|
|
types-and-programming-languages
|
|
nixos-and-flakes-book
|
|
next
|