A type-safe EDSL for TouchDesigner written in Haskell

On-memory Database using Lambda Function environment

A basic lambda calculator with beta reduction and a REPL

Tree with only leaves carrying the data

LTS: Labelled Transition System

Implements an LRU data structure

LALR(1) parsetable generator and interpreter

A continuation-based parser library

An automated prover targeting problems that involve nonlinear real arithmetic

Code for the book Learn Physics with Functional Programming

Code for the book Learn Physics with Functional Programming

Code for the book Learn Physics with Functional Programming

Lightweight Directory Access Protocol (LDAP) version 3

Haskell binding for C LDAP API

LC-3 virtual machine

Linear Algebra on Typed Spaces

Plant growing programming game

Kyoto Cabinet DB bindings

Library for automated composition and musical learning

Category for Continuation Passing Style

A configuration language and a parser

Variants of Control.Arrow functions, specialised to kleislis.

a transformation used by the kics debugger

debug features for kics

A compiler from Curry to Haskell

A super small web framework for those who don't like big and fancy codebases

KdTree, for efficient search in K-dimensional point clouds

A simple parsing library and some additional utilities

A slightly extended Kalman filter

A library with the kerbal space program universe and demo code

Knuth–Morris–Pratt string searching algorithm

A simple and comprehensive Haskell parsing library

Convert JuicyPixel images into RGBA format, flip, trim and so on

Scale JuicyPixels images with stb_image_resize

Scale JuicyPixels images with DCT

Convenience functions to obtain array representations of images

JuicyPixels wrappers for libjpeg-turbo

Efficiently scale, crop, flip images with JuicyPixels

Functions for drawing lines, squares and so on pixel by pixel

Blurhash is a very compact represenation of a placeholder for an image

BLP format decoder/encoder over JuicyPixels library

Picture loading/serialization (in png, jpeg, bitmap, gif, tga, tiff and radiance)

To use images of JuicyPixels from Cairo

JuPyTer notebook parser

Combinators for bidirectional JSON parsing

Design-by-contract for JavaScript

A transpiler from Python to C++ for competitive programming

A Json implementation for Haskell, with JavaScript Values and Encoding/Decoding

Library for modeling jazz improvisation

A utility to print the target version of Java class files

A utility to print the SourceFile attribute of one or more Java class files

control JackMiniMix

Some utility functions for JYU projects

JSON parser that uses byte strings

Parse JSON

Example uses of the JSON-Combinator library

A combinator library on top of a generalised JSON type

A typeclass to determine if a given value is null

Haskell FRP binding to the Irrlicht game engine

DSL for IRC bots

Containers for intervals, with efficient search

Multiline strings, interpolation and templating

Multiline strings, interpolation and templating

Data interning (with compact regions where possible)

Dynamically sized graph library

Convert integers in various bases to and from strings

liftA2 for infix operators

Infinitely deep trees for lazy stateless memoization

Length- and element-indexed lists sitting somewhere between homogeneous and fully heterogeneous

Combinators for parsing indentation based syntatic structures

A library for writing Imperative style haskell

Imperative approach to testing stateful applications. ImpSpec is built on top of HSpec and QuickCheck.

Imperative approach to testing stateful applications. ImpSpec is build on top of HSpec and QuickCheck

Anaphoric and miscellaneous useful control-flow

Library for generating grids of hexagons and pentagons mapped to a sphere

String Interpolation of Haskell expressions using #{expr} syntax

A RESTful microService for IPv6-related data

Library to deal with IPv6 address text representations

A pure specification of the IO monad

Atomic compare and swap for IORefs and STRefs

Region based resource management for the IO monad

Editor and interpreter for Interaction Nets

Iterated Function System generation for Haskell

Indexable, serializable form of Data.Dynamic

Code for the Haskell course taught at the University of Seville

A package for solving dynamic programming problems in Haskell

The library for generating a WebGL scene for the web

A Linear Sum Assignment Problem (LSAP) solver

Easily bulk import CSV data to SQL Server

API for controlling Philips Hue lights

Haskell library for easy interaction with SMT-LIB 2 compliant solvers

Stream Editor in Haskell

JSON to YAML Adapter

Pure Haskell YAML 1.2 processor

Webots bindings for Haskell

Haskell helper functions