A library to easily host Haskell based programming competitions

Library for RedPitaya

A transfinite cardinal arithmetic library including all known large cardinals

A library for compiling programs in a variety of languages

The most frequently used machine learning tools

A Snake II clone written using SDL

Haskell bindings for libclang (a C++ parsing library)

Bindings to libzip, a library for manipulating zip archives

Wrapper for data that can be unbounded

Algorithmic Doom map generation

List transformer

Converter to convert from .lhs to .md and vice versa.

Logic

Generate MASM code from haskell

Haskell interface for controlling the mBot educational robot

The category of monads

Builds decks out of a meta

Automatic inductive functional programmer by systematic search

mapWith: like fmap, but with additional parameters (isFirst, isLast, etc)

Mapping

MaybeT monad transformer

MaybeT monad transformer compatible with monads-tf (deprecated)

MaybeT monad transformer using transformers instead of mtl

Console-based Role Playing Game

Mean shift algorithm

A library for units of measurement

mecha are the most complex composite machines known to humanity, lets build them well!

mecha are the most complex composite machines known to humanity, lets build them well!

Statically checked database access

A toy dependently typed programming language with type-based termination

spam

A FRP library based on signal functions

Utilities working with MoeDict.tw JSON dataset

Monad-transformer version of the Control.Exception module

Monad-transformer compatible version of the Control.Exception module

Polymorphic combinators for working with foreign functions

Methods for composing monads

Lazy monad for psuedo random-number generation

Generalizing lift to monad stacks

2-D arcade scroller

A minimalistic CLI Pomodoro timer

Monad transformer library with uniform liftings

Automated Mutation Testing

Type-safe and efficient choreographies with location-set polymorphism

Munkres' assignment algorithm (hungarian method)

Generate all primes

Simple application for calculating n-grams using Google

A transparent nested Map structure

A Haskell interface to Lego Mindstorms NXT

Generate NXC Code from DSL

Very small interpreter for a Prolog-like language

Naperian Functors for APL-like programming

Simple scoring schemes for word alignments

Natural sorting for strings

Simple networked key/value store

Nested composition of functors with a type index tracking nesting

Bindings for net-snmp's C API for clients

A binary I/O library

Remove all the functions come from Debug.Trace after debugging

Library providing a non-empty list datatype, and total functions operating on it

Number Theoretic Sieves: primes, factorization, and Euler's Totient

A library for number theoretic computations, written in Haskell

A little library to calculate nutrition values of food items

Haskell binding to OGDF

A context aware binding for the OpenGL graphics system

ONC RPC (aka Sun RPC) and XDR library

Parse OpenStreetMap files

HMAC-Based and Time-Based One-Time Passwords (HOTP & TOTP)

Object oriented programming for haskell using multiparameter typeclasses

Simple unbalanced Octree for storing data about 3D points

Provides a wrapper for deriving word types with fewer bits

Integer sets and relations using Presburger arithmetic

IBM AFP document format parser and generator

Haskell high-level wrapper for OpenCL

The OpenCL Standard for heterogenous data-parallel computing

The OpenCL Standard for heterogenous data-parallel computing

The intersection of OpenGL 2.1 and OpenGL 3.1 Core

Raw binding to OpenVG (ShivaVG-0.2.1 implementation).

Groebner basis computation for Operads

A quasiquoter for or-patterns

Unofficial Haskell Client Library for the Orchestrate.io API

A Programming Language in Construction

spam

Arrow parser combinators similar to Parsec

Make password-based security schemes more secure

Extension to Show: templating, catalogizing, languages, parameters, etc

A generic derivable Haskell pretty printer

An implementation of Montague's PTQ

This is a package which includes Assignments, Email, User and Reviews modules for Programming in Haskell course

Pandoc support for literate Agda

Multithreaded evaluation using Arrows

A proven synchronization server for high performance computing

Simple library for generating passwords

A tree used to merge and maintain paths

Relational optimiser and code generator

GADT type witnesses for Peano-style natural numbers

A perfect hashing library for mapping bytestrings to values

A versatile library for topological data analysis

Personal Happstack Server Utils