MyNixOS website logo
categories

development

Showing entries 10201-10300 out of 55436.
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
liquid-fixpointliquid-fixpointNix package
Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
liquid-fixpointliquid-fixpoint_0_9_6_3_3Nix package
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
liquidhaskellliquidhaskellNix package
Liquid Types for Haskell
liquidhaskellliquidhaskell_0_9_12_2Nix package
Liquid Types for Haskell
liquidhaskell-bootliquidhaskell-bootNix package
Liquid Types for Haskell
liquidhaskell-bootliquidhaskell-boot_0_9_12_2Nix package
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
Functions for dealing with lists
Additional data and structures to some 'String'-related lists
Safe wrappers for partial list functions, supporting MonadThrow
List transformer
Trees and monadic trees expressed as monadic lists where the underlying monad is a list
Define a list constant using Monadic syntax other than overhead
Simple zipper for lists
Append only key-list database
A simple tool for literate programming
Type-safe conversion of type literals into runtime values
Non-overloaded functions for concrete literals
Converter to convert from .lhs to .md
Transform literate source code to Markdown
Simple implementation of Earley parsing
Basic logging based on monad-logger
When you need just the RIO monad
Live coding of MIDI music
live-servernodePackagesNix package
Simple development http server with live reload capability
live-servernodePackages_latestNix package
Simple development http server with live reload capability
livedownnodePackagesNix package
Live Markdown previews for your favourite editor
livedownnodePackages_latestNix package
Live Markdown previews for your favourite editor
Liveplotting
Dirt simple picosat bindings
Haskell bindings for the llama.cpp llama-server and a simple CLI
Haskell FFI bindings to the llama.cpp LLM inference library
Purely functional sets and heaps
An implementation of the LLSD data system
Bindings to the LLVM compiler toolkit
A Haskell library for analyzing LLVM bitcode
FFI bindings to the LLVM compiler toolkit
The base types for a mostly pure Haskell LLVM analysis library
Utilities for bindings to the LLVM compiler toolkit
A DSL for LLVM IR code generation based on llvm-hs
A low-level data interoperability binding for LLVM
Support for writing an EDSL with LLVM-JIT as target
Processor specific intrinsics for the llvm interface
Utility functions for the llvm interface
FFI bindings to the LLVM compiler toolkit
Tools for maintaining the llvm-ffi package
General purpose LLVM bindings
Pure Haskell LLVM functionality (no FFI)
QuasiQuoting llvm code for llvm-general
General purpose LLVM bindings
A pretty printer for LLVM IR
Pure Haskell LLVM functionality (no FFI)
Bindings to the LLVM compiler toolkit with some custom extensions
General purpose LLVM bindings
Generate Pkg-Config configuration file for LLVM
A pretty printing library inspired by the llvm binding
LLVM bitcode parsing library