A declarative Unix terminal UI library written in Haskell
Agda is a dependently typed programming language
Educational computer programming environment using Haskell
Haskell game engine library for roguelike dungeon crawlers
Haskell to JavaScript compiler, based on GHC
a small .pdf management tool with a command-line UI
A GHC-based Haskell to JavaScript compiler