haskellPackages

Journald back-end for logging-facade

A logging back-end to syslog(3) for the logging-facade library

Logic

Framework for propositional and first order logic, theorem proving

Import, export etc. for TPTP, a syntax for first-order logic

Simple logical constraints 'syntax-sugar' writing library

A parallel implementation of logic programming using distributed tree exploration

An adapter for LogicGrowsOnTrees that uses MPI

An adapter for LogicGrowsOnTrees that uses multiple processes running in a network

An adapter for LogicGrowsOnTrees that uses multiple processes for parallelism

Backtracking mutable references in the ST and IO monads

A backtracking logic-programming monad

A backtracking logic-programming monad with asymptotic improvements to msplit

Library for logic programming based on haskell package logict

Log Level Datatype

Parse Heroku application/logplex documents

A logging framework for Haskell

Logstash client library for Haskell

Useful utilities for the Lojban language

Lojban parser

Lojban to xiragan

Prolog with lojban

A library for lattice cryptography

Lattice-based cryptographic applications using lol

A library for benchmarking lol

Calculus for LOL (λω language)

A fast C++ backend for lol

A repa backend for lol

A library for testing Λ ∘ λ

Type inferencer for LOL (λω language)

A minimum web dev DSL in Haskell

FFI bindings for C long double

Dependently-typed linked list implementation

Fast Brute-force search using parallelism

A simple text parser with decent errors

A simple text parser with decent errors

Statically generate lookup tables using Template Haskell

Fast loops (for when GHC can't optimize forM_)

Monadic loop dsl

Control-monad-loop port for effin

A monad transformer supporting various styles of while loop

Inline self-recursive definitions

Configure and run recurring jobs indefinitely

Fast imperative-style loops

Find all biological feedback loops within an ecosystem graph

A command line interface to online radios

Library for generating filler text

EDSL for the Michelson Language

Interface to Loris API

Minecraft 1.7 server proxy that answers to queries when the server is offline

An implementation of an adictive two-player card game

Turning images into text using Braille font

Amazon Simple Workflow Service Wrapper for Work Pools

Basic gl wrapper and reference

Low dimensional linear algebra

An EDSL for diagrams based based on linear constraints

SVG Backend for lp-diagrams

A continuation-based parser library

LPeg – Parsing Expression Grammars For Lua

LPeg – Parsing Expression Grammars For Lua

Code for the book Learn Physics with Functional Programming

Code for the book Learn Physics with Functional Programming

An automated prover targeting problems that involve nonlinear real arithmetic

Implements an LRU data structure

A simple, pure LRU cache

LRU cache

Combine lrucaching and haxl

List USB devices

List exported modules from a set of .cabal files

List directory files starting from a specific name

A simple ls clone with modern, colored formatting

An execution and testing framework for the Linden Scripting Language (LSL)

Haskell library for the Microsoft Language Server Protocol

Haskell library for the Microsoft Language Server Protocol

Haskell library for the Microsoft Language Server Protocol

Haskell library for Language Server Protocol clients

Functional test framework for LSP servers

Haskell library for the Microsoft Language Server Protocol, data types

Haskell library for the Microsoft Language Server Protocol, data types

Haskell library for the Microsoft Language Server Protocol, data types

A tool for CSV files data querying from the shell with short queries

Lexical Style Sheets - a language for writing styles that is focused around lexical (ie, static) s…

Paint an L-System Grammar

Parameterized file evaluator

Core functionality for LTI 1.3

Partial implementation of a service provider for LTI 1.1

Leksah tool kit

Using linear temporal logic (LTL) to verify embedded software and hardware

Tree with only leaves carrying the data

LTS:

Lua, an embeddable scripting language

Arbitrary instances for Lua types

Lua bytecode parser

Library for loading Lua bytecode

Library functions for reading and writing Lua chunks

Helpers for Haskell integration with Lua

Information operators: least upper bound (lub) and greatest lower bound (glb)

Clear to write, read and edit DSL for HTML

Use Alpine.js in your lucid templates

Provides ARIA attributes for Lucid templates