| akkuPackages.slib-dynamic | Dynamic data type |
| haskellPackages.hspec-laws | Document and test laws for standard type classes |
| haskellPackages.layers | Modular type class machinery for monad transformer stacks |
| haskellPackages.http-media | Processing HTTP Content-Type and Accept headers |
| haskellPackages.data-ascii | Type-safe, bytestring-based ASCII values |
| haskellPackages.data-store | Type safe, in-memory dictionary with multidimensional keys |
| haskellPackages.ghc-dump-tree | Dump GHC's parsed, renamed, and type checked ASTs |
| haskellPackages.named-text | A parameterized named text type and associated functionality |
| haskellPackages.yesod-core | Creation of type-safe, RESTful web applications |
| haskellPackages.monad-fork | Type class for monads which support a fork operation |
| perlPackages.CairoGObject | Integrate Cairo into the Glib type system |
| texlivePackages.ethiop-t1 | Type 1 versions of Amharic fonts |
| texlivePackages.mf2pt1 | Convert stylized Metafont to PostScript Type 1 |
| haskellPackages.hw-vector | Vector type with convenient typeclass instances |
| haskellPackages.monads-tf | Monad classes, using type families |
| haskellPackages.reform | reform is a type-safe HTML form generation and validation library |
| haskellPackages.monad-time | Type class for monads which carry the notion of the current time |
| python313Packages.botocore-stubs | Type annotations and code completion for botocore |
| python313Packages.click-datetime | Datetime type support for click |
| python314Packages.botocore-stubs | Type annotations and code completion for botocore |
| python314Packages.click-datetime | Datetime type support for click |
| perl538Packages.MooXTypeTiny | Tiny, yet Moo(se)-compatible type constraint |
| perl540Packages.MooXTypeTiny | Tiny, yet Moo(se)-compatible type constraint |
| python312Packages.datetime | DateTime data type, as known from Zope |
| python312Packages.utitools | Utilities for working with Uniform Type Identifiers |
| haskellPackages.apiary | Simple and type safe web framework that generate web API documentation |
| python313Packages.mypy-boto3-lexv2-models | Type annotations for boto3 lexv2-models |
| python313Packages.mypy-boto3-lex-runtime | Type annotations for boto3 lex-runtime |
| python313Packages.mypy-boto3-support-app | Type annotations for boto3 support-app |
| python313Packages.mypy-boto3-cognito-idp | Type annotations for boto3 cognito-idp |
| python313Packages.mypy-boto3-vpc-lattice | Type annotations for boto3 vpc-lattice |
| python314Packages.mypy-boto3-support-app | Type annotations for boto3 support-app |
| python314Packages.mypy-boto3-lex-runtime | Type annotations for boto3 lex-runtime |
| python314Packages.mypy-boto3-lexv2-models | Type annotations for boto3 lexv2-models |
| python314Packages.mypy-boto3-cognito-idp | Type annotations for boto3 cognito-idp |
| python314Packages.mypy-boto3-vpc-lattice | Type annotations for boto3 vpc-lattice |
| perl540Packages.Specio | Type constraints and coercions for Perl |
| perl538Packages.Specio | Type constraints and coercions for Perl |
| python312Packages.mypy-boto3-config | Type annotations for boto3 config |
| python312Packages.mypy-boto3-backup | Type annotations for boto3 backup |
| python312Packages.mypy-boto3-iot-jobs-data | Type annotations for boto3 iot-jobs-data |
| python312Packages.mypy-boto3-lambda | Type annotations for boto3 lambda |
| python312Packages.mypy-boto3-cloud9 | Type annotations for boto3 cloud9 |
| python312Packages.mypy-boto3-shield | Type annotations for boto3 shield |
| python312Packages.mypy-boto3-proton | Type annotations for boto3 proton |
| python312Packages.mypy-boto3-athena | Type annotations for boto3 athena |
| python312Packages.mypy-boto3-kendra | Type annotations for boto3 kendra |
| python312Packages.mypy-boto3-events | Type annotations for boto3 events |
| python312Packages.mypy-boto3-nimble | Type annotations for boto3 nimble |
| python312Packages.mypy-boto3-wisdom | Type annotations for boto3 wisdom |
| python312Packages.mypy-boto3-braket | Type annotations for boto3 braket |
| python312Packages.mypy-boto3-health | Type annotations for boto3 health |
| python312Packages.mypy-boto3-macie2 | Type annotations for boto3 macie2 |
| python312Packages.mypy-boto3-signer | Type annotations for boto3 signer |
| haskellPackages.AspectAG | First-class Attribute Grammars implemented using type-level programming |
| haskellPackages.fcf-graphs | Type-level version of algebraic-graphs |
| haskellPackages.lol-typing | Type inferencer for LOL (λω language) |
| haskellPackages.gotyno-hs | A type definition compiler supporting multiple output languages |
| haskellPackages.non-empty-text | Non empty Data.Text type |
| haskellPackages.web-routes | portable, type-safe URL routing |
| haskellPackages.roundRobin | A simple round-robin data type |
| perl5Packages.CairoGObject | Integrate Cairo into the Glib type system |
| ocamlPackages_latest.json-data-encoding-bson | Type-safe encoding to and decoding from JSON (bson support) |
| python313Packages.jaxtyping | Type annotations and runtime checking for JAX arrays and PyTrees |
| python314Packages.jaxtyping | Type annotations and runtime checking for JAX arrays and PyTrees |
| texlivePackages.yfonts-t1 | Old German-style fonts, in Adobe type 1 format |
| perlPackages.MooXTypesMooseLike | Some Moosish types and a type builder |
| python312Packages.cyclopts | Module to create CLIs based on Python type hints |
| python312Packages.timeslot | Data type for representing time slots with a start and end |
| haskellPackages.Cabal-hooks | API for the Hooks build-type |
| haskellPackages.data-basic | A database library with a focus on ease of use, type safety and useful error messages |
| haskellPackages.uom-plugin | Units of measure as a GHC type-checker plugin |
| perlPackages.DataInteger | Details of the native integer data type |
| python313Packages.dicttoxml | Converts a Python dictionary or other native data type into a valid XML string |
| python313Packages.pydantic_1 | Data validation and settings management using Python type hinting |
| python314Packages.pydantic_1 | Data validation and settings management using Python type hinting |
| python314Packages.dicttoxml | Converts a Python dictionary or other native data type into a valid XML string |
| perl540Packages.DataFloat | Details of the floating point data type |
| perl538Packages.DataFloat | Details of the floating point data type |
| perl540Packages.FileMMagic | Guess file type from contents |
| perl538Packages.FileMMagic | Guess file type from contents |
| python312Packages.pydantic | Data validation and settings management using Python type hinting |
| gnome-kra-ora-thumbnailer | Thumbnailer for Krita and MyPaint images |
| haskellPackages.range-space | A Range type with vector-space instances |
| perl540Packages.FileMimeInfo | Determine file type from the file name |
| perl538Packages.FileMimeInfo | Determine file type from the file name |
| python312Packages.msgpack-numpy | Numpy data type serialization using msgpack |
| haskellPackages.aztecs-sdl | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| haskellPackages.amqp-worker | Type-safe AMQP workers |
| haskellPackages.dynamic | A dynamic type for Haskell |
| haskellPackages.safe-money | Type-safe and lossless encoding and manipulation of money, fiat currencies, crypto currencies and precious metals |
| haskellPackages.simple-form | Forms that configure themselves based on type |
| haskellPackages.printf-safe | Type safe interface for Text.Printf |
| python313Packages.mypy-boto3-cognito-sync | Type annotations for boto3 cognito-sync |
| python313Packages.mypy-boto3-qldb-session | Type annotations for boto3 qldb-session |
| python314Packages.mypy-boto3-cognito-sync | Type annotations for boto3 cognito-sync |
| python314Packages.mypy-boto3-qldb-session | Type annotations for boto3 qldb-session |
| texlivePackages.minibox | A simple type of box for LaTeX |
| perl5Packages.MooXTypesMooseLike | Some Moosish types and a type builder |
| postgresql13Packages.pg-semver | Semantic version data type for PostgreSQL |