| packages/nixpkgs/python312Packages.strawberry-graphql | GraphQL library for Python that leverages type annotations |
| packages/nixpkgs/haskellPackages.vector-bytestring | ByteStrings as type synonyms of Storable Vectors of Word8s |
| packages/nixpkgs/python312Packages.mypy-boto3-cloudtrail-data | Type annotations for boto3 cloudtrail-data |
| packages/nixpkgs/python312Packages.mypy-boto3-mediastore-data | Type annotations for boto3 mediastore-data |
| packages/nixpkgs/python313Packages.mypy-boto3-sagemaker-a2i-runtime | Type annotations for boto3 sagemaker-a2i-runtime |
| packages/nixpkgs/python314Packages.mypy-boto3-sagemaker-a2i-runtime | Type annotations for boto3 sagemaker-a2i-runtime |
| packages/nixpkgs/haskellPackages.th-constraint-compat | Compatibility for type constraint template |
| packages/nixpkgs/haskellPackages.constrained-some | Existential type that can be constrained |
| packages/nixpkgs/haskellPackages.TypeIlluminator | TypeIlluminator is a prototype tool exploring debugging of type errors/ |
| packages/nixpkgs/haskellPackages.dynamic-linker-template | Automatically derive dynamic linking methods from a data type |
| packages/nixpkgs/haskellPackages.explicit-exception | Exceptions which are explicit in the type signature |
| packages/nixpkgs/haskellPackages.mono-traversable | Type classes for mapping, folding, and traversing monomorphic containers |
| packages/nixpkgs/haskellPackages.shakespeare-i18n | A type-based approach to internationalization. (deprecated) |
| packages/nixpkgs/php81Packages.composer-local-repo-plugin | Composer plugin that facilitates the creation of a local composer type repository |
| packages/nixpkgs/texlivePackages.biblatex-morenames | New names for standard BibLaTeX entry type |
| packages/nixpkgs/php83Packages.composer-local-repo-plugin | Composer plugin that facilitates the creation of a local composer type repository |
| packages/nixpkgs/php84Packages.composer-local-repo-plugin | Composer plugin that facilitates the creation of a local composer type repository |
| packages/nixpkgs/php82Packages.composer-local-repo-plugin | Composer plugin that facilitates the creation of a local composer type repository |
| packages/nixpkgs/php85Packages.composer-local-repo-plugin | Composer plugin that facilitates the creation of a local composer type repository |
| packages/nixpkgs/haskellPackages.matchable_0_2 | A type class for Matchable Functors |
| packages/nixpkgs/haskellPackages.canonical-filepath | Abstract data type for canonical file paths |
| packages/nixpkgs/ocamlPackages_latest.ppx_enumerate | Generate a list containing all values of a finite type |
| packages/nixpkgs/python312Packages.mypy-boto3-timestream-query | Type annotations for boto3 timestream-query |
| packages/nixpkgs/python312Packages.mypy-boto3-codeguru-security | Type annotations for boto3 codeguru-security |
| packages/nixpkgs/python312Packages.mypy-boto3-codeguru-reviewer | Type annotations for boto3 codeguru-reviewer |
| packages/nixpkgs/python312Packages.mypy-boto3-customer-profiles | Type annotations for boto3 customer-profiles |
| packages/nixpkgs/python312Packages.mypy-boto3-timestream-write | Type annotations for boto3 timestream-write |
| packages/nixpkgs/python313Packages.mypy-boto3-kinesis-video-webrtc-storage | Type annotations for boto3 kinesis-video-webrtc-storage |
| packages/nixpkgs/python314Packages.mypy-boto3-kinesis-video-webrtc-storage | Type annotations for boto3 kinesis-video-webrtc-storage |
| packages/nixpkgs/python312Packages.aioitertools | Implementation of itertools, builtins, and more for AsyncIO and mixed-type iterables |
| packages/nixpkgs/haskellPackages.aligned-foreignptr | An aligned ForeignPtr type |
| packages/nixpkgs/python313Packages.mypy-boto3-iot1click-projects | Type annotations for boto3 iot1click-projects |
| packages/nixpkgs/python314Packages.mypy-boto3-iot1click-projects | Type annotations for boto3 iot1click-projects |
| packages/nixpkgs/python312Packages.mypy-boto3-elastic-inference | Type annotations for boto3 elastic-inference |
| packages/nixpkgs/python312Packages.mypy-boto3-sagemaker-runtime | Type annotations for boto3 sagemaker-runtime |
| packages/nixpkgs/python312Packages.mypy-boto3-compute-optimizer | Type annotations for boto3 compute-optimizer |
| packages/nixpkgs/python312Packages.mypy-boto3-sagemaker-metrics | Type annotations for boto3 sagemaker-metrics |
| packages/nixpkgs/python312Packages.mypy-boto3-resource-explorer-2 | Type annotations for boto3 resource-explorer-2 |
| packages/nixpkgs/haskellPackages.ghc-tcplugins-extra_0_5 | Utilities for writing GHC type-checker plugins |
| packages/nixpkgs/idrisPackages.permutations | Type-safe way of working with permutations in Idris |
| packages/nixpkgs/haskellPackages.modular-arithmetic | A type for integers modulo some constant |
| packages/nixpkgs/python312Packages.mypy-boto3-iot1click-devices | Type annotations for boto3 iot1click-devices |
| packages/nixpkgs/haskellPackages.servant-pagination | Type-safe pagination for Servant APIs |
| packages/nixpkgs/python312Packages.mypy-boto3-rekognition | Type annotations for boto3 rekognition |
| packages/nixpkgs/python312Packages.mypy-boto3-mediatailor | Type annotations for boto3 mediatailor |
| packages/nixpkgs/python312Packages.mypy-boto3-iotfleethub | Type annotations for boto3 iotfleethub |
| packages/nixpkgs/python312Packages.mypy-boto3-neptunedata | Type annotations for boto3 neptunedata |
| packages/nixpkgs/python312Packages.mypy-boto3-iotsitewise | Type annotations for boto3 iotsitewise |
| packages/nixpkgs/python312Packages.mypy-boto3-elasticache | Type annotations for boto3 elasticache |
| packages/nixpkgs/python312Packages.mypy-boto3-autoscaling | Type annotations for boto3 autoscaling |
| packages/nixpkgs/python312Packages.mypy-boto3-cloudsearch | Type annotations for boto3 cloudsearch |
| packages/nixpkgs/python312Packages.mypy-boto3-personalize | Type annotations for boto3 personalize |
| packages/nixpkgs/python312Packages.mypy-boto3-iotwireless | Type annotations for boto3 iotwireless |
| packages/nixpkgs/python312Packages.mypy-boto3-securityhub | Type annotations for boto3 securityhub |
| packages/nixpkgs/python312Packages.mypy-boto3-chime-sdk-media-pipelines | Type annotations for boto3 chime-sdk-media-pipelines |
| packages/nixpkgs/haskellPackages.engineering-units | A numeric type for managing and automating engineering units |
| packages/nixpkgs/python313Packages.mypy-boto3-kinesis-video-signaling | Type annotations for boto3 kinesis-video-signaling |
| packages/nixpkgs/python313Packages.mypy-boto3-snow-device-management | Type annotations for boto3 snow-device-management |
| packages/nixpkgs/python314Packages.mypy-boto3-snow-device-management | Type annotations for boto3 snow-device-management |
| packages/nixpkgs/python314Packages.mypy-boto3-kinesis-video-signaling | Type annotations for boto3 kinesis-video-signaling |
| packages/nixpkgs/haskellPackages.persistent-spatial | Database agnostic, spatially indexed type for geographic points |
| packages/nixpkgs/python313Packages.mypy-boto3-kinesis-video-archived-media | Type annotations for boto3 kinesis-video-archived-media |
| packages/nixpkgs/python314Packages.mypy-boto3-kinesis-video-archived-media | Type annotations for boto3 kinesis-video-archived-media |
| packages/nixpkgs/perl538Packages.MooseXTypesStructured | Structured Type Constraints for Moose |
| packages/nixpkgs/perl540Packages.MooseXTypesStructured | Structured Type Constraints for Moose |
| packages/nixpkgs/python313Packages.mypy-boto3-autoscaling-plans | Type annotations for boto3 autoscaling-plans |
| packages/nixpkgs/python314Packages.mypy-boto3-autoscaling-plans | Type annotations for boto3 autoscaling-plans |
| packages/nixpkgs/haskellPackages.refined-containers | Type-checked proof that a key exists in a container and can be safely indexed |
| packages/nixpkgs/ocamlPackages.base_bigstring | String type based on [Bigarray], for use in I/O and C-bindings |
| packages/nixpkgs/haskellPackages.mono-traversable-keys | Type-classes for interacting with monomorphic containers with a key |
| packages/nixpkgs/perl538Packages.MooseXTypesStringlike | Moose type constraints for strings or string-like objects |
| packages/nixpkgs/perl540Packages.MooseXTypesStringlike | Moose type constraints for strings or string-like objects |
| packages/nixpkgs/ocamlPackages_latest.janeStreet.base_bigstring | String type based on [Bigarray], for use in I/O and C-bindings |
| packages/nixpkgs/python312Packages.mypy-boto3-sagemaker-a2i-runtime | Type annotations for boto3 sagemaker-a2i-runtime |
| packages/nixpkgs/python313Packages.mypy-boto3-route53-recovery-cluster | Type annotations for boto3 route53-recovery-cluster |
| packages/nixpkgs/python314Packages.mypy-boto3-route53-recovery-cluster | Type annotations for boto3 route53-recovery-cluster |
| packages/nixpkgs/haskellPackages.webgear-server_1_5_0 | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.requirements | Abstraction to manage user defined Type Errors |
| packages/nixpkgs/haskellPackages.PartialTypeSignatures | emulate partial type signatures with template haskell |
| packages/nixpkgs/python313Packages.mypy-boto3-imagebuilder | Type annotations for boto3 imagebuilder |
| packages/nixpkgs/python313Packages.mypy-boto3-cloudcontrol | Type annotations for boto3 cloudcontrol |
| packages/nixpkgs/python313Packages.mypy-boto3-iotfleetwise | Type annotations for boto3 iotfleetwise |
| packages/nixpkgs/python313Packages.mypy-boto3-mediaconvert | Type annotations for boto3 mediaconvert |
| packages/nixpkgs/python313Packages.mypy-boto3-kafkaconnect | Type annotations for boto3 kafkaconnect |
| packages/nixpkgs/python313Packages.mypy-boto3-kinesisvideo | Type annotations for boto3 kinesisvideo |
| packages/nixpkgs/python313Packages.mypy-boto3-mediaconnect | Type annotations for boto3 mediaconnect |
| packages/nixpkgs/python313Packages.mypy-boto3-datapipeline | Type annotations for boto3 datapipeline |
| packages/nixpkgs/python313Packages.mypy-boto3-dataexchange | Type annotations for boto3 dataexchange |
| packages/nixpkgs/python313Packages.mypy-boto3-codeartifact | Type annotations for boto3 codeartifact |
| packages/nixpkgs/python313Packages.mypy-boto3-securitylake | Type annotations for boto3 securitylake |
| packages/nixpkgs/python313Packages.mypy-boto3-savingsplans | Type annotations for boto3 savingsplans |
| packages/nixpkgs/python313Packages.mypy-boto3-importexport | Type annotations for boto3 importexport |
| packages/nixpkgs/python313Packages.mypy-boto3-connectcases | Type annotations for boto3 connectcases |
| packages/nixpkgs/python313Packages.mypy-boto3-apigatewayv2 | Type annotations for boto3 apigatewayv2 |
| packages/nixpkgs/python313Packages.mypy-boto3-iotanalytics | Type annotations for boto3 iotanalytics |
| packages/nixpkgs/python313Packages.mypy-boto3-iottwinmaker | Type annotations for boto3 iottwinmaker |
| packages/nixpkgs/python313Packages.mypy-boto3-greengrassv2 | Type annotations for boto3 greengrassv2 |
| packages/nixpkgs/python313Packages.mypy-boto3-auditmanager | Type annotations for boto3 auditmanager |
| packages/nixpkgs/python313Packages.mypy-boto3-codepipeline | Type annotations for boto3 codepipeline |
| packages/nixpkgs/python313Packages.mypy-boto3-controltower | Type annotations for boto3 controltower |