GitLab

Homotopic.Tech GitLab pipeline definitions.

Types for anki connect.

Ffmpeg prelude for dhall.

Prelude for use with hpack-dhall.

NixOS configurations

My .xmonad config.

Minimal prelude with PolyKinds.

Functions for using polysemy-methodology in conjunction with composite.

Zipper utils that weren't in Control.Comonad.Store.Zipper.

A type representing a value within another path.

Version of loeb's theorem for extensible records.

UnliftIO using well-typed paths.

Dhall instances for SRT.

Attempt at a shake-based static site prelude.

Experimental extensions to shake-plus - within-style file rules, HashMap and IxSet batch loaders.

Attempt at a batteries included Shake using well-typed Paths and typeclasses.

Extra functions for using vinyl records in polysemy.

Logging for polysemy-methodology.

Miscellaneous utils for the path library.