| packages/nixpkgs/python312Packages.mypy-boto3-cognito-identity | Type annotations for boto3 cognito-identity |
| 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.memory-hexstring | Hex-string type for Haskell Web3 library |
| packages/nixpkgs/python312Packages.mypy-boto3-chime-sdk-messaging | Type annotations for boto3 chime-sdk-messaging |
| packages/nixpkgs/haskellPackages.aeson-generic-default | Type-level default fields for aeson Generic FromJSON parser |
| packages/nixpkgs/haskellPackages.bytestring-from | A type-class to convert values from ByteString |
| packages/nixpkgs/haskellPackages.data-validation | A library for creating type safe validations |
| packages/nixpkgs/haskellPackages.collection-json | Collection+JSON—Hypermedia Type Tools |
| 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/haskellPackages.JSON-Combinator | A combinator library on top of a generalised JSON type |
| packages/nixpkgs/haskellPackages.data-accessor-monads-tf | Use Accessor to access state in monads-tf State monad type family |
| packages/nixpkgs/haskellPackages.apply-unordered-mono | Apply functions to arguments in an unordered type-directed fashion |
| packages/nixpkgs/haskellPackages.aztecs-transform | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.aztecs-hierarchy | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.sorted-list_0_3_1_0 | Type-enforced sorted lists and related functions |
| packages/nixpkgs/haskellPackages.ziptastic-client | A type-safe client for the Ziptastic API for doing forward and reverse geocoding |
| 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.Agda-executable | Command-line program for type-checking and compiling Agda programs |
| packages/nixpkgs/haskellPackages.indexed-list-literals | Type safe indexed list literals |
| packages/nixpkgs/python312Packages.strawberry-graphql | GraphQL library for Python that leverages type annotations |
| packages/nixpkgs/python312Packages.mypy-boto3-ec2-instance-connect | Type annotations for boto3 ec2-instance-connect |
| 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/haskellPackages.ConstraintKinds | Repackages standard type classes with the ConstraintKinds extension |
| packages/nixpkgs/haskellPackages.data-combinator-gen | Generate a special combinator from any data type |
| packages/nixpkgs/haskellPackages.web-routes-boomerang | Use boomerang for type-safe URL parsers/printers |
| packages/nixpkgs/haskellPackages.japanese-calendar | Data type of Japanese Calendar (Wareki) |
| packages/nixpkgs/haskellPackages.constraint-manip | Some conviencience type functions for manipulating constraints |
| packages/nixpkgs/haskellPackages.guess-combinator | Generate simple combinators given their type |
| packages/nixpkgs/haskellPackages.network-socket-options | Type-safe, portable alternative to getSocketOption/setSocketOption |
| packages/nixpkgs/ocamlPackages_latest.ppx_enumerate | Generate a list containing all values of a finite type |
| packages/nixpkgs/ocamlPackages.janeStreet.ppx_enumerate | Generate a list containing all values of a finite type |
| 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/haskellPackages.funspection | Type-level function utilities |
| 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.exceptional | Essentially the Maybe type with error messages |
| packages/nixpkgs/haskellPackages.classyplate | Fuseable type-class based generics |
| packages/nixpkgs/haskellPackages.twentefp-rosetree | RoseTree type and show functions for lab assignment of University of Twente |
| 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.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/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.matchable_0_2 | A type class for Matchable Functors |
| 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/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.th-constraint-compat | Compatibility for type constraint template |
| packages/nixpkgs/haskellPackages.constrained-some | Existential type that can be constrained |
| 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 |