Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
Linting utilities to add to your flake checks
-
Validity instances for composite records.
-
Haxe backend for idris2
-
Minimal prelude with PolyKinds.
-
Optics for variable-media-field.
-
Domain modelling semantics for polysemy.
-
runSeveral interpreter for polysemy
-
KVStore effect for polysemy.
-
Attoparsec parser for simple-media-timestamp.
-
Alternative composite record format for pandoc.
-
Run a KVStore as a filesystem in polysemy.
-
-
-
-
-
Dhall based flashcard generation app for anki.
-
-
Extra transformation functions for polysemy.
