Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
Linting utilities to add to your flake checks
-
-
ToDhall and FromDhall instances for Path
-
My .xmonad config.
-
-
Linting utilities to add to your flake checks
-
-
-
Homotopic.Tech GitLab pipeline definitions.
-
Fixed length zipper comonad
-
Plutus starter template
-
-
-
KVStore effect for polysemy.
-
Custom stackage snapshots for Homotopic.Tech projects.
-
Formatting for an SRT subtitle track.
-
SRT subtitle data format.
-
Attempt at a shake-based static site prelude.
-
