Showing entries 9701-9800 out of 18345.
Compute resistance of linear electrical circuits
A simple library for linear codes (coding theory, error correction)
Generic programming library for generalised deriving
Geographic coordinates, built on the linear package
A simple grammar for building linear equations and inclusive inequalities
Finite maps for linear use
Isomorphisms between linear and OpenGL types
Linear Programming basic definitions
Build SMC morphisms using linear types
Typed sockets
Linear Algebra
A low-dimensional linear algebra library, operating on the Num typeclass
Use SMT solvers to solve linear systems over integers and rationals
Native, complete-ish, matrix-free linear algebra
Linear scan register allocator, formally verified in Coq
Makes it easy to use the linearscan register allocator with Hoopl
Partition the sequence of items to the subsequences in the order given
Breaks strings to fit width
A lightweight readline-replacement library for Haskell
Lines of Action, 2-player strategy board game
File extension based programming language detection
Express Integral types as linguistic ordinals (1st, 2nd, 3rd, etc)
Collection of types for natural language
Use web link relation types (RFC 5988) in Haskell
Check for broken links in CI
Check a bunch of local html files for broken links
Linkchk is a network interface link ping monitor
Combines multiple GHC Core modules into a single module
A pure linked list which is mutable through iterators
Persistent LinkedHashMap data structure
A Haskell library for the Slack API
Lightweight library for building HTTP API
Aeson JSON support for Linnet
Conduit-backed support for streaming in Linnet
Bindings to the Linode API
Haskell wrapper for the Linode v4 API
Linux libblkid
Linux capabilities Haskell data type
Very basic interface to the Linux CGroup Virtual Filesystem
Bindings to Linux evdev input device interface
Retrieve file fragmentation information under Linux
Linux fbdev (framebuffer device, /dev/fbX) utility functions
Thinner binding to the Linux Kernel's inotify interface
Linux kernel modules support
Mount and unmount filesystems
Work with linux namespaces: create new or enter existing ones
Read files generated by perf on Linux
Wrapping of Linux' ptrace(2)
Read, set and list extended attributes
Implementation of the Enea LINX gateway protocol
Labeled IO Information Flow Control Library
Labeled IO library
Labeled File System interface for LIO
LIO support for the Simple web framework
RISC-V Core
Generators for random sequences of English-like nonsense text
Liquid template language library
Base specs for LiquidHaskell
Old specs for the bytestring package
Old specs for containers
Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
Drop-in ghc-prim replacement for LH
LiquidHaskell specs for the parallel package
A battery-included platform for LiquidHaskell
General utility modules for LiquidHaskell
LiquidHaskell specs for the vector package
Liquid Types for Haskell
Liquid Types for Haskell
Liquid Haskell integration for Cabal and Stack
Demo of Liquid Haskell integration for Cabal and Stack
Algorithmic Doom map generation
Simple parser for LISP S-expressions
List monad transformer and class
Group and delete duplicates from a list
Common not-so-common functions for lists
Special takes and drops on lists
Testing list fusion for success
Functions for grouping a list into sublists
List Multiplexing
Predicates on lists
A simple list prompt UI for the terminal
List all remote forwards for mail accounts stored in a SQL database
List shuffling and sampling
Easily and clearly create lists with only one element in them
ListT done right
An "attoparsec" adapter for "list-t"
Streaming HTML parser
A streaming HTTP client
A "libcurl"-based streaming HTTP client
A streaming text codec
List monad transformer
Tries and Patricia tries: finite sets and maps for list keys
List-like operations for tuples
Witnesses for working with type-level lists
Provides zips with default values
A list zipper
Helpers for working with NonEmpty lists
A client library to the ListenBrainz project
Generalized support for list-like structures
Extra instances of the ListLike class