Keera Hails Reactive bindings for HTML DOM via GHCJS

Haskell on Gtk rails - Reactive Fields for Gtk widgets

Haskell on Rails - Files as Reactive Values

Reactive Haskell on Rails - CBMVars as reactive values

Haskell on Gtk rails - Gtk-based View for MVC applications

Haskell on Gtk rails - Generic View for MVC applications

Haskell on Gtk rails - Solutions to recurrent problems in Gtk applications

Haskell on Gtk rails - Easy handling of configuration files

Rapid Gtk Application Development - Protected Reactive Models

Rapid Gtk Application Development - Reactive Protected Light Models

Haskell on Gtk rails - Gtk-based global environment for MVC applications

Haskell on Gtk rails - Gtk-based controller for MVC applications

Rapid Gtk Application Development - I18N

Mutable memory locations with callbacks

TCP keep alive implementation

Initial project template from stack

DSL for creating zero-knowledge proofs

cryptographic functions based on the sponge construction

Fast and flexible k-d trees for various types of point queries

KDL language parser and API

Build profiles for kdesrc-build

Build profiles for kdesrc-build

A simple k-d tree implementation

Kayak .kcd parsing library.

Rpoku spoken word programming language

Unicode segmentation and shaping using kb_text_shape

Fast concurrent queues much inspired by unagi-chan

stats.NBA.com library

Utilities for serving static sites and blogs with Wai/Warp

Key-value store in single files

A haskell implementation of Katydid

Client for the Kattis judge system

WAI middleware for logging request and response info through katip

Syslog Katip Scribe

A katip scribe for logging to json

Katip scribe that logs to Rollbar

Katip scribe for raven (https://sentry.io)

Logz.IO scribe for the Katip logging framework

Logstash backend for katip

Katip scribe to send logs to Kafka

ElasticSearch scribe for the Katip logging framework

Katip integration for Effectful

Datadog scribe for the Katip logging framework

A structured logging framework

A simple template engine, inspired by jinja2

Haskell bindings for Spark Dataframes and Datasets

Good stateful automata

Karabiner elements configuration generation

Shake rules for building Kansas Lava projects

Kansas Lava support files for the Papilio FPGA board

FPGA Cores Written in Kansas Lava

Kansas Lava is a hardware simulator and VHDL generator

A JavaScript push mechanism based on the comet idiom

Perform 漢字検定 (Japan Kanji Aptitude Test) level analysis on Japanese Kanji

Binary parsing with random access

Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads

Kalman and particle filters and smoothers

Haskell Kaleidoscope tutorial

Serialization for kafka wire protocol

Effectful effects for hw-kafka-client

VRPN events via a Kafka message broker

Linux SpaceNavigator events via a Kafka message broker

Leap Motion events via a Kafka message broker

Linux joystick events via a Kafka message broker

GLUT events via a Kafka message broker

UI device events via a Kafka message broker

Synchronous Kafka Client

Low-level Haskell client library for Apache Kafka 0.7.

TBA

An implementation of the Kademlia DHT Protocol

Application wrapper for the k8s environment

JSON Web Token (JWT) decoding and encoding

Expose Java iterators as streams from the streaming package

A parser for JVM bytecode files

A library for reading Java class-files

Provides batched marshalling of values between Java and Haskell

Call JVM methods from Haskell

Keyed container types with type-checked proofs of key presence

A library for creating and using Jupyter kernels

Producing JUnit-style XML test reports

an elementary symmetric chiffre for pragmatically protecting one's effects

Nothing to see here, move along

A first-order reasoning toolbox

SVG to G-Code converter

Draw and fill lines, rectangles and polygons

Fast, scalable, mutable dynamic arrays, maps and hashes

Tableau-based theorem prover for justification logic

Manage users in MariaDB >= 10.1.1

Extract substructures from JSON by following a path

Cherry picking in JSON objects

json to xlsx converter

JSON to TSV transformer

Interpolate JSON object values into SQL strings

JSON Schema generator from Algebraic data type

JSON Schema derivation and validation

JSON to JSON Schema

Tiny JSON-RPC client for Haskell Web3 library

JSON-RPC 2.0 server over a Conduit.

JSON-RPC 2.0 types and type classes for Haskell

Parser and datatypes for the JSON Resume format