coverage driven random testing framework

Create Kubernetes Admission Webhooks in Haskell

Auto-generated kubernetes-client-core API Client

Client library for Kubernetes

Client library for Kubernetes

Auto-generated kubernetes-api API Client

GPU-ready rasterized fonts

Khronos texture format

A binding for libktx from Khronos

System management tooling

Kolmogorov distribution and Kolmogorov-Smirnov test

KRPC protocol implementation

Haskell bindings for Spark Dataframes and Datasets

Kraken.io API client

Extracts values from /proc/cmdline

The Korfu ORF Utility

Korea Holidays

Client to Koofr API

Utilities for working with many HStringTemplate templates from files

JSON config file parsing based on unjson

Formalising the rules of Konnakol, an Indian percussional art form

a concatenative not-quite-lisp for kittens

Koji CLI tool for querying tasks and installing builds

CLI tool for installing rpms directly from Fedora Koji

Koji buildsystem XML-RPC API bindings

"map German words to code representing pronunciation"

Easy type-level lists with term-level membership proofs

Khovanov homology computations

Memory-backed handles

a minimal Rmarkdown sort-of-thing for haskell, by way of Pandoc

Ties the knot on data structures that reference each other by unique keys

Linear algebra and interpolation using LLVM JIT

Repa-like array processing using LLVM JIT

KMP algorithm implementation, based on Deterministic Finite State Automata

K_M,N quadratic programming

An implementation of the kmeans clustering algorithm based on the vector package

Sequential and parallel implementations of Lloyd's algorithm

K-means clustering algorithm

A list type based on the Kleene star and plus

Kleene algebra

A dependency manager for Xcode (Objective-C) projects

Emulation of subkinds and subkind polymorphism

A category polymorphic `Functor` typeclass

Type-level rationals. Like KnownNat, but for rationals.

Type-level integers. Like KnownNat, but for integers.

Template Haskell support for generating `GenericK` instances

Generic programming in GHC style for arbitrary kinds and GADTs

Generic programming in GHC style for arbitrary kinds and GADTs

Utilities to work with lists of types

Boolean strong typing

Process KIF iOS test logs

Kick Channels: bounded channels with non-blocking writes

Parses kat.ph torrent dumps

Parser and writer for KiCad files

None

A lightweight structured concurrency library

Adaptation of the ki library for the effectful ecosystem

A lightweight structured concurrency library

Command-line file tagging and organization tool

Extract data from a keyword-args config file format

Pure Haskell key/value store implementation

Managing stores of secret things

back up a secret key securely to the cloud

Keyed functors and containers

Keyring access

Tools for macOS .keylayout files

Access Redis using a keyed-vals Handle

Implements a keyed-vals Handle using in-process memory

Validate a keyed-vals Handle

An abstract Handle for accessing collections in stores like Redis

Generic indexing for many data structures

Maps web browser keycodes to their corresponding keyboard keys

Store of values of arbitrary types

Manage key and button states and statuses

Type-safe unconstrained dynamic typing

CLI and library to generate QR codes

a dAmn ↔ IRC proxy

Data validation in Haskell: composable, easy and clean

Web application deployment manager, focusing on Haskell web frameworks. It mitigates downtime.

Simple Keter rate limiting plugin

Web application deployment manager, focusing on Haskell web frameworks. It mitigates downtime.

Haskell implementation of nix-hash

Manage and abstract your packer configurations

Kempe compiler

Multi-process orchestration for development and integration testing

DearImGui elements for Keid engine

OpenAL sound system for Keid engine

GLTF loader for Keid engine

Basic rendering programs for Keid engine

Geometry primitives for Keid engine

Reactive Banana integration for Keid engine

Core parts of Keid engine

Get notifications when your sitting posture is inappropriate

Haskell on Rails - Reactive Values

Reactive Haskell on Rails - Lenses applied to Reactive Values

Haskell on Rails - FRP Yampa Signal Functions as RVs

Haskell on Rails - Reactive Fields for WX widgets

Haskell on Rails - Polling based Readable RVs

Haskell on Rails - Sockets as Reactive Values