Universal markup converter

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Agda is a dependently typed programming language / interactive theorem prover.

💥💻💥 A data-parallel functional programming language

A wiki using HAppS, pandoc, and git

Misc. publications, conference slides, etc. For more, go to http:https://BartoszMilewski.com

Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at

Exercism exercises in Haskell.

Compiler for the Gren programming language

A command line utility for practicing typing and measuring your WPM and accuracy.

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

Pure Haskell commonmark parsing library, designed to be flexible and extensible

Haskell clone of a certain game

A free and opensource platform for studying the artificial language Lojban.

Books on programming language theory and linguistics in general.

The Haskell library for JSON 5