Showing entries 10001-10100 out of 18547.
Log-domain floating point numbers
Formatting
Fast & extensible logging framework
Run FastLogger in a thread and direct all queued messages to it
Simplified logging in IO for application writers
A mtl-style monad transformer for general purpose & compositional logging
Log messages in color
Supplemental packages for logging-effect
TH splices to augment log messages with file info
Handy logging handler combinators
Log messages to a posix system log via logging-effect
Simple logging abstraction that allows multiple back-ends
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