| 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/matter-compiler | Matter Compiler is a API Blueprint AST Media Types to API Blueprint conversion tool |
| packages/nixpkgs/haskellPackages.finitary-derive | Flexible and easy deriving of type classes for finitary types |
| packages/nixpkgs/eot_utilities | Create Embedded Open Type from OpenType or TrueType font |
| 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 |
| packages/nixpkgs/haskellPackages.formatting | Combinator-based type-safe formatting (like printf() or FORMAT) |
| packages/nixpkgs/haskellPackages.first-class-patterns | First class patterns and pattern matching, using type families |
| packages/nixpkgs/haskellPackages.easytensor | Pure, type-indexed haskell vector, matrix, and tensor library |
| packages/nixpkgs/haskellPackages.templatepg | A PostgreSQL access library with compile-time SQL type inference |
| packages/nixpkgs/haskellPackages.multistate | like mtl's ReaderT / WriterT / StateT, but more than one contained value/type |
| packages/nixpkgs/haskellPackages.postgres-options | An Options type representing options for postgres connections |
| packages/nixpkgs/haskellPackages.instance-control | Controls how the compiler searches for instances using type families |
| packages/nixpkgs/haskellPackages.fingertree-tf | Generic finger-tree structure using type families |
| packages/nixpkgs/haskellPackages.ghc-tcplugins-extra | Utilities for writing GHC type-checker plugins |
| packages/nixpkgs/haskellPackages.jsonschema-gen | JSON Schema generator from Algebraic data type |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-gtkglext | A type class for cast functions of Gtk2hs: gtkglext package |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-gnomevfs | A type class for cast functions of Gtk2hs: gnomevfs package |
| packages/nixpkgs/haskellPackages.dynamic-pipeline | Library Type Safe implementation of Dynamic Pipeline Paradigm (DPP) |
| packages/nixpkgs/haskellPackages.purescript-iso | Isomorphic trivial data type definitions over JSON |
| packages/nixpkgs/haskellPackages.memory-hexstring | Hex-string type for Haskell Web3 library |
| packages/nixpkgs/haskellPackages.aeson-generic-default | Type-level default fields for aeson Generic FromJSON parser |
| packages/nixpkgs/haskellPackages.data-validation | A library for creating type safe validations |
| packages/nixpkgs/haskellPackages.bytestring-from | A type-class to convert values from ByteString |
| packages/nixpkgs/haskellPackages.collection-json | Collection+JSON—Hypermedia Type Tools |
| packages/nixpkgs/haskellPackages.JSON-Combinator | A combinator library on top of a generalised JSON type |
| packages/nixpkgs/haskellPackages.aztecs-hierarchy | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.aztecs-transform | A type-safe and friendly Entity-Component-System (ECS) for Haskell |