Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Dhall based flashcard generation app for anki.
-
Alternative composite record format for pandoc.
-
Write a Cofree [] as a JSON value with "head" and "tail" elements.
-
Minimal prelude with PolyKinds.
-
-
-
-
Silly little withXField combinators for adding fields to an existing JSON value.
-
ToDhall and FromDhall instances for composite records.
-
Linting utilities to add to your flake checks
-
NFT Minting Policy for Plutus
-
-
Linting utilities to add to your flake checks
-
-
NFT Contract for plutus
-
Multi Factor Authentication Validator for Plutus
-
Asset Bearer Authorisation Validator for Plutus
-
-
Public Key Authorisation Validator for Plutus
-
