Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
Converts a flake in to gitlab ci jobs
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Extensible records and corecords in Idris
-
Haxe AST in Idris
-
Plutus starter template
-
Haxe backend for idris2
-
Linting utilities to add to your flake checks