| packages/nixpkgs/haskellPackages.copilot-theorem | k-induction for Copilot |
| packages/nixpkgs/haskellPackages.git-checklist | Maintain per-branch checklists in Git |
| packages/nixpkgs/haskellPackages.codecov-haskell | Codecov.io support for Haskell. |
| packages/nixpkgs/haskellPackages.cassandra-cql | Haskell client for Cassandra's CQL protocol |
| packages/nixpkgs/haskellPackages.happstack-hsp | Support for using HSP templates in Happstack |
| packages/nixpkgs/haskellPackages.ide-backend-common | Shared library used be ide-backend and ide-backend-server |
| packages/nixpkgs/haskellPackages.ec2-signature | The Amazon EC2 style signature calculator |
| packages/nixpkgs/haskellPackages.expiring-cache-map | General purpose simple caching |
| packages/nixpkgs/haskellPackages.ixset-typed-cassava | cassava encoding and decoding via ixset-typed |
| packages/nixpkgs/haskellPackages.highlight | Command line tool for highlighting parts of files matching a regex |
| packages/nixpkgs/haskellPackages.YamlReference | YAML reference implementation |
| packages/nixpkgs/haskellPackages.email-postmark | A simple wrapper to send emails via the api of the service postmark (http://postmarkapp.com/) |
| packages/nixpkgs/haskellPackages.hslua-examples | Examples of how to combine Haskell and Lua |
| packages/nixpkgs/haskellPackages.crf-chain2-generic | Second-order, generic, constrained, linear conditional random fields |
| packages/nixpkgs/haskellPackages.ho-rewriting | Generic rewrite rules with safe treatment of variables and binders |
| packages/nixpkgs/haskellPackages.web-cookiejar | Parsing/printing of persistent web cookies |
| packages/nixpkgs/haskellPackages.microlens-each | 'each' for microlens |
| packages/nixpkgs/haskellPackages.toysolver | Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc |
| packages/nixpkgs/haskellPackages.waterfall-cad | Declarative CAD/Solid Modeling Library |
| packages/nixpkgs/haskellPackages.xgboost-haskell | XGBoost library for Haskell |
| packages/nixpkgs/haskellPackages.rasa-example-config | Example user config for Rasa |
| packages/nixpkgs/haskellPackages.msgpack-persist | A Haskell implementation of MessagePack |
| packages/nixpkgs/haskellPackages.servant-rawm-server | The server implementation of servant-rawm |
| packages/nixpkgs/haskellPackages.vocoder-conduit | Phase vocoder for Conduit |
| packages/nixpkgs/haskellPackages.partial-handler | A composable exception handler |
| packages/nixpkgs/haskellPackages.webdriver-w3c | Bindings to the WebDriver API |
| packages/nixpkgs/haskellPackages.mtl-unleashed | MTL classes without the functional dependency |
| packages/nixpkgs/haskellPackages.sop-satisfier | Check satisfiability of expressions on natural numbers |
| packages/nixpkgs/haskellPackages.network-run_0_5_0 | Simple network runner library |
| packages/nixpkgs/haskellPackages.version-natural | A simple version type |
| packages/nixpkgs/haskellPackages.mutable-fenwick | Mutable Fenwick trees |
| packages/nixpkgs/haskellPackages.minilight-lua | A binding library of minilight for Lua langauge |
| packages/nixpkgs/haskellPackages.openpgp-crypto-api | Implement cryptography for OpenPGP using crypto-api compatible libraries |
| packages/nixpkgs/haskellPackages.s-cargot-letbind | Enables let-binding and let-expansion for s-cargot defined S-expressions |
| packages/nixpkgs/haskellPackages.vfr-waypoints | VFR waypoints, as published in the AIP (ERSA) |
| packages/nixpkgs/haskellPackages.servant-rawm-client | The client implementation of servant-rawm |
| packages/nixpkgs/haskellPackages.timezone-olson-th | Load TimeZoneSeries from an Olson file at compile time |
| packages/nixpkgs/haskellPackages.streaming-png | Perfectly streaming PNG image decoding |
| packages/nixpkgs/haskellPackages.network-run_0_4_0 | Simple network runner library |
| packages/nixpkgs/haskellPackages.microlens-ghc | microlens + array, bytestring, containers, transformers |
| packages/nixpkgs/haskellPackages.postgrest-ws | PostgREST extension to map LISTEN/NOTIFY messages to Websockets |
| packages/nixpkgs/haskellPackages.proj4-hs-bindings | Haskell bindings for the Proj4 C dynamic library |
| packages/nixpkgs/haskellPackages.pandoc-link-context | Extract "contextual links" from Pandoc |
| packages/nixpkgs/haskellPackages.nanomsg-haskell | Bindings to the nanomsg library |
| packages/nixpkgs/haskellPackages.process-conduit | Conduits for processes (deprecated) |
| packages/nixpkgs/haskellPackages.servant-xstatic | XStatic adapter for servant |
| packages/nixpkgs/haskellPackages.type-indexed-queues | Queues with verified and unverified versions |
| packages/nixpkgs/haskellPackages.mybitcoin-sci | Binding to mybitcoin.com's Shopping Cart Interface. |
| packages/nixpkgs/haskellPackages.ogma-language-xlsx | Ogma: Runtime Monitor translator: XLSX Frontend |
| packages/nixpkgs/haskellPackages.servant-auth-cookie | Authentication via encrypted cookies |
| packages/nixpkgs/haskellPackages.rocksdb-haskell | Haskell bindings to RocksDB |
| packages/nixpkgs/haskellPackages.servant-hateoas | HATEOAS extension for servant |
| packages/nixpkgs/haskellPackages.network-builder | Linux NetworkNameSpace Builder |
| packages/nixpkgs/python312Packages.scancode-toolkit | Tool to scan code for license, copyright, package and their documented dependencies and other interesting facts |
| packages/nixpkgs/python313Packages.pyinstaller | Tool to bundle a python application with dependencies into a single package |
| packages/nixpkgs/python313Packages.pastescript | Pluggable command-line frontend, including commands to setup package file layouts |
| packages/nixpkgs/python314Packages.pastescript | Pluggable command-line frontend, including commands to setup package file layouts |
| packages/nixpkgs/python314Packages.pyinstaller | Tool to bundle a python application with dependencies into a single package |
| packages/nixpkgs/haskellPackages.mem-info_0_4_1_0 | Print the core memory usage of programs |
| packages/nixpkgs/haskellPackages.pandoc_3_6_4 | Conversion between markup formats |
| packages/nixpkgs/haskellPackages.weeder_2_4_1 | Detect dead code |
| packages/nixpkgs/haskellPackages.yesod-test_1_6_19 | integration testing for WAI/Yesod Applications |
| packages/nixpkgs/haskellPackages.weeder_2_2_0 | Detect dead code |
| packages/nixpkgs/haskellPackages.weeder_2_3_1 | Detect dead code |
| packages/nixpkgs/haskellPackages.prompt-hs_1_1_0_1 | A user-friendly, dependently-typed library for asking your users questions |
| packages/nixpkgs/haskellPackages.DrIFT-cabalized | Program to derive type class instances |
| packages/nixpkgs/haskellPackages.HStringTemplate | StringTemplate implementation in Haskell |
| packages/nixpkgs/haskellPackages.ParserFunction | Parse and evaluate mathematical expressions |
| packages/nixpkgs/haskellPackages.NameGenerator | A name generator written in Haskell |
| packages/nixpkgs/haskellPackages.dotnet-timespan | .NET TimeSpan |
| packages/nixpkgs/haskellPackages.hspec-pg-transact | Helpers for creating database tests with hspec and pg-transact |
| packages/nixpkgs/haskellPackages.criterion-cmp | A simple tool for comparing in Criterion benchmark results |
| packages/nixpkgs/haskellPackages.haddock-library | Library exposing some functionality of Haddock |
| packages/nixpkgs/haskellPackages.freckle-prelude | Standard prelude for Freckle applications |
| packages/nixpkgs/haskellPackages.fgl-visualize | Convert FGL graphs to dot (graphviz) files |
| packages/nixpkgs/haskellPackages.core-telemetry | Advanced telemetry |
| packages/nixpkgs/haskellPackages.WordAlignment | Bigram word pair alignments |
| packages/nixpkgs/haskellPackages.base-feature-macros | Semantic CPP feature macros for base |
| packages/nixpkgs/haskellPackages.ddc-interface | Disciplined Disciple Compiler user interface support |
| packages/nixpkgs/haskellPackages.ghci-history-parser | parse output of ghci ":history" command |
| packages/nixpkgs/haskellPackages.discord-gateway | An API wrapper for Discord in Haskell |
| packages/nixpkgs/haskellPackages.ec2-unikernel | A handy tool for uploading unikernels to Amazon's EC2 |
| packages/nixpkgs/haskellPackages.functor-friends | Friendly helpers for your recursion schemes |
| packages/nixpkgs/haskellPackages.bugsnag-haskell | Bugsnag error reporter for Haskell |
| packages/nixpkgs/haskellPackages.hedgehog-corpus | hedgehog-corpus |
| packages/nixpkgs/haskellPackages.bamboo-launcher | bamboo-launcher |
| packages/nixpkgs/haskellPackages.ca-province-codes | ISO 3166-2:CA Province Codes and Names |
| packages/nixpkgs/haskellPackages.list-predicate | Predicates on lists |
| packages/nixpkgs/haskellPackages.hydrogen-syntax | Hydrogen Syntax |
| packages/nixpkgs/haskellPackages.c-mosquitto | Simpe mosquito MQTT binding able to work with the Amazons IoT |
| packages/nixpkgs/haskellPackages.hmatrix-special | Interface to GSL special functions |
| packages/nixpkgs/haskellPackages.marching-cubes2 | Marching Cubes |
| packages/nixpkgs/haskellPackages.functor-monadic | Monad-style combinators for functors |
| packages/nixpkgs/haskellPackages.contra-tracers | A logging library built on top of contra-tracer to make configuring and declaring multiple tracers easy (via generics) |
| packages/nixpkgs/haskellPackages.maximal-cliques | Enumerate all maximal cliques of a graph |
| packages/nixpkgs/haskellPackages.generic-lens-labels | GHC |
| packages/nixpkgs/haskellPackages.gpu-vulkan-khr-surface | VK_KHR_surface extension of the Vulkan API |
| packages/nixpkgs/haskellPackages.firefly-example | A simple example using Firefly |
| packages/nixpkgs/haskellPackages.hpc-threshold | Ensure the code coverage is above configured thresholds |
| packages/nixpkgs/haskellPackages.ghc-srcspan-plugin | Generic GHC Plugin for annotating Haskell code with source location data |