| packages/nixpkgs/haskellPackages.tdoc | TDoc is a typed document builder with support for (X)HTML |
| packages/nixpkgs/haskellPackages.Agda | A dependently typed functional programming language and proof assistant |
| packages/nixpkgs/haskellPackages.hpath | Support for well-typed paths |
| packages/nixpkgs/haskellPackages.serv-wai | Dependently typed API servers with Serv |
| packages/nixpkgs/haskellPackages.forml | A statically typed, functional programming language |
| packages/nixpkgs/haskellPackages.haiji | A typed template engine, subset of jinja2 |
| packages/nixpkgs/haskellPackages.bpath | A minimal typed unix path library |
| packages/nixpkgs/haskellPackages.zinza | Typed templates with jinja like syntax |
| packages/nixpkgs/haskellPackages.nanoAgda | A toy dependently-typed language |
| packages/nixpkgs/haskellPackages.Frank | An experimental programming language with typed algebraic effects |
| packages/nixpkgs/haskellPackages.ftree | Depth-typed functor-based trees, both top-down and bottom-up |
| packages/nixpkgs/haskellPackages.lhs2tex | Preprocessor for typesetting Haskell sources with LaTeX |
| packages/nixpkgs/haskellPackages.named-sop | Dependently-typed sums and products, tagged by field name |
| packages/nixpkgs/haskellPackages.units-list | Extensible typed Dimensions |
| packages/nixpkgs/haskellPackages.formal | A statically typed, functional programming language |
| packages/nixpkgs/haskellPackages.morloc | A multi-lingual, typed, workflow language |
| packages/nixpkgs/haskellPackages.winery | A compact, well-typed seralisation format for Haskell values |
| packages/nixpkgs/haskellPackages.shake-plus | Re-export of Shake using well-typed paths and ReaderT |
| packages/nixpkgs/haskellPackages.bv-sized-lens | Well-typed lenses for bv-sized bitvectors |
| packages/nixpkgs/haskellPackages.xml-tydom-core | Typed XML encoding (core library) |
| packages/nixpkgs/haskellPackages.prompt-hs | A user-friendly, dependently-typed library for asking your users questions |
| packages/nixpkgs/haskellPackages.binary-ext | An alternate with strong-typed errors for `Data |
| packages/nixpkgs/haskellPackages.strong-path | Strongly typed paths in Haskell |
| packages/nixpkgs/haskellPackages.safe-tensor | Dependently typed tensor algebra |
| packages/nixpkgs/haskellPackages.HJavaScript | HJavaScript is an abstract syntax for a typed subset of JavaScript |
| packages/nixpkgs/haskellPackages.pisigma | A dependently typed core language |
| packages/nixpkgs/haskellPackages.longboi | Dependently-typed linked list implementation |
| packages/nixpkgs/haskellPackages.safe-printf | Well-typed, flexible and variadic printf for Haskell |
| packages/nixpkgs/haskellPackages.reroute | abstract implementation of typed and untyped web routing |
| packages/nixpkgs/haskellPackages.glambda | A simply typed lambda calculus interpreter, written with GADTs |
| packages/nixpkgs/haskellPackages.express | Dynamically-typed expressions involving function application and variables |
| packages/nixpkgs/haskellPackages.provide | Lightweight dependency injection / namespaced+typed implicit-ish arguments |
| packages/nixpkgs/haskellPackages.parsley | A fast parser combinator library backed by Typed Template Haskell |
| packages/nixpkgs/haskellPackages.redis-schema | Typed, schema-based, composable Redis library |
| packages/nixpkgs/haskellPackages.path_0_9_6 | Support for well-typed paths |
| packages/nixpkgs/haskellPackages.path_0_9_5 | Support for well-typed paths |
| packages/nixpkgs/haskellPackages.inferno-core | A statically-typed functional scripting language |
| packages/nixpkgs/haskellPackages.linear-socket | Typed sockets |
| packages/nixpkgs/haskellPackages.monopati | Well-typed paths |
| packages/nixpkgs/haskellPackages.Contract | Practical typed lazy contracts |
| packages/nixpkgs/haskellPackages.mathflow | Dependently typed tensorflow modeler |
| packages/nixpkgs/haskellPackages.shapely-data | Generics using @(,)@ and @Either@, with algebraic operations and typed conversions |
| packages/nixpkgs/haskellPackages.zeolite-lang | Zeolite is a statically-typed, general-purpose programming language |
| packages/nixpkgs/haskellPackages.parsley-core | A fast parser combinator library backed by Typed Template Haskell |
| packages/nixpkgs/haskellPackages.symantic | Library for Typed Tagless-Final Higher-Order Composable DSL |
| packages/nixpkgs/haskellPackages.clr-bindings | Glue between clr-host and clr-typed |
| packages/nixpkgs/haskellPackages.full-sessions | a monad for protocol-typed network programming |
| packages/nixpkgs/haskellPackages.unliftio-path | UnliftIO using well-typed Paths |
| packages/nixpkgs/haskellPackages.xml-tydom-conduit | Typed XML encoding for an xml-conduit backend |
| packages/nixpkgs/haskellPackages.dirforest | Typed directory forest |
| packages/nixpkgs/haskellPackages.decidable | Combinators for manipulating dependently-typed predicates |
| packages/nixpkgs/haskellPackages.hasktorch | Haskell bindings to libtorch, supporting both typed and untyped tensors |
| packages/nixpkgs/haskellPackages.prompt-hs_1_1_0_1 | A user-friendly, dependently-typed library for asking your users questions |
| packages/nixpkgs/haskellPackages.ollama-holes-plugin | A typed-hole plugin that uses LLMs to generate valid hole-fits |
| packages/nixpkgs/haskellPackages.prompt-hs_1_1_0_2 | A user-friendly, dependently-typed library for asking your users questions |
| packages/nixpkgs/haskellPackages.sydtest-process | A typed-process companion library for sydtest |
| packages/nixpkgs/haskellPackages.polysemy-scoped-fs | Well-typed filesystem operation effects |
| packages/nixpkgs/haskellPackages.symantic-parser | Parser combinators statically optimized and staged via typed meta-programming |
| packages/nixpkgs/haskellPackages.derivation-trees | Typeset Derivation Trees via MetaPost |
| packages/nixpkgs/haskellPackages.encryptable | Typed encryption with persistent support |
| packages/nixpkgs/haskellPackages.eliminators | Dependently typed elimination functions using singletons |
| packages/nixpkgs/haskellPackages.webdriver-precore | A typed wrapper for W3C WebDriver protocol |
| packages/nixpkgs/haskellPackages.relational-query-HDBC | HDBC instance of relational-query and typed query interface for HDBC |
| packages/nixpkgs/haskellPackages.Shpadoinkle-html | A typed, template generated Html DSL, and helpers |
| packages/nixpkgs/haskellPackages.control-monad-exception | Explicitly typed, checked exceptions with stack traces |
| packages/nixpkgs/haskellPackages.WeakSets | Simple set types |
| packages/nixpkgs/haskellPackages.genvalidity-dirforest | Generators for typed directory forests |
| packages/nixpkgs/haskellPackages.hs2ats | Create ATS types from Haskell types |
| packages/nixpkgs/haskellPackages.word-array | treat integral types as arrays of smaller integral types |
| packages/nixpkgs/haskellPackages.eliminators_0_9_6 | Dependently typed elimination functions using singletons |
| packages/nixpkgs/haskellPackages.data-result | Data types for returning results distinguishable by types |
| packages/nixpkgs/haskellPackages.elm-bridge | Derive Elm types and Json code from Haskell types, using aeson's options |
| packages/nixpkgs/haskellPackages.shwifty | Generate swift types from haskell types |
| packages/nixpkgs/haskellPackages.ocaml-export | Convert Haskell types in OCaml types |
| packages/nixpkgs/haskellPackages.haskell-to-elm | Generate Elm types and JSON encoders and decoders from Haskell types |
| packages/nixpkgs/haskellPackages.heterogeneous-comparison | Comparison of distinctly typed values with evidence capture |
| packages/nixpkgs/haskellPackages.elminator | Generate ELM types/encoders/decoders from Haskell types |
| packages/nixpkgs/haskellPackages.multiwalk | Traverse data types via generics, acting on multiple types simultaneously |
| packages/nixpkgs/haskellPackages.purescript-bridge | Generate PureScript data types from Haskell data types |
| packages/nixpkgs/haskellPackages.util-primitive-control | Utilities for stateful primitive types and types based on them |
| packages/nixpkgs/haskellPackages.primitive-unlifted | Primitive GHC types with unlifted types inside |
| packages/nixpkgs/haskellPackages.row | Row types |
| packages/nixpkgs/haskellPackages.i | Haskell interval types |
| packages/nixpkgs/haskellPackages.zm | Language independent, reproducible, absolute types |
| packages/nixpkgs/haskellPackages.tax | Types and combinators for taxes |
| packages/nixpkgs/haskellPackages.hkt | A library for higher kinded types |
| packages/nixpkgs/haskellPackages.ttn | Things Tracker Network JSON Types |
| packages/nixpkgs/haskellPackages.qbe | Types and prettyprinter for the IL of the QBE compiler backend |
| packages/nixpkgs/haskellPackages.Docs | Documentation types library |
| packages/nixpkgs/haskellPackages.qd-vec | 'Vec' instances for 'qd' types |
| packages/nixpkgs/haskellPackages.mime | Working with MIME types |
| packages/nixpkgs/haskellPackages.RepLib | Generic programming library with representation types |
| packages/nixpkgs/haskellPackages.appc | app container types and tools |
| packages/nixpkgs/haskellPackages.ABList | An alternating list of two types |
| packages/nixpkgs/haskellPackages.hset | Primitive list with elements of unique types |
| packages/nixpkgs/haskellPackages.flay | Generic programming for higher-kinded types |
| packages/nixpkgs/haskellPackages.crdt | Conflict-free replicated data types |
| packages/nixpkgs/haskellPackages.kdt | Fast and flexible k-d trees for various types of point queries |
| packages/nixpkgs/haskellPackages.tax-ato | Tax types and computations for Australia |
| packages/nixpkgs/haskellPackages.yoko | Generic Programming with Disbanded Data Types |