| packages/nixpkgs/python314Packages.annotated-types | Reusable constraint types to use with typing |
| packages/nixpkgs/python314Packages.sigstore-rekor-types | Python models for Rekor's API types |
| packages/nixpkgs/python313Packages.sigstore-rekor-types | Python models for Rekor's API types |
| packages/nixpkgs/python314Packages.range-typed-integers | Package provides integer types that have a specific range of valid values |
| packages/nixpkgs/python313Packages.range-typed-integers | Package provides integer types that have a specific range of valid values |
| packages/nixpkgs/haskellPackages.typelevel-rewrite-rules | Solve type equalities using custom type-level rewrite rules |
| packages/nixpkgs/rPackages.genotypeeval | |
| packages/nixpkgs/python312Packages.typeshed-client | Retrieve information from typeshed and other typing stubs |
| packages/nixpkgs/python314Packages.traittypes | Trait types for NumPy, SciPy, XArray, and Pandas |
| packages/nixpkgs/python313Packages.traittypes | Trait types for NumPy, SciPy, XArray, and Pandas |
| packages/nixpkgs/haskellPackages.pushbullet-types | Datatypes used by the Pushbullet APIs |
| packages/nixpkgs/haskellPackages.linear-core-prototype | Linear core validates optimizations wrt linearity |
| packages/nixpkgs/python313Packages.mallard-ducktype | Parser for the lightweight Ducktype syntax for Mallard |
| packages/nixpkgs/python314Packages.mallard-ducktype | Parser for the lightweight Ducktype syntax for Mallard |
| packages/nixpkgs/python312Packages.monkeytype | Python library that generates static type annotations by collecting runtime types |
| packages/nixpkgs/haskellPackages.ghc-typelits-knownnat | Derive KnownNat constraints from other KnownNat constraints |
| packages/nixpkgs/haskellPackages.gelatin-freetype2 | FreeType2 based text rendering for the gelatin realtime rendering system |
| packages/nixpkgs/haskellPackages.snaplet-typed-sessions | Typed session snaplets and continuation-based programming for the Snap web framework |
| packages/nixpkgs/python312Packages.typedunits | Units and dimensions library with support for static dimensionality checking and protobuffer serialization |
| packages/nixpkgs/haskellPackages.hakyll-typescript | Typescript and javascript hakyll compilers |
| packages/nixpkgs/texlivePackages.bxcjkjatype | Typeset Japanese with pdfLaTeX and CJK |
| packages/nixpkgs/haskellPackages.hackertyper | "Hack" like a programmer in movies and games! |
| packages/nixpkgs/haskellPackages.pokemon-go-protobuf-types | Haskell types for the Pokemon Go protobuf protocol |
| packages/nixpkgs/python314Packages.types-python-dateutil | Typing stubs for python-dateutil |
| packages/nixpkgs/python313Packages.types-python-dateutil | Typing stubs for python-dateutil |
| packages/nixpkgs/python312Packages.typechecks | Type checking helpers for Python |
| packages/nixpkgs/python313Packages.algebraic-data-types | Algebraic data types for Python |
| packages/nixpkgs/python314Packages.algebraic-data-types | Algebraic data types for Python |
| packages/nixpkgs/python314Packages.types-s3transfer | Type annotations and code completion for s3transfer |
| packages/nixpkgs/python313Packages.types-s3transfer | Type annotations and code completion for s3transfer |
| packages/nixpkgs/haskellPackages.typecheck-plugin-nat-simple | Simple type check plugin which calculate addition, subtraction and less-or-equal-than |
| packages/nixpkgs/rPackages.PhenotypeSimulator | |
| packages/nixpkgs/haskellPackages.ixset-typed-binary-instance | Binary instance for ixset-typed |
| packages/nixpkgs/python312Packages.types-freezegun | Typing stubs for freezegun |
| packages/nixpkgs/python312Packages.types-pyopenssl | Typing stubs for pyopenssl |
| packages/nixpkgs/python312Packages.types-ipaddress | Typing stubs for ipaddress |
| packages/nixpkgs/python312Packages.types-decorator | Typing stubs for decorator |
| packages/nixpkgs/python312Packages.pydantic-extra-types | Extra Pydantic types |
| packages/nixpkgs/python312Packages.annotated-types | Reusable constraint types to use with typing |
| packages/nixpkgs/python312Packages.sigstore-rekor-types | Python models for Rekor's API types |
| packages/nixpkgs/python312Packages.range-typed-integers | Package provides integer types that have a specific range of valid values |
| packages/nixpkgs/haskellPackages.pandoc-types_1_23_1_1 | Types for representing a structured document |
| packages/nixpkgs/python314Packages.zope-contenttype | Utility module for content-type (MIME type) handling |
| packages/nixpkgs/python313Packages.zope-contenttype | Utility module for content-type (MIME type) handling |
| packages/nixpkgs/python312Packages.traittypes | Trait types for NumPy, SciPy, XArray, and Pandas |
| packages/nixpkgs/haskellPackages.typelits-witnesses | Existential witnesses, singletons, and classes for operations on GHC TypeLits |
| packages/nixpkgs/haskellPackages.ghc-typelits-extra_0_5_1 | Additional type-level operations on GHC |
| packages/nixpkgs/haskellPackages.ghc-typelits-extra_0_5_2 | Additional type-level operations on GHC |
| packages/nixpkgs/haskellPackages.singleton-typelits | Singletons and induction over GHC TypeLits |
| packages/nixpkgs/python312Packages.mallard-ducktype | Parser for the lightweight Ducktype syntax for Mallard |
| packages/nixpkgs/haskellPackages.tree-sitter-typescript | Tree-sitter grammar/parser for TypeScript |
| packages/nixpkgs/python314Packages.types-setuptools | Typing stubs for setuptools |
| packages/nixpkgs/python313Packages.types-setuptools | Typing stubs for setuptools |
| packages/nixpkgs/python314Packages.types-deprecated | Typing stubs for Deprecated |
| packages/nixpkgs/python314Packages.types-markupsafe | Typing stubs for MarkupSafe |
| packages/nixpkgs/python313Packages.types-markupsafe | Typing stubs for MarkupSafe |
| packages/nixpkgs/python313Packages.types-deprecated | Typing stubs for Deprecated |
| packages/nixpkgs/haskellPackages.haskell-typescript | Simple TypeScript API |
| packages/nixpkgs/haskellPackages.servant-typescript | TypeScript client generation for Servant |
| packages/nixpkgs/haskellPackages.typed-encoding-encoding | Bridge between encoding and typed-encoding packages |
| packages/nixpkgs/haskellPackages.coercible-subtypes | Coercible but only in one direction |
| packages/nixpkgs/haskellPackages.hpqtypes-effectful | Adaptation of the hpqtypes library for the effectful ecosystem |
| packages/nixpkgs/python312Packages.types-s3transfer | Type annotations and code completion for s3transfer |
| packages/nixpkgs/python312Packages.types-python-dateutil | Typing stubs for python-dateutil |
| packages/nixpkgs/python312Packages.algebraic-data-types | Algebraic data types for Python |
| packages/nixpkgs/haskellPackages.typed-process-effectful | A binding of the typed-process library for the effectful effect system |
| packages/nixpkgs/texlivePackages.umtypewriter | Fonts to typeset with the xgreek package |
| packages/nixpkgs/haskellPackages.yesod-routes-typescript | generate TypeScript routes for Yesod |
| packages/nixpkgs/haskellPackages.typed-spreadsheet | Typed and composable spreadsheets |
| packages/nixpkgs/python312Packages.zope-contenttype | Utility module for content-type (MIME type) handling |
| packages/nixpkgs/haskellPackages.scuttlebutt-types | generic types for Secure Scuttlebutt |
| packages/nixpkgs/haskellPackages.polytypeable | Typeable for polymorphic types |
| packages/nixpkgs/python314Packages.types-aiobotocore | Type annotations for aiobotocore generated with mypy-boto3-builder |
| packages/nixpkgs/python313Packages.types-aiobotocore | Type annotations for aiobotocore generated with mypy-boto3-builder |
| packages/nixpkgs/haskellPackages.postgresql-simple-typed | Typed extension for PostgreSQL simple |
| packages/nixpkgs/haskellPackages.csound-expression-typed | typed core for the library csound-expression |
| packages/nixpkgs/haskellPackages.postgresql-typed-lifted | postgresql-typed operations lifted to any instance of MonadBase or MonadBaseControl |
| packages/nixpkgs/python313Packages.sphinx-autodoc-typehints | Type hints (PEP 484) support for the Sphinx autodoc extension |
| packages/nixpkgs/python314Packages.sphinx-autodoc-typehints | Type hints (PEP 484) support for the Sphinx autodoc extension |
| packages/nixpkgs/haskellPackages.ghc-typelits-presburger | Presburger Arithmetic Solver for GHC Type-level natural numbers |
| packages/nixpkgs/python312Packages.types-setuptools | Typing stubs for setuptools |
| packages/nixpkgs/python312Packages.types-markupsafe | Typing stubs for MarkupSafe |
| packages/nixpkgs/python312Packages.types-deprecated | Typing stubs for Deprecated |
| packages/nixpkgs/python314Packages.types-aiobotocore-pi | Type annotations for aiobotocore pi |
| packages/nixpkgs/python314Packages.types-aiobotocore-ds | Type annotations for aiobotocore ds |
| packages/nixpkgs/python314Packages.types-aiobotocore-s3 | Type annotations for aiobotocore s3 |
| packages/nixpkgs/python313Packages.types-aiobotocore-es | Type annotations for aiobotocore es |
| packages/nixpkgs/python314Packages.types-aiobotocore-es | Type annotations for aiobotocore es |
| packages/nixpkgs/python314Packages.types-aiobotocore-ce | Type annotations for aiobotocore ce |
| packages/nixpkgs/python314Packages.types-aiobotocore-m2 | Type annotations for aiobotocore m2 |
| packages/nixpkgs/python314Packages.types-aiobotocore-mq | Type annotations for aiobotocore mq |
| packages/nixpkgs/python313Packages.types-aiobotocore-s3 | Type annotations for aiobotocore s3 |
| packages/nixpkgs/python313Packages.types-aiobotocore-ds | Type annotations for aiobotocore ds |
| packages/nixpkgs/python313Packages.types-aiobotocore-ce | Type annotations for aiobotocore ce |
| packages/nixpkgs/python313Packages.types-aiobotocore-m2 | Type annotations for aiobotocore m2 |
| packages/nixpkgs/python313Packages.types-aiobotocore-mq | Type annotations for aiobotocore mq |
| packages/nixpkgs/python313Packages.types-aiobotocore-pi | Type annotations for aiobotocore pi |
| packages/nixpkgs/rPackages.mutationtypes | |
| packages/nixpkgs/haskellPackages.sessiontypes | Session types library |
| packages/nixpkgs/haskellPackages.minitypeset-opengl | Layout and render text with TrueType fonts using OpenGL |