Formalised complexity proof for "Efficient CHAD" in Agda

Official upstream development repository for Cabal and cabal-install

A machine learning compiler for GPUs, CPUs, and ML accelerators

The Haskell Foundation Tech Proposal Process

Allure of the Stars is a near-future Sci-Fi roguelike and tactical squad combat game written in Haskell; please offer feedback, e.g., after trying out the web frontend version at

GHCup metadata repository

A free, single-player roguelike dungeon exploration game

Implementing Quake 3 in Haskell & Vulkan

open idea exchange platform based on openglobus.

An arbitrary-precision differentiable programming language.

Proposed compiler and language changes for GHC and GHC/Haskell

Haskell to JavaScript compiler, based on GHC

A post-apocalyptic roguelike. New features relative to C:Whales are scheduled for after 0.2.0, the savefile breaking release.

All credit be to @osa1 and friends for their initial effort!

💸 Haskell bindings to the Bittrex cyrptocurrency exchange

Composite of poschengband, kangband, and other *bands with many new additions and gameplay changes

Knowledge Revolution

Knowledge Revolution

Haskell game engine library for roguelike dungeon crawlers

Games for Redox!

The Servo Browser Engine

Haskell game engine library for roguelike dungeon crawlers

Library and tool for parsing .eventlog files from GHC

A sandbox free-world roguelike game!

Haskell code prettifier