| packages/nixpkgs/python312Packages.mypy-boto3-mediaconvert | Type annotations for boto3 mediaconvert |
| packages/nixpkgs/python312Packages.mypy-boto3-codeartifact | Type annotations for boto3 codeartifact |
| packages/nixpkgs/python312Packages.mypy-boto3-kafkaconnect | Type annotations for boto3 kafkaconnect |
| packages/nixpkgs/python312Packages.mypy-boto3-codecatalyst | Type annotations for boto3 codecatalyst |
| packages/nixpkgs/haskellPackages.distributed-static | Compositional, type-safe, polymorphic static values and closures |
| packages/nixpkgs/haskellPackages.constrained-normal | Normalised Deep Embeddings for Constrained Type-Class Instances |
| packages/nixpkgs/haskellPackages.emailaddress | Wrapper around email-validate library adding instances for common type classes |
| packages/nixpkgs/haskellPackages.tagged-transformer | Monad transformer carrying an extra phantom type tag |
| packages/nixpkgs/php82Packages.composer-local-repo-plugin | Composer plugin that facilitates the creation of a local composer type repository |
| 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/php85Packages.composer-local-repo-plugin | Composer plugin that facilitates the creation of a local composer type repository |
| packages/nixpkgs/haskellPackages.rank2classes | standard type constructor class hierarchy, only with methods of rank 2 types |
| packages/nixpkgs/haskellPackages.groundhog-inspector | Type-safe datatype-database mapping library |
| packages/nixpkgs/haskellPackages.unpacked-validation | An unpacked validation data type |
| packages/nixpkgs/haskellPackages.webgear-swagger_1_5_0 | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.webgear-openapi_1_5_0 | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/python312Packages.mypy-boto3-personalize-events | Type annotations for boto3 personalize-events |
| packages/nixpkgs/python312Packages.sqlalchemy-jsonfield | SQLALchemy JSONField implementation for storing dicts at SQL independently from JSON type support |
| packages/nixpkgs/python313Packages.mypy-boto3-migration-hub-refactor-spaces | Type annotations for boto3 migration-hub-refactor-spaces |
| packages/nixpkgs/python314Packages.mypy-boto3-migration-hub-refactor-spaces | Type annotations for boto3 migration-hub-refactor-spaces |
| packages/nixpkgs/haskellPackages.simplistic-generics | Generic programming without too many type classes |
| packages/nixpkgs/haskellPackages.http-pony-transformer-http | Transform raw TCP stream to a basic HTTP type |
| packages/nixpkgs/haskellPackages.transformers-lift | Ad-hoc type classes for lifting |
| packages/nixpkgs/haskellPackages.persistent-template | Type-safe, non-relational, multi-backend persistence |
| packages/nixpkgs/haskellPackages.symparsec_2_0_0 | Type level string parser combinators |
| packages/nixpkgs/python312Packages.mypy-boto3-mediapackage-vod | Type annotations for boto3 mediapackage-vod |
| packages/nixpkgs/python313Packages.mypy-boto3-route53-recovery-control-config | Type annotations for boto3 route53-recovery-control-config |
| packages/nixpkgs/python313Packages.mypy-boto3-sagemaker-geospatial | Type annotations for boto3 sagemaker-geospatial |
| packages/nixpkgs/python314Packages.mypy-boto3-sagemaker-geospatial | Type annotations for boto3 sagemaker-geospatial |
| packages/nixpkgs/python314Packages.mypy-boto3-route53-recovery-control-config | Type annotations for boto3 route53-recovery-control-config |
| packages/nixpkgs/python313Packages.mypy-boto3-resiliencehub | Type annotations for boto3 resiliencehub |
| packages/nixpkgs/python313Packages.mypy-boto3-frauddetector | Type annotations for boto3 frauddetector |
| packages/nixpkgs/python313Packages.mypy-boto3-lakeformation | Type annotations for boto3 lakeformation |
| packages/nixpkgs/python313Packages.mypy-boto3-forecastquery | Type annotations for boto3 forecastquery |
| packages/nixpkgs/python313Packages.mypy-boto3-groundstation | Type annotations for boto3 groundstation |
| packages/nixpkgs/python313Packages.mypy-boto3-organizations | Type annotations for boto3 organizations |
| packages/nixpkgs/python313Packages.mypy-boto3-directconnect | Type annotations for boto3 directconnect |
| packages/nixpkgs/python313Packages.mypy-boto3-rolesanywhere | Type annotations for boto3 rolesanywhere |
| packages/nixpkgs/python313Packages.mypy-boto3-appconfigdata | Type annotations for boto3 appconfigdata |
| packages/nixpkgs/python313Packages.mypy-boto3-stepfunctions | Type annotations for boto3 stepfunctions |
| packages/nixpkgs/python313Packages.mypy-boto3-identitystore | Type annotations for boto3 identitystore |
| packages/nixpkgs/python313Packages.mypy-boto3-lookoutvision | Type annotations for boto3 lookoutvision |
| packages/nixpkgs/python314Packages.mypy-boto3-frauddetector | Type annotations for boto3 frauddetector |
| packages/nixpkgs/python314Packages.mypy-boto3-organizations | Type annotations for boto3 organizations |
| packages/nixpkgs/python314Packages.mypy-boto3-appconfigdata | Type annotations for boto3 appconfigdata |
| packages/nixpkgs/python314Packages.mypy-boto3-resiliencehub | Type annotations for boto3 resiliencehub |
| packages/nixpkgs/python314Packages.mypy-boto3-directconnect | Type annotations for boto3 directconnect |
| packages/nixpkgs/python314Packages.mypy-boto3-lookoutvision | Type annotations for boto3 lookoutvision |
| packages/nixpkgs/python314Packages.mypy-boto3-stepfunctions | Type annotations for boto3 stepfunctions |
| packages/nixpkgs/python314Packages.mypy-boto3-lakeformation | Type annotations for boto3 lakeformation |
| packages/nixpkgs/python314Packages.mypy-boto3-rolesanywhere | Type annotations for boto3 rolesanywhere |
| packages/nixpkgs/python314Packages.mypy-boto3-groundstation | Type annotations for boto3 groundstation |
| packages/nixpkgs/python314Packages.mypy-boto3-identitystore | Type annotations for boto3 identitystore |
| packages/nixpkgs/python314Packages.mypy-boto3-forecastquery | Type annotations for boto3 forecastquery |
| packages/nixpkgs/python312Packages.mypy-boto3-redshift-serverless | Type annotations for boto3 redshift-serverless |
| packages/nixpkgs/python313Packages.mypy-boto3-migrationhub-config | Type annotations for boto3 migrationhub-config |
| packages/nixpkgs/python314Packages.mypy-boto3-migrationhub-config | Type annotations for boto3 migrationhub-config |
| packages/nixpkgs/haskellPackages.hyperbole_0_5_0 | Interactive HTML apps using type-safe serverside Haskell |
| packages/nixpkgs/haskellPackages.twentefp-eventloop-trees | Tree type and show functions for lab assignment of University of Twente |
| packages/nixpkgs/haskellPackages.monad-metrics-extensible | An extensible and type-safe wrapper around EKG metrics |
| packages/nixpkgs/python313Packages.mypy-boto3-route53-recovery-readiness | Type annotations for boto3 route53-recovery-readiness |
| packages/nixpkgs/python314Packages.mypy-boto3-route53-recovery-readiness | Type annotations for boto3 route53-recovery-readiness |
| packages/nixpkgs/python313Packages.mypy-boto3-codestar-connections | Type annotations for boto3 codestar-connections |
| packages/nixpkgs/python313Packages.mypy-boto3-application-insights | Type annotations for boto3 application-insights |
| packages/nixpkgs/python314Packages.mypy-boto3-codestar-connections | Type annotations for boto3 codestar-connections |
| packages/nixpkgs/python314Packages.mypy-boto3-application-insights | Type annotations for boto3 application-insights |
| packages/nixpkgs/haskellPackages.linux-capabilities | Linux capabilities Haskell data type |
| packages/nixpkgs/python312Packages.mypy-boto3-personalize-runtime | Type annotations for boto3 personalize-runtime |
| packages/nixpkgs/python312Packages.mypy-boto3-marketplace-catalog | Type annotations for boto3 marketplace-catalog |
| packages/nixpkgs/haskellPackages.unsatisfiable | Unsatisfiable type class |
| packages/nixpkgs/ocamlPackages_latest.janeStreet.base_bigstring | String type based on [Bigarray], for use in I/O and C-bindings |
| packages/nixpkgs/python313Packages.mypy-boto3-payment-cryptography | Type annotations for boto3 payment-cryptography |
| packages/nixpkgs/python314Packages.mypy-boto3-payment-cryptography | Type annotations for boto3 payment-cryptography |
| packages/nixpkgs/haskellPackages.configuration | Simple data type for application configuration |
| packages/nixpkgs/haskellPackages.justified-containers | Keyed container types with type-checked proofs of key presence |
| packages/nixpkgs/python312Packages.mypy-boto3-migration-hub-refactor-spaces | Type annotations for boto3 migration-hub-refactor-spaces |
| packages/nixpkgs/haskellPackages.standalone-derive-topdown | This package will derive class instance along the data type declaration tree. (Deprecated) |
| packages/nixpkgs/texlivePackages.biblatex-bookinother | Manage book edited in other entry type |
| packages/nixpkgs/python312Packages.mypy-boto3-route53-recovery-control-config | Type annotations for boto3 route53-recovery-control-config |
| packages/nixpkgs/python312Packages.mypy-boto3-sagemaker-geospatial | Type annotations for boto3 sagemaker-geospatial |
| packages/nixpkgs/haskellPackages.parameterized | Parameterized/indexed monoids and monads using only a single parameter type variable |
| packages/nixpkgs/python312Packages.mypy-boto3-lakeformation | Type annotations for boto3 lakeformation |
| packages/nixpkgs/python312Packages.mypy-boto3-frauddetector | Type annotations for boto3 frauddetector |
| packages/nixpkgs/python312Packages.mypy-boto3-directconnect | Type annotations for boto3 directconnect |
| packages/nixpkgs/python312Packages.mypy-boto3-identitystore | Type annotations for boto3 identitystore |
| packages/nixpkgs/python312Packages.mypy-boto3-lookoutvision | Type annotations for boto3 lookoutvision |
| packages/nixpkgs/python312Packages.mypy-boto3-rolesanywhere | Type annotations for boto3 rolesanywhere |
| packages/nixpkgs/python312Packages.mypy-boto3-stepfunctions | Type annotations for boto3 stepfunctions |
| packages/nixpkgs/python312Packages.mypy-boto3-forecastquery | Type annotations for boto3 forecastquery |
| packages/nixpkgs/python312Packages.mypy-boto3-appconfigdata | Type annotations for boto3 appconfigdata |
| packages/nixpkgs/python312Packages.mypy-boto3-resiliencehub | Type annotations for boto3 resiliencehub |
| packages/nixpkgs/python312Packages.mypy-boto3-groundstation | Type annotations for boto3 groundstation |
| packages/nixpkgs/python312Packages.mypy-boto3-organizations | Type annotations for boto3 organizations |
| packages/nixpkgs/python312Packages.mypy-boto3-migrationhub-config | Type annotations for boto3 migrationhub-config |
| packages/nixpkgs/python312Packages.mypy-boto3-route53-recovery-readiness | Type annotations for boto3 route53-recovery-readiness |
| packages/nixpkgs/haskellPackages.postgresql-simple-interval | A simple interval type for PostgreSQL |
| packages/nixpkgs/python312Packages.mypy-boto3-application-insights | Type annotations for boto3 application-insights |
| packages/nixpkgs/python312Packages.mypy-boto3-codestar-connections | Type annotations for boto3 codestar-connections |
| packages/nixpkgs/python313Packages.mypy-boto3-payment-cryptography-data | Type annotations for boto3 payment-cryptography-data |