Showing entries 9201-9300 out of 18345.
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
"map German words to code representing pronunciation"
Koji buildsystem XML-RPC API bindings
CLI tool for installing rpms directly from Fedora Koji
Koji CLI tool for querying tasks and installing builds
Koji CLI tool for querying tasks and installing builds
A concatenative not-quite-lisp for kittens
A configuration language and a parser
Formalising the rules of Konnakol, an Indian percussional art form
JSON config file parsing based on unjson
Utilities for working with many HStringTemplate templates from files
Client to Koofr API
Korea Holidays
The Korfu ORF Utility
Extracts values from /proc/cmdline
A binding to the kqueue event library
Kraken.io API client
Krank checks issue tracker link status in your source code
Haskell bindings for Spark Dataframes and Datasets
Category for Continuation Passing Style
KRPC protocol implementation
Kolmogorov distribution and Kolmogorov-Smirnov test
A library with the kerbal space program universe and demo code
System management tooling
A binding for libktx from Khronos
Khronos texture format
Client library for Kubernetes
Auto-generated kubernetes-client-core API Client
Create Kubernetes Admission Webhooks in Haskell
Coverage driven random testing framework
A Quantitative Information Flow aware programming language
Library for automated composition and musical learning
Combinators for Strategic Programming
Generator for Boilerplate KURE Combinators
Find the alpha emoji
Key/Value Indexed Table container and formatting library
Key/Value Indexed Table container and formatting library
Mid level bindings to Kyoto Cabinet
Kyoto Cabinet DB bindings
Bindings to L-BFGS-B, Fortran code for limited-memory quasi-Newton bound-constrained optimization
Plant growing programming game
Enables providing localization as typeclass instances in separate files
Labeled graph structure
Labeled tree structure
Anonymous records via named tuples
An experiment management framework
LabSat TCP Interface Wrapper
A complicated turn-based game
A complicated turn-based game - Web server
Generate Ruby clients from Servant APIs
Fizzy n dizzy
Solve Lagrange multiplier problems
Minimalistic type-checked compile-time template engine
Interpreters for lambda calculus, calculus of constructions, and more
Lambda Calculi Abstract Syntax Trees
A bridge from Haskell (on a CPU) to VHDL on a FPGA
A lambda calculus interpreter
Lambda Calculus interpreter
Educational drawing canvas for FP explorers
Haskell implementation of (some of) lambda cube calculi
A Paralell-DEVS implementaion based on distributed-process
Declarative command-line parser with type-driven pattern matching
A library to emulate laceholders similar to Scala
Boltzmann sampler utilities for lambda calculus
An application to work with the lambda calculus (for learning)
Untyped Lambda calculus to JavaScript compiler
LambdaBase is a lambda based language hosting an other language (defined by the person using it)
Lambdabot is a development tool and advanced IRC bot
Lambdabot core functionality
Lambdabot Haskell plugins
IRC plugins for lambdabot
Lambdabot miscellaneous plugins
Novelty plugins for Lambdabot
Lambdabot reference plugins
Social plugins for Lambdabot