Automatic map generation for Jet Lag The Game's Hide and Seek.

Unit conversion

An applicative based library for logical control flow in Haskell

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

A declarative Unix terminal UI library written in Haskell

Resource gathering + programming game

CP4 Free Source Code Project (C++17, Java11, Python3 and OCaml)

Haskell-centric Fast Accurate Curve Rasterizer

Create beautiful diagrams just by typing notation in plain text.

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

A tiny DSL for HTML5 Canvas

Haskell geometry library

A Beeminder client for Emacs

Type safe interface for working in subcategories of Hask

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

Haskell library for manipulating cubic bezier curves

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

Time-varying values with start and end times.

Diagrams standard library

A multilingual package manager for Arch Linux and the AUR.

Top-secret project

Official upstream development repository for Cabal and cabal-install

Fonts from the SVG-Font format

An SVG backend for diagrams

The HTML5 canvas backend for diagrams

Utility functions for using diagrams with gtk-toy.

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

Lectures, Labs, Code, and Records for the Emacs Club @ Penn