Allure of the Stars is a near-future roguelike game in early development. It is based on the versatile LambdaHack engine, employs procedural content generation and is written in Haskell. See the wiki.