A static website compiler library in Haskell

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

A multilingual package manager for Arch Linux and the AUR.

Official upstream development repository for Cabal and cabal-install

A declarative Unix terminal UI library written in Haskell

Resource gathering + programming game

The video editor built for screencasters

Type safe interface for working in subcategories of Hask

Diagrams standard library

Let's program! Get into programming writing a simple game.

First class composable record labels for Haskell.

An SVG backend for diagrams

A tiny DSL for HTML5 Canvas

Haskell-centric Fast Accurate Curve Rasterizer

Haskell library for doing category theory with a central role for profunctors

SVG Combinators for Haskell

Fonts from the SVG-Font format

Logo turtle graphics interpreter in Haskell

Haskell library for manipulating cubic bezier curves

Haskell geometry library

Haskell definition of type equality, coercion/cast and other operations.

An applicative based library for logical control flow in Haskell

The HTML5 canvas backend for diagrams

Unit conversion

A Diagrams backend using Sunroof to render using the HTML5 Canvas element.

Utility functions for using diagrams with gtk-toy.

The HTML5 canvas backend for diagrams

Toy Framework - Simplifies the creation of simple Haskell Cairo / GTK applications.

Haskell definition of type equality, coercion/cast and other operations.