Explore projects
-
-
-
A QuickCheck testsuite for GHC's C-- pipeline and native code generation backends.
Updated -
Teo Camarasu / ghci-segfault-9.4
BSD 2-Clause "Simplified" LicenseUpdated -
Ben Gamari / haskell-language-server
Apache License 2.0Updated -
-
Ian-Woo Kim / ghc-specter
MIT LicenseUpdated -
Berk Özkütük / ghc.nix
BSD 3-Clause "New" or "Revised" LicenseA nix-shell expression for working on GHC
Updated -
-
Updated
-
-
Robert Mourey Jr / cardano-ledger-specs
Apache License 2.0A formal specification and executable model of the ledger rules introduced by the Shelley release
Updated -
A nix expression for cross-compiling cabal-install.
Updated -
-
-
-
-
-
