Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
Haxe backend for idris2
-
NFT Contract for plutus
-
-
-
HKD ReaderT pattern for composite.
-
-
Icons for gitlab.homotopic.tech.
-
-
-
-
-
-
-
Extensible records and corecords in Idris
-
Plutus starter template
-
Linting utilities to add to your flake checks
-
Linting utilities to add to your flake checks
-
-
