| haskellPackages.gtk2hs-cast-gtkglext | A type class for cast functions of Gtk2hs: gtkglext package |
| haskellPackages.gtk2hs-cast-gnomevfs | A type class for cast functions of Gtk2hs: gnomevfs package |
| haskellPackages.purescript-iso | Isomorphic trivial data type definitions over JSON |
| python313Packages.mypy-boto3-sagemaker-metrics | Type annotations for boto3 sagemaker-metrics |
| python313Packages.mypy-boto3-compute-optimizer | Type annotations for boto3 compute-optimizer |
| python313Packages.mypy-boto3-sagemaker-runtime | Type annotations for boto3 sagemaker-runtime |
| python313Packages.mypy-boto3-elastic-inference | Type annotations for boto3 elastic-inference |
| python313Packages.mypy-boto3-resource-explorer-2 | Type annotations for boto3 resource-explorer-2 |
| python314Packages.mypy-boto3-compute-optimizer | Type annotations for boto3 compute-optimizer |
| python314Packages.mypy-boto3-sagemaker-metrics | Type annotations for boto3 sagemaker-metrics |
| python314Packages.mypy-boto3-sagemaker-runtime | Type annotations for boto3 sagemaker-runtime |
| python314Packages.mypy-boto3-elastic-inference | Type annotations for boto3 elastic-inference |
| python314Packages.mypy-boto3-resource-explorer-2 | Type annotations for boto3 resource-explorer-2 |
| python313Packages.mypy-boto3-iot1click-devices | Type annotations for boto3 iot1click-devices |
| python313Packages.mypy-boto3-personalize | Type annotations for boto3 personalize |
| python313Packages.mypy-boto3-iotwireless | Type annotations for boto3 iotwireless |
| python313Packages.mypy-boto3-securityhub | Type annotations for boto3 securityhub |
| python313Packages.mypy-boto3-iotfleethub | Type annotations for boto3 iotfleethub |
| python313Packages.mypy-boto3-cloudsearch | Type annotations for boto3 cloudsearch |
| python313Packages.mypy-boto3-iotsitewise | Type annotations for boto3 iotsitewise |
| python313Packages.mypy-boto3-autoscaling | Type annotations for boto3 autoscaling |
| python313Packages.mypy-boto3-neptunedata | Type annotations for boto3 neptunedata |
| python313Packages.mypy-boto3-mediatailor | Type annotations for boto3 mediatailor |
| python313Packages.mypy-boto3-elasticache | Type annotations for boto3 elasticache |
| python313Packages.mypy-boto3-rekognition | Type annotations for boto3 rekognition |
| python314Packages.mypy-boto3-iot1click-devices | Type annotations for boto3 iot1click-devices |
| python314Packages.mypy-boto3-iotsitewise | Type annotations for boto3 iotsitewise |
| python314Packages.mypy-boto3-iotwireless | Type annotations for boto3 iotwireless |
| python314Packages.mypy-boto3-iotfleethub | Type annotations for boto3 iotfleethub |
| python314Packages.mypy-boto3-personalize | Type annotations for boto3 personalize |
| python314Packages.mypy-boto3-rekognition | Type annotations for boto3 rekognition |
| python314Packages.mypy-boto3-neptunedata | Type annotations for boto3 neptunedata |
| python314Packages.mypy-boto3-cloudsearch | Type annotations for boto3 cloudsearch |
| python314Packages.mypy-boto3-securityhub | Type annotations for boto3 securityhub |
| python314Packages.mypy-boto3-mediatailor | Type annotations for boto3 mediatailor |
| python314Packages.mypy-boto3-elasticache | Type annotations for boto3 elasticache |
| python314Packages.mypy-boto3-autoscaling | Type annotations for boto3 autoscaling |
| python312Packages.mypy-boto3-network-firewall | Type annotations for boto3 network-firewall |
| python312Packages.mypy-boto3-cognito-identity | Type annotations for boto3 cognito-identity |
| haskellPackages.memory-hexstring | Hex-string type for Haskell Web3 library |
| python313Packages.mypy-boto3-chime-sdk-media-pipelines | Type annotations for boto3 chime-sdk-media-pipelines |
| python314Packages.mypy-boto3-chime-sdk-media-pipelines | Type annotations for boto3 chime-sdk-media-pipelines |
| python312Packages.mypy-boto3-chime-sdk-messaging | Type annotations for boto3 chime-sdk-messaging |
| haskellPackages.aeson-generic-default | Type-level default fields for aeson Generic FromJSON parser |
| haskellPackages.bytestring-from | A type-class to convert values from ByteString |
| haskellPackages.data-validation | A library for creating type safe validations |
| haskellPackages.collection-json | Collection+JSON—Hypermedia Type Tools |
| python312Packages.mypy-boto3-workspaces-web | Type annotations for boto3 workspaces-web |
| python312Packages.mypy-boto3-emr-serverless | Type annotations for boto3 emr-serverless |
| python312Packages.mypy-boto3-emr-containers | Type annotations for boto3 emr-containers |
| haskellPackages.JSON-Combinator | A combinator library on top of a generalised JSON type |
| haskellPackages.data-accessor-monads-tf | Use Accessor to access state in monads-tf State monad type family |
| haskellPackages.apply-unordered-mono | Apply functions to arguments in an unordered type-directed fashion |
| haskellPackages.aztecs-transform | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| haskellPackages.aztecs-hierarchy | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| haskellPackages.sorted-list_0_3_1_0 | Type-enforced sorted lists and related functions |
| haskellPackages.ziptastic-client | A type-safe client for the Ziptastic API for doing forward and reverse geocoding |
| haskellPackages.Agda-executable | Command-line program for type-checking and compiling Agda programs |
| haskellPackages.indexed-list-literals | Type safe indexed list literals |
| python313Packages.mypy-boto3-sagemaker-a2i-runtime | Type annotations for boto3 sagemaker-a2i-runtime |
| python314Packages.mypy-boto3-sagemaker-a2i-runtime | Type annotations for boto3 sagemaker-a2i-runtime |
| python312Packages.strawberry-graphql | GraphQL library for Python that leverages type annotations |
| python312Packages.mypy-boto3-ec2-instance-connect | Type annotations for boto3 ec2-instance-connect |
| python312Packages.mypy-boto3-cloudtrail-data | Type annotations for boto3 cloudtrail-data |
| python312Packages.mypy-boto3-mediastore-data | Type annotations for boto3 mediastore-data |
| haskellPackages.ConstraintKinds | Repackages standard type classes with the ConstraintKinds extension |
| haskellPackages.data-combinator-gen | Generate a special combinator from any data type |
| haskellPackages.web-routes-boomerang | Use boomerang for type-safe URL parsers/printers |
| haskellPackages.japanese-calendar | Data type of Japanese Calendar (Wareki) |
| haskellPackages.constraint-manip | Some conviencience type functions for manipulating constraints |
| haskellPackages.guess-combinator | Generate simple combinators given their type |
| haskellPackages.network-socket-options | Type-safe, portable alternative to getSocketOption/setSocketOption |
| perlPackages.MooseXTypesStructured | Structured Type Constraints for Moose |
| haskellPackages.flexible-defaults | Generate default function implementations for complex type classes |
| haskellPackages.Strafunski-ATermLib | An abstract data type designed for the exchange of tree-like data structures |
| haskellPackages.funspection | Type-level function utilities |
| ocamlPackages_latest.ppx_enumerate | Generate a list containing all values of a finite type |
| ocamlPackages.janeStreet.ppx_enumerate | Generate a list containing all values of a finite type |
| haskellPackages.exceptional | Essentially the Maybe type with error messages |
| haskellPackages.classyplate | Fuseable type-class based generics |
| haskellPackages.twentefp-rosetree | RoseTree type and show functions for lab assignment of University of Twente |
| python313Packages.mypy-boto3-kinesis-video-webrtc-storage | Type annotations for boto3 kinesis-video-webrtc-storage |
| python314Packages.mypy-boto3-kinesis-video-webrtc-storage | Type annotations for boto3 kinesis-video-webrtc-storage |
| haskellPackages.cspmchecker | A command line type checker for CSPM files |
| haskellPackages.axiomatic-classes | Specify axioms for type classes and quickCheck all available instances |
| python313Packages.mypy-boto3-iot1click-projects | Type annotations for boto3 iot1click-projects |
| python314Packages.mypy-boto3-iot1click-projects | Type annotations for boto3 iot1click-projects |
| perlPackages.MooseXTypesStringlike | Moose type constraints for strings or string-like objects |
| perl5Packages.MooseXTypesStructured | Structured Type Constraints for Moose |
| haskellPackages.matchable_0_2 | A type class for Matchable Functors |
| python312Packages.mypy-boto3-timestream-query | Type annotations for boto3 timestream-query |
| python312Packages.mypy-boto3-codeguru-security | Type annotations for boto3 codeguru-security |
| python312Packages.mypy-boto3-codeguru-reviewer | Type annotations for boto3 codeguru-reviewer |
| python312Packages.mypy-boto3-customer-profiles | Type annotations for boto3 customer-profiles |
| python312Packages.mypy-boto3-timestream-write | Type annotations for boto3 timestream-write |
| haskellPackages.simple-media-timestamp | A very simple timestamp type |
| haskellPackages.smallstring | A Unicode text type, optimized for low memory overhead |
| perl538Packages.MooseXTypesLoadableClass | ClassName type constraint with coercion to load the class |
| perl540Packages.MooseXTypesLoadableClass | ClassName type constraint with coercion to load the class |
| python312Packages.aioitertools | Implementation of itertools, builtins, and more for AsyncIO and mixed-type iterables |