| packages/nixpkgs/haskellPackages.lambdatex | Type-Safe LaTeX EDSL |
| packages/nixpkgs/haskellPackages.oneormore | A never-empty list type |
| packages/nixpkgs/haskellPackages.natural-number | Natural numbers tagged with a type-level representation of the number |
| packages/nixpkgs/haskellPackages.unlifted-list | GHC Haskell lists of non-thunks (things of kind TYPE 'UnliftedRep) |
| packages/nixpkgs/haskellPackages.unpacked-these | An unpacked these data type |
| packages/nixpkgs/haskellPackages.javelin-frames | Type-safe data frames based on higher-kinded types |
| packages/nixpkgs/haskellPackages.multi-instance | Typeclasses augmented with a phantom type parameter |
| packages/nixpkgs/akkuPackages.dataframe | A dataframe record type for Scheme (R6RS) with procedures to select, drop, and rename columns, and filter, sort, split, bind, append, join, reshape, and aggregate dataframes. |
| packages/nixpkgs/haskellPackages.lambda-options | Declarative command-line parser with type-driven pattern matching |
| packages/nixpkgs/haskellPackages.libffi-dynamic | LibFFI interface with dynamic bidirectional type-driven binding generation |
| packages/nixpkgs/haskellPackages.fixedprec | A fixed-precision real number type |
| packages/nixpkgs/haskellPackages.enumerate | enumerate all the values in a finite type (automatically) |
| packages/nixpkgs/haskellPackages.servant-proto-lens | Servant Content-Type for proto-lens protobuf modules |
| packages/nixpkgs/haskellPackages.unpacked-maybe | An unpacked maybe data type |
| packages/nixpkgs/haskellPackages.symparsec | Type level string parser combinators |
| packages/nixpkgs/haskellPackages.saferoute | A simple type-safe routing library |
| packages/nixpkgs/haskellPackages.separated | A data type with elements separated by values |
| packages/nixpkgs/haskellPackages.webgear-server | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.open-adt-tutorial | Open algebraic data type examples |
| packages/nixpkgs/haskellPackages.functora-witch | Convert values from one type into another |
| packages/nixpkgs/haskellPackages.groundhog | Type-safe datatype-database mapping library |
| packages/nixpkgs/haskellPackages.streaming | an elementary streaming prelude and general stream type |
| packages/nixpkgs/haskellPackages.vector-space-points | A type for points, as distinct from vectors |
| packages/nixpkgs/haskellPackages.numbering | Combinators for creating bijections from some type to the natural numbers |
| packages/nixpkgs/haskellPackages.Coroutine | Type-safe coroutines using lightweight session types |
| packages/nixpkgs/haskellPackages.aeson-deriving | data types for compositional, type-directed serialization |
| packages/nixpkgs/perl540Packages.SymbolGlobalName | Finds name and type of a global variable |
| packages/nixpkgs/perl538Packages.SymbolGlobalName | Finds name and type of a global variable |
| packages/nixpkgs/haskellPackages.exference | Tool to search/generate (haskell) expressions with a given type |
| packages/nixpkgs/haskellPackages.deriving-aeson | Type driven generic aeson instance customisation |
| packages/nixpkgs/haskellPackages.esqueleto | Type-safe EDSL for SQL queries on persistent backends |
| packages/nixpkgs/haskellPackages.happs-tutorial | A Happstack Tutorial that is its own web 2.0-type demo. |
| packages/nixpkgs/haskellPackages.composite-xml | RecXML Type |
| packages/nixpkgs/haskellPackages.web-routes-regular | portable, type-safe URL routing |
| packages/nixpkgs/haskellPackages.semialign | Align and Zip type-classes from the common Semialign ancestor |
| packages/nixpkgs/haskellPackages.hyperbole | Interactive HTML apps using type-safe serverside Haskell |
| packages/nixpkgs/haskellPackages.dependent-sum | Dependent sum type |
| packages/nixpkgs/idrisPackages.rationals | Idris rational number type built from paths in the Stern Brocot tree |
| packages/nixpkgs/haskellPackages.AlgorithmW | Example implementation of Algorithm W for Hindley-Milner type inference |
| packages/nixpkgs/haskellPackages.groundhog-th | Type-safe datatype-database mapping library |
| packages/nixpkgs/haskellPackages.network-uri-static | A small utility to declare type-safe static URIs |
| packages/nixpkgs/haskellPackages.version-natural | A simple version type |
| packages/nixpkgs/perl538Packages.DispatchClass | Dispatch on the type (class) of an argument |
| packages/nixpkgs/perl540Packages.DispatchClass | Dispatch on the type (class) of an argument |
| packages/nixpkgs/haskellPackages.DrIFT-cabalized | Program to derive type class instances |
| packages/nixpkgs/haskellPackages.TrivialMonadWithUnitType | Trivial monad with Unit type |
| packages/nixpkgs/haskellPackages.cassava-records | Auto-generation of records data type |
| packages/nixpkgs/haskellPackages.singleton-bool | Type level booleans |
| packages/nixpkgs/haskellPackages.network-service | Provide a service at the data type level |
| packages/nixpkgs/haskellPackages.servant-cassava | Servant CSV content-type for cassava |
| packages/nixpkgs/haskellPackages.twentefp-trees | Tree type and show functions for lab assignment of University of Twente |
| packages/nixpkgs/haskellPackages.LambdaDesigner | A type-safe EDSL for TouchDesigner written in Haskell |
| packages/nixpkgs/haskellPackages.growable-vector | A contiguous growable array type |
| packages/nixpkgs/haskellPackages.fcf-composite | Type-level computation for composite using first-class-families |
| packages/nixpkgs/haskellPackages.numeric-prelude | An experimental alternative hierarchy of numeric type classes |
| packages/nixpkgs/haskellPackages.unpacked-either | An unpacked either data type |
| packages/nixpkgs/haskellPackages.list-witnesses | Witnesses for working with type-level lists |
| packages/nixpkgs/haskellPackages.general-prelude | Prelude replacement using generalized type classes where possible |
| packages/nixpkgs/haskellPackages.dormouse-client | Simple, type-safe and testable HTTP client |
| packages/nixpkgs/haskellPackages.webgear-swagger | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.webgear-openapi | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.finitary-derive | Flexible and easy deriving of type classes for finitary types |
| packages/nixpkgs/haskellPackages.category-printf | Highbrow approach to type-safe printf format specifications |
| packages/nixpkgs/haskellPackages.mime-directory | A library for parsing/printing the text/directory mime type |
| packages/nixpkgs/haskellPackages.convex-schema-parser | A type-safe client generator for Convex for both Rust and Python |
| packages/nixpkgs/haskellPackages.terminal-text | Text data type for styled terminal output, including all standard ANSI effects (bold, italic, blinking) and ANSI / 256 / truecolor colors support for Unix and Windows (whenever possible) |
| packages/nixpkgs/perl540Packages.ParamsClassify | Argument type classification |
| packages/nixpkgs/perl538Packages.ParamsClassify | Argument type classification |
| packages/nixpkgs/haskellPackages.enumerable | A typeclass for enumerating all values a type |
| packages/nixpkgs/perl538Packages.EmailMIMEContentType | Parse and build a MIME Content-Type or Content-Disposition Header |
| packages/nixpkgs/perl540Packages.EmailMIMEContentType | Parse and build a MIME Content-Type or Content-Disposition Header |
| packages/nixpkgs/haskellPackages.heterolist | A heterogeneous list type |
| packages/nixpkgs/haskellPackages.servant-xml-conduit | Servant XML content-type with support for xml-conduit |
| packages/nixpkgs/haskellPackages.web-routes-generics | portable, type-safe URL routing |
| packages/nixpkgs/haskellPackages.witch_1_3_0_1 | Convert values from one type into another |
| packages/nixpkgs/akkuPackages.bcaine-defstruct | A more convenient version of `define-record-type`, inspired by Chicken's `defstruct`, including SRFI-17 setters |
| packages/nixpkgs/haskellPackages.PeanoWitnesses | GADT type witnesses for Peano-style natural numbers |
| packages/nixpkgs/haskellPackages.first-class-families | First-class type families |
| packages/nixpkgs/haskellPackages.membership | Indices for type level lists |
| packages/nixpkgs/haskellPackages.broadcast-chan | Closable, fair, single-wakeup channel type that avoids 0 reader space leaks |
| packages/nixpkgs/idrisPackages.quantities | Type-safe physical computations and unit conversions in Idris |
| packages/nixpkgs/haskellPackages.versioning | Type-safe data versioning |
| packages/nixpkgs/haskellPackages.lambdacube | A simple lambda cube type checker |
| packages/nixpkgs/haskellPackages.increments | type classes for incremental updates to data |
| packages/nixpkgs/haskellPackages.hydrogen-version | Hydrogen Version Type |
| packages/nixpkgs/haskellPackages.Validation | A data-type like Either but with an accumulating Applicative |
| packages/nixpkgs/haskellPackages.dimensions | Safe type-level dimensionality for multidimensional data |
| packages/nixpkgs/haskellPackages.apply-unordered | Apply a function to an argument specified by a type level Nat |
| packages/nixpkgs/haskellPackages.validation | A data-type like Either but with an accumulating Applicative |
| packages/nixpkgs/haskellPackages.persistent | Type-safe, multi-backend data serialization |
| packages/nixpkgs/haskellPackages.stringable | A Stringable type class, in the spirit of Foldable and Traversable |
| packages/nixpkgs/haskellPackages.tyfam-witnesses | Provide proof witnesses for closed type family evaluation |
| packages/nixpkgs/haskellPackages.positive-integer | Type of positive integers |
| packages/nixpkgs/texlivePackages.mathpartir | Typesetting sequences of math formulas, e.g. type inference rules |
| packages/nixpkgs/haskellPackages.variable-media-field | Simple type for representing one of several media types |
| packages/nixpkgs/haskellPackages.polysemy-keyed-state | Effect for a set of stateful values indexed by a type of keys |
| packages/nixpkgs/haskellPackages.webgear-core_1_5_0 | Composable, type-safe library to build HTTP APIs |
| packages/nixpkgs/haskellPackages.monad-primitive | Type class for monad transformers stack with pirimitive base monad |
| packages/nixpkgs/texlivePackages.diabetes-logbook | A logbook for people with type one diabetes |
| packages/nixpkgs/haskellPackages.htree_0_2_0_0 | a library to build and work with heterogeneous, type level indexed rose trees |