Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Dhall based flashcard generation app for anki.
-
-
-
Gift Validator for Plutus
-
Homotopic.Tech GitLab pipeline definitions.
-
HashMap lookup lifted to MonadThrow.
-
-
Simple haskell.nix application for smoke testing.
-
-
Haxe AST in Idris
-
The website https://homotopic.tech
-
-
-
Prelude for use with hpack-dhall.
-
Html semantics for dhall
-
Icons for gitlab.homotopic.tech.
-
Haxe backend for idris2
-
-
-
Binary instance for ixset-typed.