A command-line tool that makes git easier to use with GitHub.

Create beautiful diagrams just by typing notation in plain text.

A static website compiler library in Haskell

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

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

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

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

Stochastic Time Tracking for Space Cadets

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

A Beeminder client for Emacs

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

Haskell-centric Fast Accurate Curve Rasterizer

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

Time-varying values with start and end times.

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