GHC (Glasgow Haskell Compiler)

The de facto standard Haskell compiler, started at the University of Glasgow in 1992. Known for aggressive optimization, type system extensions (GADTs, type families), and serving as a testbed for PL research ideas.