k-bx Goto Github PK

80x40

80 by 40 canvas that anyone can draw on.

accelerate-play

Something that I couldn't build

aeson

A fast Haskell JSON library

aeson-diff

Generate and apply diffs between JSON documents.

aeson-migrate

Type-level data migration for aeson values

agda

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

amazonka

A comprehensive Amazon Web Services SDK for Haskell.

antilorak

Project aimed to improve data from Pantheon

attoparsec

A fast Haskell library for parsing ByteStrings

benchmarks

Some benchmarks of different languages

bit-protocol

Encode bit protocols not aligned by 8

blaze-builder

Efficient serialization of Haskell values to lazy bytestrings with a large average chunk size.

boilerpipe

Automatically exported from code.google.com/p/boilerpipe

bootstrap

Sleek, intuitive, and powerful front-end framework for faster and easier web development.

bottom-up-merge-sort

Bottom-up merge sort from Okasaki

browser

Create Elm programs that run in browsers!

calculator

String calculator

category-theory-exercises

cereal

charty

Native charts library for Elm

circuitt

Fast-circuit monad

containers

coq_in_a_hurry_notes

Notes from "Coq in a Hurry" done via the Proof General

corenlp-parser

Launches CoreNLP and parses the JSON output

country

Haskell data types and functions for countries

cron

Cron data structure and parser for Haskell

curve25519-dalek

datadog

Haskell DataDog client library

dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them

dependent-sum-template

Template Haskell code to generate instances of classes from dependent-sum