The Glorious Glasgow Haskell Compiler.
Typing rules for Haskell
Scripts and stuff for tracking spurious CI failures in GHC
Dockerfiles for building the images we use for CI