haskellPackages

Build profiles for kdesrc-build

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

KdTree, for efficient search in K-dimensional point clouds

Cryptographic functions based on the sponge construction

DSL for creating zero-knowledge proofs

Initial project template from stack

TCP keep alive implementation

Mutable memory locations with callbacks

Rapid Gtk Application Development - I18N

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

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

Rapid Gtk Application Development - Reactive Protected Light Models

Rapid Gtk Application Development - Protected Reactive Models

Haskell on Gtk rails - Easy handling of configuration files

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

Haskell on Gtk rails - Generic View for MVC applications

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

Reactive Haskell on Rails - CBMVars as reactive values

Haskell on Rails - Files as Reactive Values

Haskell on Gtk rails - Reactive Fields for Gtk widgets

Keera Hails Reactive bindings for HTML DOM via GHCJS

Haskell on Rails - Sockets as Reactive Values

Haskell on Rails - Polling based Readable RVs

Haskell on Rails - Reactive Fields for WX widgets

Haskell on Rails - FRP Yampa Signal Functions as RVs

Reactive Haskell on Rails - Lenses applied to Reactive Values

Haskell on Rails - Reactive Values

Get notifications when your sitting posture is inappropriate

Core parts of Keid engine

Reactive Banana integration for Keid engine

Geometry primitives for Keid engine

Basic rendering programs for Keid engine

GLTF loader for Keid engine

OpenAL sound system for Keid engine

DearImGui elements for Keid engine

Multi-process orchestration for development and integration testing

Kempe compiler

Manage and abstract your packer configurations

Haskell implementation of nix-hash

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

Web application deployment manager, focusing on Haskell web frameworks

Web application deployment manager, focusing on Haskell web frameworks

See README at

A dAmn ↔ IRC proxy

CLI and library to generate QR codes

Type-safe unconstrained dynamic typing

Manage key and button states and statuses

Store of values of arbitrary types

Please see the README on GitHub at https://github.com/cdupont/keycloak-hs#readme

Maps web browser keycodes to their corresponding keyboard keys

Generic indexing for many data structures

An abstract Handle for accessing collections in stores like Redis

Validate a keyed-vals Handle

Implements a keyed-vals Handle using in-process memory

Access Redis using a keyed-vals Handle

Tools for macOS .keylayout files

Keyring access

Keyed functors and containers

Back up a secret key securely to the cloud

Managing stores of secret things

Pure Haskell key/value store implementation

Extract data from a keyword-args config file format

Command-line file tagging and organization tool

A lightweight structured concurrency library

Adaptation of the ki library for the effectful ecosystem

A lightweight structured concurrency library

None

Parser and writer for KiCad files

Parses kat.ph torrent dumps

Kick Channels: bounded channels with non-blocking writes

A compiler from Curry to Haskell

Debug features for kics

A transformation used by the kics debugger

Process KIF iOS test logs

Boolean strong typing

Utilities to work with lists of types

Generic programming in GHC style for arbitrary kinds and GADTs

Generic programming in GHC style for arbitrary kinds and GADTs

Template Haskell support for generating GenericK instances

Type-level integers

Type-level rationals

A category polymorphic Functor typeclass

Emulation of subkinds and subkind polymorphism

A dependency manager for Xcode (Objective-C) projects

Kleene algebra

A list type based on the Kleene star and plus

Variants of Control

K-means clustering algorithm

Sequential and parallel implementations of Lloyd's algorithm

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

K_M,N quadratic programming

Advanced keyboard remapping utility

Knuth–Morris–Pratt string searching algorithm

KMP algorithm implementation, based on Deterministic Finite State Automata

Repa-like array processing using LLVM JIT

Linear algebra and interpolation using LLVM JIT

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

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

Memory-backed handles

Khovanov homology computations