| packages/nixpkgs/haskellPackages.twentefp-rosetree | RoseTree type and show functions for lab assignment of University of Twente |
| 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/haskellPackages.cspmchecker | A command line type checker for CSPM files |
| packages/nixpkgs/haskellPackages.axiomatic-classes | Specify axioms for type classes and quickCheck all available instances |
| 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/haskellPackages.matchable_0_2 | A type class for Matchable Functors |
| 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/haskellPackages.simple-media-timestamp | A very simple timestamp type |
| packages/nixpkgs/haskellPackages.smallstring | A Unicode text type, optimized for low memory overhead |
| packages/nixpkgs/python312Packages.aioitertools | Implementation of itertools, builtins, and more for AsyncIO and mixed-type iterables |
| 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-kinesis-video-signaling | Type annotations for boto3 kinesis-video-signaling |
| packages/nixpkgs/python314Packages.mypy-boto3-snow-device-management | Type annotations for boto3 snow-device-management |
| 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/python313Packages.mypy-boto3-kinesis-video-archived-media | Type annotations for boto3 kinesis-video-archived-media |
| packages/nixpkgs/python313Packages.mypy-boto3-autoscaling-plans | Type annotations for boto3 autoscaling-plans |
| packages/nixpkgs/python314Packages.mypy-boto3-kinesis-video-archived-media | Type annotations for boto3 kinesis-video-archived-media |
| packages/nixpkgs/python314Packages.mypy-boto3-autoscaling-plans | Type annotations for boto3 autoscaling-plans |
| packages/nixpkgs/python312Packages.mypy-boto3-rekognition | Type annotations for boto3 rekognition |
| packages/nixpkgs/python312Packages.mypy-boto3-iot1click-devices | Type annotations for boto3 iot1click-devices |
| 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.dimensional-tf | Statically checked physical dimensions, implemented using type families |
| packages/nixpkgs/haskellPackages.vector-bytestring | ByteStrings as type synonyms of Storable Vectors of Word8s |
| packages/nixpkgs/haskellPackages.th-constraint-compat | Compatibility for type constraint template |
| 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.constrained-some | Existential type that can be constrained |
| packages/nixpkgs/haskellPackages.ghc-tcplugins-extra_0_5 | Utilities for writing GHC type-checker plugins |
| packages/nixpkgs/ocamlPackages.base_bigstring | String type based on [Bigarray], for use in I/O and C-bindings |
| packages/nixpkgs/python313Packages.mypy-boto3-savingsplans | Type annotations for boto3 savingsplans |
| packages/nixpkgs/python313Packages.mypy-boto3-codepipeline | Type annotations for boto3 codepipeline |
| packages/nixpkgs/python313Packages.mypy-boto3-kafkaconnect | Type annotations for boto3 kafkaconnect |
| packages/nixpkgs/python313Packages.mypy-boto3-mediaconnect | Type annotations for boto3 mediaconnect |
| packages/nixpkgs/python313Packages.mypy-boto3-connectcases | Type annotations for boto3 connectcases |
| packages/nixpkgs/python313Packages.mypy-boto3-imagebuilder | Type annotations for boto3 imagebuilder |
| packages/nixpkgs/python313Packages.mypy-boto3-iotfleetwise | Type annotations for boto3 iotfleetwise |
| packages/nixpkgs/python313Packages.mypy-boto3-controltower | Type annotations for boto3 controltower |
| packages/nixpkgs/python313Packages.mypy-boto3-iottwinmaker | Type annotations for boto3 iottwinmaker |
| packages/nixpkgs/python313Packages.mypy-boto3-cloudcontrol | Type annotations for boto3 cloudcontrol |
| packages/nixpkgs/python313Packages.mypy-boto3-iotanalytics | Type annotations for boto3 iotanalytics |
| packages/nixpkgs/python313Packages.mypy-boto3-codeartifact | Type annotations for boto3 codeartifact |
| packages/nixpkgs/python313Packages.mypy-boto3-mediapackage | Type annotations for boto3 mediapackage |
| packages/nixpkgs/python313Packages.mypy-boto3-apigatewayv2 | Type annotations for boto3 apigatewayv2 |
| packages/nixpkgs/python313Packages.mypy-boto3-mediaconvert | Type annotations for boto3 mediaconvert |
| packages/nixpkgs/python313Packages.mypy-boto3-auditmanager | Type annotations for boto3 auditmanager |
| packages/nixpkgs/python313Packages.mypy-boto3-dataexchange | Type annotations for boto3 dataexchange |
| packages/nixpkgs/python313Packages.mypy-boto3-codecatalyst | Type annotations for boto3 codecatalyst |
| packages/nixpkgs/python313Packages.mypy-boto3-securitylake | Type annotations for boto3 securitylake |
| packages/nixpkgs/python313Packages.mypy-boto3-greengrassv2 | Type annotations for boto3 greengrassv2 |
| packages/nixpkgs/python313Packages.mypy-boto3-kinesisvideo | Type annotations for boto3 kinesisvideo |
| packages/nixpkgs/python313Packages.mypy-boto3-datapipeline | Type annotations for boto3 datapipeline |
| packages/nixpkgs/python313Packages.mypy-boto3-importexport | Type annotations for boto3 importexport |
| packages/nixpkgs/python314Packages.mypy-boto3-imagebuilder | Type annotations for boto3 imagebuilder |
| packages/nixpkgs/python314Packages.mypy-boto3-mediaconnect | Type annotations for boto3 mediaconnect |
| packages/nixpkgs/python314Packages.mypy-boto3-mediaconvert | Type annotations for boto3 mediaconvert |
| packages/nixpkgs/python314Packages.mypy-boto3-kinesisvideo | Type annotations for boto3 kinesisvideo |
| packages/nixpkgs/python314Packages.mypy-boto3-codecatalyst | Type annotations for boto3 codecatalyst |
| packages/nixpkgs/python314Packages.mypy-boto3-greengrassv2 | Type annotations for boto3 greengrassv2 |
| packages/nixpkgs/python314Packages.mypy-boto3-mediapackage | Type annotations for boto3 mediapackage |
| packages/nixpkgs/python314Packages.mypy-boto3-dataexchange | Type annotations for boto3 dataexchange |
| packages/nixpkgs/python314Packages.mypy-boto3-datapipeline | Type annotations for boto3 datapipeline |
| packages/nixpkgs/python314Packages.mypy-boto3-cloudcontrol | Type annotations for boto3 cloudcontrol |
| packages/nixpkgs/python314Packages.mypy-boto3-kafkaconnect | Type annotations for boto3 kafkaconnect |
| packages/nixpkgs/python314Packages.mypy-boto3-iotfleetwise | Type annotations for boto3 iotfleetwise |
| packages/nixpkgs/python314Packages.mypy-boto3-securitylake | Type annotations for boto3 securitylake |
| packages/nixpkgs/python314Packages.mypy-boto3-iotanalytics | Type annotations for boto3 iotanalytics |
| packages/nixpkgs/python314Packages.mypy-boto3-controltower | Type annotations for boto3 controltower |
| packages/nixpkgs/python314Packages.mypy-boto3-codeartifact | Type annotations for boto3 codeartifact |
| packages/nixpkgs/python314Packages.mypy-boto3-auditmanager | Type annotations for boto3 auditmanager |
| packages/nixpkgs/python314Packages.mypy-boto3-apigatewayv2 | Type annotations for boto3 apigatewayv2 |
| packages/nixpkgs/python314Packages.mypy-boto3-iottwinmaker | Type annotations for boto3 iottwinmaker |
| packages/nixpkgs/python314Packages.mypy-boto3-importexport | Type annotations for boto3 importexport |
| packages/nixpkgs/python314Packages.mypy-boto3-codepipeline | Type annotations for boto3 codepipeline |
| packages/nixpkgs/python314Packages.mypy-boto3-savingsplans | Type annotations for boto3 savingsplans |
| packages/nixpkgs/python314Packages.mypy-boto3-connectcases | Type annotations for boto3 connectcases |
| packages/nixpkgs/python312Packages.mypy-boto3-sagemaker-a2i-runtime | Type annotations for boto3 sagemaker-a2i-runtime |
| packages/nixpkgs/haskellPackages.explicit-exception | Exceptions which are explicit in the type signature |
| packages/nixpkgs/haskellPackages.dynamic-linker-template | Automatically derive dynamic linking methods from a data type |
| packages/nixpkgs/haskellPackages.shakespeare-i18n | A type-based approach to internationalization. (deprecated) |