| 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/texlivePackages.resphilosophica | Typeset articles for the journal Res Philosophica |
| 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/texlivePackages.romanbarpagenumber | Typesetting roman page numbers |
| packages/nixpkgs/texlivePackages.complexpolylongdiv | Typesetting (complex) polynomial long division |
| packages/nixpkgs/texlivePackages.philosophersimprint | Typesetting articles for "Philosophers' Imprint" |
| packages/nixpkgs/texlivePackages.phfextendedabstract | Typeset extended abstracts for conferences, such as often encountered in quantum information theory |
| 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/fast-float | Fast and exact implementation of the C++ from_chars functions for number types |
| packages/nixpkgs/haskellPackages.primitive-unlifted | Primitive GHC types with unlifted types inside |
| packages/nixpkgs/perlPackages.FFIC | C data types for FFI |
| packages/nixpkgs/akkuPackages.srfi-19 | Implementation of SRFI 19 'Time Data Types and Procedures' |
| packages/nixpkgs/perlPackages.enum | C style enumerated types and bitmask flags in Perl |
| packages/nixpkgs/perl5Packages.FFIC | C data types for FFI |
| packages/nixpkgs/haskellPackages.primitive-unlifted_2_2_0_0 | Primitive GHC types with unlifted types inside |
| packages/nixpkgs/haskellPackages.primitive-unlifted_0_1_3_1 | Primitive GHC types with unlifted types inside |
| packages/nixpkgs/ilmbase | Library for 2D/3D vectors and matrices and other mathematical objects, functions and data types for computer graphics |
| packages/nixpkgs/perl5Packages.enum | C style enumerated types and bitmask flags in Perl |
| packages/nixpkgs/haskellPackages.row | Row types |
| packages/nixpkgs/haskellPackages.i | Haskell interval types |
| packages/nixpkgs/idris2 | Purely functional programming language with first class types |
| packages/nixpkgs/haskellPackages.tax | Types and combinators for taxes |
| packages/nixpkgs/haskellPackages.zm | Language independent, reproducible, absolute types |
| 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/perlPackages.DataUtil | Selection of utilities for data and data types |
| 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/perlPackages.DataPerl | Base classes wrapping fundamental Perl data 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.kdt | Fast and flexible k-d trees for various types of point queries |
| packages/nixpkgs/haskellPackages.hset | Primitive list with elements of unique types |
| packages/nixpkgs/haskellPackages.crdt | Conflict-free replicated data types |
| packages/nixpkgs/haskellPackages.flay | Generic programming for higher-kinded types |
| packages/nixpkgs/haskellPackages.yoko | Generic Programming with Disbanded Data Types |
| packages/nixpkgs/haskellPackages.tax-ato | Tax types and computations for Australia |
| packages/nixpkgs/perl5Packages.DataUtil | Selection of utilities for data and data types |
| packages/nixpkgs/pretty-simple | pretty printer for data types with a 'Show' instance |
| packages/nixpkgs/haskellPackages.wkt | Parsec parsers and types for geographic data in well-known text (WKT) format |
| packages/nixpkgs/idrisPackages.idris | Functional Programming Language with Dependent Types |
| packages/nixpkgs/haskellPackages.ron-rdt | Replicated Data Types (RON-RDT) |
| packages/nixpkgs/perl5Packages.DataPerl | Base classes wrapping fundamental Perl data types |
| packages/nixpkgs/haskellPackages.hw-prim | Primitive functions and data types |
| packages/nixpkgs/idrisPackages.idris-no-deps | Functional Programming Language with Dependent Types |
| packages/nixpkgs/haskellPackages.oops | Combinators for handling errors of many types in a composable way |
| packages/nixpkgs/haskellPackages.curry | Curry types |
| packages/nixpkgs/haskellPackages.data-fix | Fixpoint data types |
| packages/nixpkgs/haskellPackages.aws-arn | Types and optics for manipulating Amazon Resource Names (ARNs) |
| packages/nixpkgs/haskellPackages.facts | Refined types |
| packages/nixpkgs/haskellPackages.rpm-nvr | RPM package name-version-release data types |
| packages/nixpkgs/bat-extras.batpipe | Less (and soon bat) preprocessor for viewing more types of files in the terminal |
| packages/nixpkgs/haskellPackages.int-cast | Checked conversions between integral types |
| packages/nixpkgs/haskellPackages.ten-lens | Lenses for the types in the ten package |
| packages/nixpkgs/haskellPackages.smash | Combinators for Maybe types |
| packages/nixpkgs/haskellPackages.open-adt | Open algebraic data types |
| packages/nixpkgs/haskellPackages.teeth | Dental data types |
| packages/nixpkgs/haskellPackages.OddWord | Provides a wrapper for deriving word types with fewer bits |
| packages/nixpkgs/haskellPackages.aws-easy | Helper function and types for working with amazonka |
| packages/nixpkgs/haskellPackages.ddate | Discordian Date Types for Haskell |
| packages/nixpkgs/haskellPackages.basic | Lifting values from base types |
| packages/nixpkgs/haskellPackages.sized | Sized sequence data-types |
| packages/nixpkgs/perl540Packages.FFIC | C data types for FFI |
| packages/nixpkgs/perl538Packages.FFIC | C data types for FFI |
| packages/nixpkgs/haskellPackages.dia-base | An EDSL for teaching Haskell with diagrams - data types |
| packages/nixpkgs/haskellPackages.bimap | Bidirectional mapping between two key types |
| packages/nixpkgs/haskellPackages.vault | a persistent store for values of arbitrary types |
| packages/nixpkgs/haskellPackages.hs2ps | Translate Haskell types to PureScript |
| packages/nixpkgs/haskellPackages.braid | Types and functions to work with braids and Khovanov homology |
| packages/nixpkgs/haskellPackages.hdiff | Pattern-Expression-based differencing of arbitrary types |
| packages/nixpkgs/haskellPackages.pure-sum | Derive fromString/toString-like for pure sum types |
| packages/nixpkgs/perlPackages.FileLibMagic | Determine MIME types of data or files using libmagic |
| packages/nixpkgs/perl540Packages.enum | C style enumerated types and bitmask flags in Perl |
| packages/nixpkgs/perl538Packages.enum | C style enumerated types and bitmask flags in Perl |
| packages/nixpkgs/idrisPackages.yampa | Idris implementation of Yampa FRP library as described in Reactive Programming through Dependent Types |
| packages/nixpkgs/haskellPackages.shade | A control structure used to combine heterogenous types with delayed effects |
| packages/nixpkgs/haskellPackages.ema-extra | Useful route types for Ema |
| packages/nixpkgs/haskellPackages.enum-text | A text rendering and parsing toolkit for enumerated types |
| packages/nixpkgs/haskellPackages.idris | Functional Programming Language with Dependent Types |
| packages/nixpkgs/haskellPackages.enum-utf8 | An experimental Utf8 parsing toolkit for enumerated types |
| packages/nixpkgs/haskellPackages.data-fix-cse | Common subexpression elimination for the fixploint types |
| packages/nixpkgs/haskellPackages.key-vault | Store of values of arbitrary types |
| packages/nixpkgs/haskellPackages.stm-chans | Additional types of channels for STM |
| packages/nixpkgs/perl5Packages.FileLibMagic | Determine MIME types of data or files using libmagic |
| packages/nixpkgs/perlPackages.autobox | Call methods on native types |