| packages/nixpkgs/haskellPackages.data-checked | Type-indexed runtime-checked properties |
| packages/nixpkgs/python312Packages.future-typing | Use generic type hints and new union syntax `|` with python 3.6+ |
| packages/nixpkgs/haskellPackages.f-algebra-gen | Generate a special f-algebra combinator from any data type |
| packages/nixpkgs/perl5Packages.SymbolGlobalName | Finds name and type of a global variable |
| packages/nixpkgs/perl5Packages.MooseXTypesPathClass | Path::Class type library for Moose |
| packages/nixpkgs/python313Packages.dicttoxml | Converts a Python dictionary or other native data type into a valid XML string |
| packages/nixpkgs/python314Packages.dicttoxml | Converts a Python dictionary or other native data type into a valid XML string |
| packages/nixpkgs/haskellPackages.AC-HalfInteger | Efficient half-integer type |
| packages/nixpkgs/haskellPackages.kind-integer | Type-level integers |
| packages/nixpkgs/haskellPackages.haskell-docs | A program to find and display the docs and type of a name |
| packages/nixpkgs/haskellPackages.horizon-spec | Horizon Stable Package Set Type Definitions |
| packages/nixpkgs/haskellPackages.smtlib2-pipe | A type-safe interface to communicate with an SMT solver |
| packages/nixpkgs/perl540Packages.CairoGObject | Integrate Cairo into the Glib type system |
| packages/nixpkgs/perl538Packages.CairoGObject | Integrate Cairo into the Glib type system |
| packages/nixpkgs/perlPackages.DispatchClass | Dispatch on the type (class) of an argument |
| packages/nixpkgs/haskellPackages.webgear-core | Composable, type-safe library to build HTTP APIs |
| packages/nixpkgs/haskellPackages.recover-rtti | Recover run-time type information from the GHC heap |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-glib | A type class for cast functions of Gtk2hs: glib package |
| packages/nixpkgs/python312Packages.mypy-boto3-lex-models | Type annotations for boto3 lex-models |
| packages/nixpkgs/python312Packages.mypy-boto3-ecr-public | Type annotations for boto3 ecr-public |
| packages/nixpkgs/haskellPackages.multiset | The Data |
| packages/nixpkgs/haskellPackages.rhine_1_6 | Functional Reactive Programming with type-level clocks |
| packages/nixpkgs/haskellPackages.finitary | A better, more type-safe Enum |
| packages/nixpkgs/haskellPackages.hssqlppp | SQL parser and type checker |
| packages/nixpkgs/haskellPackages.higgledy | Partial types as a type constructor |
| packages/nixpkgs/haskellPackages.membrain | Type-safe memory units |
| packages/nixpkgs/haskellPackages.byteable | Type class for sequence of bytes |
| packages/nixpkgs/haskellPackages.possibly | type Possibly a = Either String a |
| packages/nixpkgs/python313Packages.mypy-boto3-qldb-session | Type annotations for boto3 qldb-session |
| packages/nixpkgs/python313Packages.mypy-boto3-cognito-sync | Type annotations for boto3 cognito-sync |
| packages/nixpkgs/python314Packages.mypy-boto3-cognito-sync | Type annotations for boto3 cognito-sync |
| packages/nixpkgs/python314Packages.mypy-boto3-qldb-session | Type annotations for boto3 qldb-session |
| packages/nixpkgs/haskellPackages.data-variant | A variant data type, useful for modeling dynamically-typed programming languages |
| packages/nixpkgs/haskellPackages.aztecs-sdl-image | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.bind-marshal | Data marshaling library that uses type level equations to optimize buffering |
| packages/nixpkgs/python313Packages.pydantic_1 | Data validation and settings management using Python type hinting |
| packages/nixpkgs/python314Packages.pydantic_1 | Data validation and settings management using Python type hinting |
| packages/nixpkgs/haskellPackages.make-monofoldable-foldable | Make a MonoFoldable type into an ordinary Foldable type |
| packages/nixpkgs/haskellPackages.joinlist | Join list - symmetric list type |
| packages/nixpkgs/haskellPackages.matrix-static | Type-safe matrix operations |
| packages/nixpkgs/haskellPackages.suitable | Abstract over the constraints on the parameters to type constructors |
| packages/nixpkgs/haskellPackages.timelike | Type classes for types representing time |
| packages/nixpkgs/texlivePackages.initials | Adobe Type 1 decorative initial fonts |
| packages/nixpkgs/haskellPackages.red-black-record | Extensible records and variants indexed by a type-level Red-Black tree |
| packages/nixpkgs/haskellPackages.symbol-parser | Type level string parser combinators |
| packages/nixpkgs/haskellPackages.storable | Storable type class for variable-sized data |
| packages/nixpkgs/haskellPackages.optional | Using type-classes for optional function arguments |
| packages/nixpkgs/texlivePackages.ragged2e | Alternative versions of "ragged"-type commands |
| packages/nixpkgs/perl540Packages.DataInteger | Details of the native integer data type |
| packages/nixpkgs/perl538Packages.DataInteger | Details of the native integer data type |
| packages/nixpkgs/haskellPackages.hslua-classes | Type classes for HsLua |
| packages/nixpkgs/haskellPackages.language-tl | A Parser for the Type Language |
| packages/nixpkgs/haskellPackages.monoid-record | Support for modifying record fields of monoidal type |
| packages/nixpkgs/haskellPackages.timeline | Data type representing a piecewise-constant function over time |
| packages/nixpkgs/haskellPackages.sequence | A type class for sequences and various sequence data structures |
| packages/nixpkgs/texlivePackages.mlmodern | A blacker Type 1 version of Computer Modern, with multilingual support |
| packages/nixpkgs/texlivePackages.lastpage | Reference last page for Page N of M type footers |
| packages/nixpkgs/perl538Packages.MooXTypesMooseLike | Some Moosish types and a type builder |
| packages/nixpkgs/perl540Packages.MooXTypesMooseLike | Some Moosish types and a type builder |
| packages/nixpkgs/perl5Packages.DispatchClass | Dispatch on the type (class) of an argument |
| packages/nixpkgs/haskellPackages.COrdering | An algebraic data type similar to Prelude Ordering |
| packages/nixpkgs/haskellPackages.servant-dhall | Servant Dhall content-type |
| packages/nixpkgs/haskellPackages.fluffy-parser | The parser for fluffy to parsec the question bank in .docx type |
| packages/nixpkgs/haskellPackages.envelope | Defines generic 'Envelope' type to wrap reponses from a JSON API |
| packages/nixpkgs/haskellPackages.musicxml | MusicXML format encoded as Haskell type and functions of reading and writting |
| packages/nixpkgs/haskellPackages.tagged-binary | Provides tools for serializing data tagged with type information |
| packages/nixpkgs/haskellPackages.protocol | Model distributed system as type-level multi-party protocol |
| packages/nixpkgs/chickenPackages_5.chickenEggs.records | Procedural record-type interface |
| packages/nixpkgs/python312Packages.mypy-boto3-devops-guru | Type annotations for boto3 devops-guru |
| packages/nixpkgs/python313Packages.mypy-boto3-worklink | Type annotations for boto3 worklink |
| packages/nixpkgs/python313Packages.mypy-boto3-outposts | Type annotations for boto3 outposts |
| packages/nixpkgs/python313Packages.mypy-boto3-firehose | Type annotations for boto3 firehose |
| packages/nixpkgs/python313Packages.mypy-boto3-datasync | Type annotations for boto3 datasync |
| packages/nixpkgs/python313Packages.mypy-boto3-workmail | Type annotations for boto3 workmail |
| packages/nixpkgs/python313Packages.mypy-boto3-panorama | Type annotations for boto3 panorama |
| packages/nixpkgs/python313Packages.mypy-boto3-redshift | Type annotations for boto3 redshift |
| packages/nixpkgs/python313Packages.mypy-boto3-codestar | Type annotations for boto3 codestar |
| packages/nixpkgs/python313Packages.mypy-boto3-memorydb | Type annotations for boto3 memorydb |
| packages/nixpkgs/python313Packages.mypy-boto3-finspace | Type annotations for boto3 finspace |
| packages/nixpkgs/python313Packages.mypy-boto3-opsworks | Type annotations for boto3 opsworks |
| packages/nixpkgs/python313Packages.mypy-boto3-textract | Type annotations for boto3 textract |
| packages/nixpkgs/python313Packages.mypy-boto3-snowball | Type annotations for boto3 snowball |
| packages/nixpkgs/python313Packages.mypy-boto3-pinpoint | Type annotations for boto3 pinpoint |
| packages/nixpkgs/python313Packages.mypy-boto3-databrew | Type annotations for boto3 databrew |
| packages/nixpkgs/python313Packages.mypy-boto3-forecast | Type annotations for boto3 forecast |
| packages/nixpkgs/python313Packages.mypy-boto3-cloudhsm | Type annotations for boto3 cloudhsm |
| packages/nixpkgs/python313Packages.mypy-boto3-location | Type annotations for boto3 location |
| packages/nixpkgs/python313Packages.mypy-boto3-transfer | Type annotations for boto3 transfer |
| packages/nixpkgs/python313Packages.mypy-boto3-workdocs | Type annotations for boto3 workdocs |
| packages/nixpkgs/python313Packages.mypy-boto3-dynamodb | Type annotations for boto3 dynamodb |
| packages/nixpkgs/python313Packages.mypy-boto3-gamelift | Type annotations for boto3 gamelift |
| packages/nixpkgs/python314Packages.mypy-boto3-panorama | Type annotations for boto3 panorama |
| packages/nixpkgs/python314Packages.mypy-boto3-location | Type annotations for boto3 location |
| packages/nixpkgs/python314Packages.mypy-boto3-transfer | Type annotations for boto3 transfer |
| packages/nixpkgs/python314Packages.mypy-boto3-workdocs | Type annotations for boto3 workdocs |
| packages/nixpkgs/python314Packages.mypy-boto3-codestar | Type annotations for boto3 codestar |
| packages/nixpkgs/python314Packages.mypy-boto3-worklink | Type annotations for boto3 worklink |
| packages/nixpkgs/python314Packages.mypy-boto3-redshift | Type annotations for boto3 redshift |
| packages/nixpkgs/python314Packages.mypy-boto3-dynamodb | Type annotations for boto3 dynamodb |
| packages/nixpkgs/python314Packages.mypy-boto3-forecast | Type annotations for boto3 forecast |