Explore projects
-
-
-
Hooks overlay: repository of Cabal packages migrated to use the Hooks build-type (instead of build-type: Custom)
Updated -
A formal specification and executable model of the ledger rules introduced by the Shelley release
Updated -
Configuration and documentation for GHC's continuous integration infrastructure.
Updated -
Configuration and documentation for GHC's continuous integration infrastructure.
Updated -
A nix expression for cross-compiling cabal-install.
Updated -
A nix expression for cross-compiling cabal-install.
Updated -
-
Updated
-
A GitLab bot which helps us with a variety of maintenance tasks.
Updated -
-
-
-
-
-
-
-