GitLab

Homotopic.Tech GitLab pipeline definitions.

Fixed length zipper comonad

Silly little withXField combinators for adding fields to an existing JSON value.

Binary instance for path.

MonadThrow versions of some pandoc functions.

Dhall instances for SRT.

Version of loeb's theorem for extensible records.

ToDhall and FromDhall instances for Path

My .xmonad config.

Linting utilities to add to your flake checks

Plutus starter template

KVStore effect for polysemy.

Html semantics for dhall

Types for anki connect.

Gift Validator for Plutus

NixOS configurations

Proof Of Concept Dhall roundtrip IPC node.