Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Haxe backend for idris2
-
Plutus starter template
-
Linting utilities to add to your flake checks
-
Linting utilities to add to your flake checks
-
Linting utilities to add to your flake checks
-
-
-
-
KVStore effect for polysemy.
-
ToDhall and FromDhall instances for composite records.
-
Minimal prelude with PolyKinds.
-
-
Converts a flake in to gitlab ci jobs
-
-
-
Validity instances for composite records.
-
postgresql-simple instances for composite
-
One-Shot Currency Contract for Plutus
-
NFT Minting Policy for Plutus
-
One-Shot-Currency Minting Policy for Plutus
