Pire — A refactoring tool for the dependently typed programming language Pi-Forall (abandoned).
dependent-types — Some inspirations for dependent types, MiniTT, Haskell's Bound library, etc.
minitt — My implementation of MiniTT, in terms of Haskell's Bound library (abandoned).
backup — My backup script, a wrapper for rsync, restic, and (unmaintained:) rdiff-backup, in terms of Haskell-Turtle, -Shake, and Gauche-Scheme.
snippets — Extract code snippets in special comments from Haskell files (and similar for
channel — My channel of (missing for me: Emacs-, and Haskell-) Guix packages.