Showing entries 9401-9500 out of 18345.
Utilities for working with the Qux language
Parsing and pretty printing of Rust code
AST and pretty printer for Sally
A package for parsing shell scripts
AST and parser for the ZeroC Slice language (Specification language for ICE)
Various tools to detect/correct mistakes in words
Full parser and generator for SQL as implemented by SQLite3
A parser and printer for the SyGuS 2.0 language
Parser and pretty printer for the Thrift IDL format
A Parser for the Type Language
A set of tools for analyzing languages via logic and automata
A library for working with TypeScript Definition files
VHDL AST and pretty printer in Haskell
Parser and Pretty Printer for WebIDL
Matrix programming library
Numerical Linear Algebra using LAPACK
Auto-generated interface to Fortran LAPACK via CArrays
Auto-generated interface to Fortran LAPACK via comfort-array
Auto-generated interface to Fortran LAPACK
Generator for Haskell interface to Fortran LAPACK
Conversion of objects between 'lapack' and 'hmatrix'
Scalable anonymous records
Generic programming API for large-records and large-anon
Efficiently hash (large) Haskell values
Efficient compilation for large records, linear in the size of the record
A transfinite cardinal arithmetic library including all known large cardinals
Provides Word128, Word192 and Word256 and a way of producing other large words if required
A high-powered, single-pass tree parser
A library for compiling programs in a variety of languages
Tool to track security alerts on LWN
Find the latest version of a package on npm
Parse, format and process LaTeX files
Use actual LaTeX to render formulae inside Hakyll pages
A library for rendering LaTeX formulae as images using an actual LaTeX installation
Render LaTeX formulae in pandoc documents to images with an actual LaTeX installation
Function table specifications in latex
Automatically inline Haskell snippets into LaTeX documents
Use actual LaTeX to render formulae inside Hakyll pages
A library for rendering LaTeX formulae as SVG using an actual LaTeX
Render LaTeX formulae in pandoc documents to images with an actual LaTeX
Linear Algebra on Typed Spaces
Fine-grained library for constructing and manipulating lattices
A library for lattices
Server-side SDK for integrating with LaunchDarkly
LaunchDarkly Server-Side SDK - Redis Integration
High and low-level interface to the Novation Launchpad midi controller
Assert the lawfulness of your typeclass instances
Hedgehog support for lawful-classes
QuickCheck support for lawful-classes
Types for lawful-classes
Concurrent networked stream transducers
Common mathematical laws
Lax arrows
Layered Graph Drawing after Sugiyama
Control structure similar to Control
Modular type class machinery for monad transformer stacks
A prototypical 2d platform game
Turn values into pretty text or markup
Template and widgets for Bootstrap2 to use with Text
A collection of different layout implementations
General layouting library
A simple utility for lazy record matching
Explicit laziness for Haskell
Asynchronous actions that don't start right away
A bracket with lazy resource allocation
Library for caching IO action that leverages on GHC RTS implementation
Efficient lazy parsers for CSV (comma-separated values)
Identifiers for not-yet-computed values
Storing computed values for re-use when the same program runs again
Lazy IO
Get lazy with your io-streams
Lazy PBKDF2 generator
Lazy-Spined Monadic Priority Queues
Finds values satisfying a lazy predicate
Efficient implementation of lazy monolithic arrays (lazy in indexes)
An EDSL for programming the Game Boy
Run IO actions lazily while respecting their order
LazyIO applicative for asymptotic performance
Lazy Probabilistic Programming Library
Set and Map from lazy/infinite lists
A library for demand-driven testing of Haskell programs
Differential solving with lazy splines
L-BFGS optimization
LC-3 virtual machine
O(log n) persistent online lowest common ancestor search without preprocessing
Find longest common sublist of two lists
Data structures for representing arbitrary intervals
Online Latent Dirichlet Allocation
Haskell binding for C LDAP API
Pure Haskell LDAP Client Library
Pure Haskell LDAP Client Library
See README for synopsis
LDIF idempotent apply tool
Lightweight Directory Access Protocol (LDAP) version 3
The LDAP Data Interchange Format (LDIF) tools
Datatypes and Aeson instances for parsing LDtk
A simple portfolio generator
Robust space leak, and its strictification
Bonds to Lean theorem prover
A maximally lazy, simple implementation of the Peano numbers with minimal dependencies