| packages/nixpkgs/python312Packages.mypy-boto3-mediastore | Type annotations for boto3 mediastore |
| packages/nixpkgs/python312Packages.mypy-boto3-greengrass | Type annotations for boto3 greengrass |
| packages/nixpkgs/python312Packages.mypy-boto3-codedeploy | Type annotations for boto3 codedeploy |
| packages/nixpkgs/python312Packages.mypy-boto3-devicefarm | Type annotations for boto3 devicefarm |
| packages/nixpkgs/python312Packages.mypy-boto3-workspaces | Type annotations for boto3 workspaces |
| packages/nixpkgs/python312Packages.mypy-boto3-apigateway | Type annotations for boto3 apigateway |
| packages/nixpkgs/python312Packages.mypy-boto3-synthetics | Type annotations for boto3 synthetics |
| packages/nixpkgs/python312Packages.mypy-boto3-transcribe | Type annotations for boto3 transcribe |
| packages/nixpkgs/python312Packages.mypy-boto3-cleanrooms | Type annotations for boto3 cleanrooms |
| packages/nixpkgs/python312Packages.mypy-boto3-opensearch | Type annotations for boto3 opensearch |
| packages/nixpkgs/python312Packages.mypy-boto3-healthlake | Type annotations for boto3 healthlake |
| packages/nixpkgs/python312Packages.mypy-boto3-cloudtrail | Type annotations for boto3 cloudtrail |
| packages/nixpkgs/python312Packages.mypy-boto3-inspector2 | Type annotations for boto3 inspector2 |
| packages/nixpkgs/python312Packages.mypy-boto3-cloudhsmv2 | Type annotations for boto3 cloudhsmv2 |
| packages/nixpkgs/python312Packages.mypy-boto3-cloudfront | Type annotations for boto3 cloudfront |
| packages/nixpkgs/python312Packages.mypy-boto3-comprehend | Type annotations for boto3 comprehend |
| packages/nixpkgs/python312Packages.mypy-boto3-opsworkscm | Type annotations for boto3 opsworkscm |
| packages/nixpkgs/python312Packages.mypy-boto3-cloudwatch | Type annotations for boto3 cloudwatch |
| packages/nixpkgs/python312Packages.mypy-boto3-codecommit | Type annotations for boto3 codecommit |
| packages/nixpkgs/python312Packages.mypy-boto3-quicksight | Type annotations for boto3 quicksight |
| packages/nixpkgs/ocamlPackages_latest.janeStreet.ppx_enumerate | Generate a list containing all values of a finite type |
| 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/haskellPackages.htree_0_2_0_0 | a library to build and work with heterogeneous, type level indexed rose trees |
| packages/nixpkgs/python312Packages.typing-validation | Simple library for runtime type-checking |
| packages/nixpkgs/python312Packages.karton-classifier | File type classifier for the Karton framework |
| packages/nixpkgs/python312Packages.mypy-boto3-s3outposts | Type annotations for boto3 s3outposts |
| packages/nixpkgs/perlPackages.MooseXTypesStringlike | Moose type constraints for strings or string-like objects |
| packages/nixpkgs/haskellPackages.flexible-defaults | Generate default function implementations for complex type classes |
| packages/nixpkgs/haskellPackages.Strafunski-ATermLib | An abstract data type designed for the exchange of tree-like data structures |
| packages/nixpkgs/python313Packages.mypy-boto3-codeguru-security | Type annotations for boto3 codeguru-security |
| packages/nixpkgs/python313Packages.mypy-boto3-timestream-write | Type annotations for boto3 timestream-write |
| packages/nixpkgs/python313Packages.mypy-boto3-customer-profiles | Type annotations for boto3 customer-profiles |
| packages/nixpkgs/python313Packages.mypy-boto3-codeguru-reviewer | Type annotations for boto3 codeguru-reviewer |
| packages/nixpkgs/python313Packages.mypy-boto3-timestream-query | Type annotations for boto3 timestream-query |
| packages/nixpkgs/python314Packages.mypy-boto3-customer-profiles | Type annotations for boto3 customer-profiles |
| packages/nixpkgs/python314Packages.mypy-boto3-codeguru-reviewer | Type annotations for boto3 codeguru-reviewer |
| packages/nixpkgs/python314Packages.mypy-boto3-timestream-write | Type annotations for boto3 timestream-write |
| packages/nixpkgs/python314Packages.mypy-boto3-codeguru-security | Type annotations for boto3 codeguru-security |
| packages/nixpkgs/python314Packages.mypy-boto3-timestream-query | Type annotations for boto3 timestream-query |
| packages/nixpkgs/haskellPackages.twentefp-rosetree | RoseTree type and show functions for lab assignment of University of Twente |
| packages/nixpkgs/haskellPackages.funspection | Type-level function utilities |
| packages/nixpkgs/python312Packages.mypy-boto3-network-firewall | Type annotations for boto3 network-firewall |
| packages/nixpkgs/python312Packages.mypy-boto3-cognito-identity | Type annotations for boto3 cognito-identity |
| packages/nixpkgs/perl5Packages.MooseXTypesStructured | Structured Type Constraints for Moose |
| packages/nixpkgs/haskellPackages.exceptional | Essentially the Maybe type with error messages |
| packages/nixpkgs/haskellPackages.classyplate | Fuseable type-class based generics |
| packages/nixpkgs/python313Packages.aioitertools | Implementation of itertools, builtins, and more for AsyncIO and mixed-type iterables |
| packages/nixpkgs/python314Packages.aioitertools | Implementation of itertools, builtins, and more for AsyncIO and mixed-type iterables |
| packages/nixpkgs/haskellPackages.axiomatic-classes | Specify axioms for type classes and quickCheck all available instances |
| packages/nixpkgs/python312Packages.mypy-boto3-chime-sdk-messaging | Type annotations for boto3 chime-sdk-messaging |
| packages/nixpkgs/haskellPackages.cspmchecker | A command line type checker for CSPM files |
| packages/nixpkgs/python313Packages.mypy-boto3-sagemaker-runtime | Type annotations for boto3 sagemaker-runtime |
| packages/nixpkgs/python313Packages.mypy-boto3-resource-explorer-2 | Type annotations for boto3 resource-explorer-2 |
| packages/nixpkgs/python313Packages.mypy-boto3-compute-optimizer | Type annotations for boto3 compute-optimizer |
| packages/nixpkgs/python313Packages.mypy-boto3-sagemaker-metrics | Type annotations for boto3 sagemaker-metrics |
| packages/nixpkgs/python313Packages.mypy-boto3-elastic-inference | Type annotations for boto3 elastic-inference |
| packages/nixpkgs/python314Packages.mypy-boto3-resource-explorer-2 | Type annotations for boto3 resource-explorer-2 |
| packages/nixpkgs/python314Packages.mypy-boto3-sagemaker-metrics | Type annotations for boto3 sagemaker-metrics |
| packages/nixpkgs/python314Packages.mypy-boto3-elastic-inference | Type annotations for boto3 elastic-inference |
| packages/nixpkgs/python314Packages.mypy-boto3-compute-optimizer | Type annotations for boto3 compute-optimizer |
| packages/nixpkgs/python314Packages.mypy-boto3-sagemaker-runtime | Type annotations for boto3 sagemaker-runtime |
| packages/nixpkgs/perl538Packages.MooseXTypesLoadableClass | ClassName type constraint with coercion to load the class |
| packages/nixpkgs/perl540Packages.MooseXTypesLoadableClass | ClassName type constraint with coercion to load the class |
| packages/nixpkgs/haskellPackages.smallstring | A Unicode text type, optimized for low memory overhead |
| packages/nixpkgs/python313Packages.mypy-boto3-iot1click-devices | Type annotations for boto3 iot1click-devices |
| packages/nixpkgs/python314Packages.mypy-boto3-iot1click-devices | Type annotations for boto3 iot1click-devices |
| packages/nixpkgs/python312Packages.mypy-boto3-workspaces-web | Type annotations for boto3 workspaces-web |
| packages/nixpkgs/python312Packages.mypy-boto3-emr-serverless | Type annotations for boto3 emr-serverless |
| packages/nixpkgs/python312Packages.mypy-boto3-emr-containers | Type annotations for boto3 emr-containers |
| packages/nixpkgs/python313Packages.mypy-boto3-iotsitewise | Type annotations for boto3 iotsitewise |
| packages/nixpkgs/python313Packages.mypy-boto3-iotwireless | Type annotations for boto3 iotwireless |
| packages/nixpkgs/python313Packages.mypy-boto3-securityhub | Type annotations for boto3 securityhub |
| packages/nixpkgs/python313Packages.mypy-boto3-rekognition | Type annotations for boto3 rekognition |
| packages/nixpkgs/python313Packages.mypy-boto3-autoscaling | Type annotations for boto3 autoscaling |
| packages/nixpkgs/python313Packages.mypy-boto3-iotfleethub | Type annotations for boto3 iotfleethub |
| packages/nixpkgs/python313Packages.mypy-boto3-mediatailor | Type annotations for boto3 mediatailor |
| packages/nixpkgs/python313Packages.mypy-boto3-elasticache | Type annotations for boto3 elasticache |
| packages/nixpkgs/python313Packages.mypy-boto3-cloudsearch | Type annotations for boto3 cloudsearch |
| packages/nixpkgs/python313Packages.mypy-boto3-neptunedata | Type annotations for boto3 neptunedata |
| packages/nixpkgs/python313Packages.mypy-boto3-personalize | Type annotations for boto3 personalize |
| packages/nixpkgs/python314Packages.mypy-boto3-autoscaling | Type annotations for boto3 autoscaling |
| packages/nixpkgs/python314Packages.mypy-boto3-rekognition | Type annotations for boto3 rekognition |
| packages/nixpkgs/python314Packages.mypy-boto3-cloudsearch | Type annotations for boto3 cloudsearch |
| packages/nixpkgs/python314Packages.mypy-boto3-personalize | Type annotations for boto3 personalize |
| packages/nixpkgs/python314Packages.mypy-boto3-mediatailor | Type annotations for boto3 mediatailor |
| packages/nixpkgs/python314Packages.mypy-boto3-iotwireless | Type annotations for boto3 iotwireless |
| packages/nixpkgs/python314Packages.mypy-boto3-iotsitewise | Type annotations for boto3 iotsitewise |
| packages/nixpkgs/python314Packages.mypy-boto3-neptunedata | Type annotations for boto3 neptunedata |
| packages/nixpkgs/python314Packages.mypy-boto3-iotfleethub | Type annotations for boto3 iotfleethub |
| packages/nixpkgs/python314Packages.mypy-boto3-securityhub | Type annotations for boto3 securityhub |
| packages/nixpkgs/python314Packages.mypy-boto3-elasticache | Type annotations for boto3 elasticache |
| packages/nixpkgs/haskellPackages.simple-media-timestamp | A very simple timestamp type |
| packages/nixpkgs/perl5Packages.MooseXTypesStringlike | Moose type constraints for strings or string-like objects |
| packages/nixpkgs/ocamlPackages.janeStreet.base_bigstring | String type based on [Bigarray], for use in I/O and C-bindings |
| packages/nixpkgs/python313Packages.mypy-boto3-chime-sdk-media-pipelines | Type annotations for boto3 chime-sdk-media-pipelines |
| packages/nixpkgs/python314Packages.mypy-boto3-chime-sdk-media-pipelines | Type annotations for boto3 chime-sdk-media-pipelines |
| packages/nixpkgs/haskellPackages.sorted-list_0_3_1_0 | Type-enforced sorted lists and related functions |
| packages/nixpkgs/phpPackages.composer-local-repo-plugin | Composer plugin that facilitates the creation of a local composer type repository |
| packages/nixpkgs/python312Packages.mypy-boto3-ec2-instance-connect | Type annotations for boto3 ec2-instance-connect |
| packages/nixpkgs/haskellPackages.dimensional-tf | Statically checked physical dimensions, implemented using type families |