| packages/nixpkgs/python313Packages.typing-extensions | Backported and Experimental Type Hints for Python |
| packages/nixpkgs/python314Packages.typing-extensions | Backported and Experimental Type Hints for Python |
| packages/nixpkgs/typstPackages.fauxreilly_0_1_0 | A package for creating O'Rly- / O'Reilly-type cover pages |
| packages/nixpkgs/python312Packages.mypy-boto3-appconfig | Type annotations for boto3 appconfig |
| packages/nixpkgs/python312Packages.mypy-boto3-codebuild | Type annotations for boto3 codebuild |
| packages/nixpkgs/python312Packages.mypy-boto3-iotevents | Type annotations for boto3 iotevents |
| packages/nixpkgs/python312Packages.mypy-boto3-translate | Type annotations for boto3 translate |
| packages/nixpkgs/python312Packages.mypy-boto3-evidently | Type annotations for boto3 evidently |
| packages/nixpkgs/python312Packages.mypy-boto3-appfabric | Type annotations for boto3 appfabric |
| packages/nixpkgs/python312Packages.mypy-boto3-detective | Type annotations for boto3 detective |
| packages/nixpkgs/python312Packages.mypy-boto3-guardduty | Type annotations for boto3 guardduty |
| packages/nixpkgs/python312Packages.mypy-boto3-discovery | Type annotations for boto3 discovery |
| packages/nixpkgs/python312Packages.mypy-boto3-apprunner | Type annotations for boto3 apprunner |
| packages/nixpkgs/python312Packages.mypy-boto3-scheduler | Type annotations for boto3 scheduler |
| packages/nixpkgs/python312Packages.mypy-boto3-inspector | Type annotations for boto3 inspector |
| packages/nixpkgs/python312Packages.mypy-boto3-appstream | Type annotations for boto3 appstream |
| packages/nixpkgs/python312Packages.mypy-boto3-sagemaker | Type annotations for boto3 sagemaker |
| packages/nixpkgs/python312Packages.mypy-boto3-medialive | Type annotations for boto3 medialive |
| packages/nixpkgs/python312Packages.mypy-boto3-robomaker | Type annotations for boto3 robomaker |
| packages/nixpkgs/python312Packages.mypy-boto3-lightsail | Type annotations for boto3 lightsail |
| packages/nixpkgs/python312Packages.mypy-boto3-keyspaces | Type annotations for boto3 keyspaces |
| packages/nixpkgs/haskellPackages.version-natural | A simple version type |
| packages/nixpkgs/python313Packages.mypy-boto3-cloudtrail | Type annotations for boto3 cloudtrail |
| packages/nixpkgs/python313Packages.mypy-boto3-workspaces | Type annotations for boto3 workspaces |
| packages/nixpkgs/python313Packages.mypy-boto3-cloudhsmv2 | Type annotations for boto3 cloudhsmv2 |
| packages/nixpkgs/python313Packages.mypy-boto3-inspector2 | Type annotations for boto3 inspector2 |
| packages/nixpkgs/python313Packages.mypy-boto3-apigateway | Type annotations for boto3 apigateway |
| packages/nixpkgs/python313Packages.mypy-boto3-quicksight | Type annotations for boto3 quicksight |
| packages/nixpkgs/python313Packages.mypy-boto3-connect-contact-lens | Type annotations for boto3 connect-contact-lens |
| packages/nixpkgs/python313Packages.mypy-boto3-comprehend | Type annotations for boto3 comprehend |
| packages/nixpkgs/python313Packages.mypy-boto3-cleanrooms | Type annotations for boto3 cleanrooms |
| packages/nixpkgs/python313Packages.mypy-boto3-synthetics | Type annotations for boto3 synthetics |
| packages/nixpkgs/python313Packages.mypy-boto3-greengrass | Type annotations for boto3 greengrass |
| packages/nixpkgs/python313Packages.mypy-boto3-codecommit | Type annotations for boto3 codecommit |
| packages/nixpkgs/python313Packages.mypy-boto3-devicefarm | Type annotations for boto3 devicefarm |
| packages/nixpkgs/python313Packages.mypy-boto3-cloudwatch | Type annotations for boto3 cloudwatch |
| packages/nixpkgs/python313Packages.mypy-boto3-transcribe | Type annotations for boto3 transcribe |
| packages/nixpkgs/python313Packages.mypy-boto3-healthlake | Type annotations for boto3 healthlake |
| packages/nixpkgs/python313Packages.mypy-boto3-opensearch | Type annotations for boto3 opensearch |
| packages/nixpkgs/python313Packages.mypy-boto3-cloudfront | Type annotations for boto3 cloudfront |
| packages/nixpkgs/python313Packages.mypy-boto3-opsworkscm | Type annotations for boto3 opsworkscm |
| packages/nixpkgs/python313Packages.mypy-boto3-mediastore | Type annotations for boto3 mediastore |
| packages/nixpkgs/python313Packages.mypy-boto3-codedeploy | Type annotations for boto3 codedeploy |
| packages/nixpkgs/python314Packages.mypy-boto3-comprehend | Type annotations for boto3 comprehend |
| packages/nixpkgs/python314Packages.mypy-boto3-connect-contact-lens | Type annotations for boto3 connect-contact-lens |
| packages/nixpkgs/python314Packages.mypy-boto3-greengrass | Type annotations for boto3 greengrass |
| packages/nixpkgs/python314Packages.mypy-boto3-synthetics | Type annotations for boto3 synthetics |
| packages/nixpkgs/python314Packages.mypy-boto3-cloudtrail | Type annotations for boto3 cloudtrail |
| packages/nixpkgs/python314Packages.mypy-boto3-cloudfront | Type annotations for boto3 cloudfront |
| packages/nixpkgs/python314Packages.mypy-boto3-workspaces | Type annotations for boto3 workspaces |
| packages/nixpkgs/python314Packages.mypy-boto3-quicksight | Type annotations for boto3 quicksight |
| packages/nixpkgs/python314Packages.mypy-boto3-transcribe | Type annotations for boto3 transcribe |
| packages/nixpkgs/python314Packages.mypy-boto3-opensearch | Type annotations for boto3 opensearch |
| packages/nixpkgs/python314Packages.mypy-boto3-cloudwatch | Type annotations for boto3 cloudwatch |
| packages/nixpkgs/python314Packages.mypy-boto3-codedeploy | Type annotations for boto3 codedeploy |
| packages/nixpkgs/python314Packages.mypy-boto3-codecommit | Type annotations for boto3 codecommit |
| packages/nixpkgs/python314Packages.mypy-boto3-mediastore | Type annotations for boto3 mediastore |
| packages/nixpkgs/python314Packages.mypy-boto3-healthlake | Type annotations for boto3 healthlake |
| packages/nixpkgs/python314Packages.mypy-boto3-cloudhsmv2 | Type annotations for boto3 cloudhsmv2 |
| packages/nixpkgs/python314Packages.mypy-boto3-apigateway | Type annotations for boto3 apigateway |
| packages/nixpkgs/python314Packages.mypy-boto3-inspector2 | Type annotations for boto3 inspector2 |
| packages/nixpkgs/python314Packages.mypy-boto3-devicefarm | Type annotations for boto3 devicefarm |
| packages/nixpkgs/python314Packages.mypy-boto3-opsworkscm | Type annotations for boto3 opsworkscm |
| packages/nixpkgs/python314Packages.mypy-boto3-cleanrooms | Type annotations for boto3 cleanrooms |
| 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/python312Packages.mypy-boto3-pinpoint-email | Type annotations for boto3 pinpoint-email |
| packages/nixpkgs/python312Packages.mypy-boto3-s3control | Type annotations for boto3 s3control |
| packages/nixpkgs/haskellPackages.DrIFT-cabalized | Program to derive type class instances |
| packages/nixpkgs/python313Packages.mypy-boto3-s3outposts | Type annotations for boto3 s3outposts |
| packages/nixpkgs/python313Packages.typing-validation | Simple library for runtime type-checking |
| packages/nixpkgs/python314Packages.mypy-boto3-s3outposts | Type annotations for boto3 s3outposts |
| packages/nixpkgs/python314Packages.karton-classifier | File type classifier for the Karton framework |
| packages/nixpkgs/python314Packages.typing-validation | Simple library for runtime type-checking |
| packages/nixpkgs/haskellPackages.cassava-records | Auto-generation of records data type |
| packages/nixpkgs/haskellPackages.TrivialMonadWithUnitType | Trivial monad with Unit type |
| packages/nixpkgs/haskellPackages.twentefp-trees | Tree type and show functions for lab assignment of University of Twente |
| packages/nixpkgs/haskellPackages.singleton-bool | Type level booleans |
| packages/nixpkgs/haskellPackages.servant-cassava | Servant CSV content-type for cassava |
| packages/nixpkgs/haskellPackages.network-service | Provide a service at the data type level |
| packages/nixpkgs/ocamlPackages_latest.ppx_deriving | Library simplifying type-driven code generation on OCaml >=4.02 |
| packages/nixpkgs/python313Packages.karton-classifier | File type classifier for the Karton framework |
| packages/nixpkgs/python312Packages.mypy-extensions | Experimental type system extensions for programs checked with the mypy typechecker |
| packages/nixpkgs/haskellPackages.LambdaDesigner | A type-safe EDSL for TouchDesigner written in Haskell |
| packages/nixpkgs/haskellPackages.fcf-composite | Type-level computation for composite using first-class-families |
| packages/nixpkgs/haskellPackages.growable-vector | A contiguous growable array type |
| 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/python313Packages.mypy-boto3-cognito-identity | Type annotations for boto3 cognito-identity |
| packages/nixpkgs/python313Packages.mypy-boto3-network-firewall | Type annotations for boto3 network-firewall |
| packages/nixpkgs/python314Packages.mypy-boto3-cognito-identity | Type annotations for boto3 cognito-identity |
| packages/nixpkgs/python314Packages.mypy-boto3-network-firewall | Type annotations for boto3 network-firewall |
| packages/nixpkgs/typstPackages.prooftrees_0_1_0 | [Deprecated in favour of `curryst`; this package is no longer maintained.] Proof trees for natural deduction and type theories |
| packages/nixpkgs/python312Packages.sqlalchemy-json | Full-featured JSON type with mutation tracking for SQLAlchemy |
| packages/nixpkgs/python312Packages.mypy-boto3-kinesis-video-media | Type annotations for boto3 kinesis-video-media |
| packages/nixpkgs/python312Packages.hypothesis-auto | Enables fully automatic tests for type annotated functions |
| packages/nixpkgs/haskellPackages.general-prelude | Prelude replacement using generalized type classes where possible |
| packages/nixpkgs/haskellPackages.list-witnesses | Witnesses for working with type-level lists |
| packages/nixpkgs/python313Packages.mypy-boto3-chime-sdk-messaging | Type annotations for boto3 chime-sdk-messaging |
| packages/nixpkgs/python314Packages.mypy-boto3-chime-sdk-messaging | Type annotations for boto3 chime-sdk-messaging |