development

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

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

Left and right actions, semidirect products and torsors

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

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

Format Lua code

Format Lua code

Process application arguments the same way as getopt_long

Library for color Manipulation

A feature-rich command-line argument parser

A base2, base16, base32, base64 and base85 library for Lua

Binary heap implementation in pure Lua

Lua 5.2 bit manipulation library

Elegant Lua unit testing

A pretty output handler for Busted