Universal markup converter

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

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

🍜 A tasty Haskell web framework

A wiki using HAppS, pandoc, and git

lamdu - towards the next generation IDE

A multilingual package manager for Arch Linux and the AUR.

Easy dependency management for Nix projects

Contributed modules for xmonad

📖 source material for Thinking with Types

Compositional pipelines

Generically derive traversals, lenses, and prisms.

A bare-bones calculus-of-constructions

Parsing all context-free grammars using Earley's algorithm in Haskell.

A comprehensive Google Services SDK for Haskell.

Auto-generate a command-line parser for your datatype

💰 Stripe API

Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto

A Haskell binding to the X11 graphics library.

Express parametrable, composable and portable data pipelines

This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-json

Library of categories, with categorical constructions on them

Various modules for xmonad that cannot be added to xmonad-contrib because of additional dependencies.

Monad morphisms

㊙️ Google Translate API

Continuously varying values, made easy :)

Type-level well-kinded natural numbers.

💀 Compiler for the Rum language

Sized sequence data-types