| packages/nixpkgs/python314Packages.mypy-boto3-synthetics | Type annotations for boto3 synthetics |
| packages/nixpkgs/python314Packages.mypy-boto3-cloudtrail | Type annotations for boto3 cloudtrail |
| packages/nixpkgs/python314Packages.mypy-boto3-cloudfront | Type annotations for boto3 cloudfront |
| packages/nixpkgs/python314Packages.mypy-boto3-workspaces | Type annotations for boto3 workspaces |
| packages/nixpkgs/python314Packages.mypy-boto3-quicksight | Type annotations for boto3 quicksight |
| packages/nixpkgs/python314Packages.mypy-boto3-transcribe | Type annotations for boto3 transcribe |
| packages/nixpkgs/python314Packages.mypy-boto3-opensearch | Type annotations for boto3 opensearch |
| packages/nixpkgs/python314Packages.mypy-boto3-cloudwatch | Type annotations for boto3 cloudwatch |
| packages/nixpkgs/python314Packages.mypy-boto3-codedeploy | Type annotations for boto3 codedeploy |
| packages/nixpkgs/python314Packages.mypy-boto3-codecommit | Type annotations for boto3 codecommit |
| packages/nixpkgs/python314Packages.mypy-boto3-mediastore | Type annotations for boto3 mediastore |
| packages/nixpkgs/python314Packages.mypy-boto3-healthlake | Type annotations for boto3 healthlake |
| packages/nixpkgs/python314Packages.mypy-boto3-cloudhsmv2 | Type annotations for boto3 cloudhsmv2 |
| packages/nixpkgs/python314Packages.mypy-boto3-apigateway | Type annotations for boto3 apigateway |
| packages/nixpkgs/python314Packages.mypy-boto3-inspector2 | Type annotations for boto3 inspector2 |
| packages/nixpkgs/python314Packages.mypy-boto3-devicefarm | Type annotations for boto3 devicefarm |
| packages/nixpkgs/python314Packages.mypy-boto3-opsworkscm | Type annotations for boto3 opsworkscm |
| packages/nixpkgs/python314Packages.mypy-boto3-cleanrooms | Type annotations for boto3 cleanrooms |
| packages/nixpkgs/haskellPackages.version-natural | A simple version type |
| packages/nixpkgs/python312Packages.mypy-boto3-pinpoint-email | Type annotations for boto3 pinpoint-email |
| packages/nixpkgs/python312Packages.mypy-boto3-s3control | Type annotations for boto3 s3control |
| packages/nixpkgs/python313Packages.mypy-boto3-s3outposts | Type annotations for boto3 s3outposts |
| packages/nixpkgs/python313Packages.typing-validation | Simple library for runtime type-checking |
| packages/nixpkgs/python314Packages.mypy-boto3-s3outposts | Type annotations for boto3 s3outposts |
| packages/nixpkgs/python314Packages.karton-classifier | File type classifier for the Karton framework |
| packages/nixpkgs/python314Packages.typing-validation | Simple library for runtime type-checking |
| packages/nixpkgs/perl538Packages.DispatchClass | Dispatch on the type (class) of an argument |
| packages/nixpkgs/perl540Packages.DispatchClass | Dispatch on the type (class) of an argument |
| packages/nixpkgs/haskellPackages.DrIFT-cabalized | Program to derive type class instances |
| packages/nixpkgs/python313Packages.karton-classifier | File type classifier for the Karton framework |
| packages/nixpkgs/haskellPackages.cassava-records | Auto-generation of records data type |
| packages/nixpkgs/haskellPackages.TrivialMonadWithUnitType | Trivial monad with Unit type |
| packages/nixpkgs/haskellPackages.twentefp-trees | Tree type and show functions for lab assignment of University of Twente |
| packages/nixpkgs/haskellPackages.singleton-bool | Type level booleans |
| packages/nixpkgs/haskellPackages.servant-cassava | Servant CSV content-type for cassava |
| packages/nixpkgs/haskellPackages.network-service | Provide a service at the data type level |
| packages/nixpkgs/python312Packages.mypy-extensions | Experimental type system extensions for programs checked with the mypy typechecker |
| packages/nixpkgs/python313Packages.mypy-boto3-cognito-identity | Type annotations for boto3 cognito-identity |
| packages/nixpkgs/python313Packages.mypy-boto3-network-firewall | Type annotations for boto3 network-firewall |
| packages/nixpkgs/python314Packages.mypy-boto3-cognito-identity | Type annotations for boto3 cognito-identity |
| packages/nixpkgs/python314Packages.mypy-boto3-network-firewall | Type annotations for boto3 network-firewall |
| packages/nixpkgs/haskellPackages.LambdaDesigner | A type-safe EDSL for TouchDesigner written in Haskell |
| packages/nixpkgs/haskellPackages.fcf-composite | Type-level computation for composite using first-class-families |
| packages/nixpkgs/haskellPackages.growable-vector | A contiguous growable array type |
| packages/nixpkgs/haskellPackages.numeric-prelude | An experimental alternative hierarchy of numeric type classes |
| packages/nixpkgs/haskellPackages.unpacked-either | An unpacked either data type |
| packages/nixpkgs/python312Packages.sqlalchemy-json | Full-featured JSON type with mutation tracking for SQLAlchemy |
| packages/nixpkgs/python312Packages.mypy-boto3-kinesis-video-media | Type annotations for boto3 kinesis-video-media |
| packages/nixpkgs/python312Packages.hypothesis-auto | Enables fully automatic tests for type annotated functions |
| packages/nixpkgs/python313Packages.mypy-boto3-chime-sdk-messaging | Type annotations for boto3 chime-sdk-messaging |
| packages/nixpkgs/python314Packages.mypy-boto3-chime-sdk-messaging | Type annotations for boto3 chime-sdk-messaging |
| packages/nixpkgs/haskellPackages.general-prelude | Prelude replacement using generalized type classes where possible |
| packages/nixpkgs/haskellPackages.list-witnesses | Witnesses for working with type-level lists |
| packages/nixpkgs/python312Packages.mypy-boto3-ssm-incidents | Type annotations for boto3 ssm-incidents |
| packages/nixpkgs/python313Packages.mypy-boto3-emr-serverless | Type annotations for boto3 emr-serverless |
| packages/nixpkgs/python313Packages.mypy-boto3-workspaces-web | Type annotations for boto3 workspaces-web |
| packages/nixpkgs/python313Packages.mypy-boto3-emr-containers | Type annotations for boto3 emr-containers |
| packages/nixpkgs/python314Packages.mypy-boto3-emr-serverless | Type annotations for boto3 emr-serverless |
| packages/nixpkgs/python314Packages.mypy-boto3-workspaces-web | Type annotations for boto3 workspaces-web |
| packages/nixpkgs/python314Packages.mypy-boto3-emr-containers | Type annotations for boto3 emr-containers |
| packages/nixpkgs/haskellPackages.dormouse-client | Simple, type-safe and testable HTTP client |
| packages/nixpkgs/haskellPackages.webgear-openapi | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.webgear-swagger | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/python312Packages.mypy-boto3-pinpoint-sms-voice | Type annotations for boto3 pinpoint-sms-voice |
| packages/nixpkgs/python312Packages.mypy-boto3-chime-sdk-meetings | Type annotations for boto3 chime-sdk-meetings |
| packages/nixpkgs/python312Packages.mypy-boto3-chime-sdk-identity | Type annotations for boto3 chime-sdk-identity |
| packages/nixpkgs/haskellPackages.finitary-derive | Flexible and easy deriving of type classes for finitary types |
| packages/nixpkgs/haskellPackages.category-printf | Highbrow approach to type-safe printf format specifications |
| packages/nixpkgs/haskellPackages.mime-directory | A library for parsing/printing the text/directory mime type |
| packages/nixpkgs/python312Packages.python-mimeparse | Module provides basic functions for parsing mime-type names and matching them against a list of media-ranges |
| packages/nixpkgs/python312Packages.mypy-boto3-medical-imaging | Type annotations for boto3 medical-imaging |
| packages/nixpkgs/python312Packages.mypy-boto3-license-manager | Type annotations for boto3 license-manager |
| packages/nixpkgs/haskellPackages.convex-schema-parser | A type-safe client generator for Convex for both Rust and Python |
| packages/nixpkgs/haskellPackages.terminal-text | Text data type for styled terminal output, including all standard ANSI effects (bold, italic, blinking) and ANSI / 256 / truecolor colors support for Unix and Windows (whenever possible) |
| packages/nixpkgs/python312Packages.mypy-boto3-pca-connector-ad | Type annotations for boto3 pca-connector-ad |
| packages/nixpkgs/python312Packages.netbox-documents | Plugin designed to faciliate the storage of site, circuit, device type and device specific documents within NetBox |
| packages/nixpkgs/python313Packages.mypy-boto3-ec2-instance-connect | Type annotations for boto3 ec2-instance-connect |
| packages/nixpkgs/python314Packages.mypy-boto3-ec2-instance-connect | Type annotations for boto3 ec2-instance-connect |
| packages/nixpkgs/python314Packages.strawberry-graphql | GraphQL library for Python that leverages type annotations |
| packages/nixpkgs/perl540Packages.ParamsClassify | Argument type classification |
| packages/nixpkgs/perl538Packages.ParamsClassify | Argument type classification |
| packages/nixpkgs/python312Packages.mypy-boto3-pinpoint-sms-voice-v2 | Type annotations for boto3 pinpoint-sms-voice-v2 |
| packages/nixpkgs/python312Packages.mypy-boto3-resource-groups | Type annotations for boto3 resource-groups |
| packages/nixpkgs/python312Packages.mypy-boto3-iotevents-data | Type annotations for boto3 iotevents-data |
| packages/nixpkgs/python312Packages.mypy-boto3-sagemaker-edge | Type annotations for boto3 sagemaker-edge |
| packages/nixpkgs/python313Packages.mypy-boto3-cloudtrail-data | Type annotations for boto3 cloudtrail-data |
| packages/nixpkgs/python313Packages.mypy-boto3-mediastore-data | Type annotations for boto3 mediastore-data |
| packages/nixpkgs/python314Packages.mypy-boto3-cloudtrail-data | Type annotations for boto3 cloudtrail-data |
| packages/nixpkgs/python313Packages.strawberry-graphql | GraphQL library for Python that leverages type annotations |
| packages/nixpkgs/python314Packages.mypy-boto3-mediastore-data | Type annotations for boto3 mediastore-data |
| packages/nixpkgs/haskellPackages.enumerable | A typeclass for enumerating all values a type |
| packages/nixpkgs/perl538Packages.EmailMIMEContentType | Parse and build a MIME Content-Type or Content-Disposition Header |
| packages/nixpkgs/perl540Packages.EmailMIMEContentType | Parse and build a MIME Content-Type or Content-Disposition Header |
| packages/nixpkgs/haskellPackages.heterolist | A heterogeneous list type |
| packages/nixpkgs/haskellPackages.servant-xml-conduit | Servant XML content-type with support for xml-conduit |
| packages/nixpkgs/haskellPackages.web-routes-generics | portable, type-safe URL routing |
| packages/nixpkgs/haskellPackages.witch_1_3_0_1 | Convert values from one type into another |
| packages/nixpkgs/akkuPackages.bcaine-defstruct | A more convenient version of `define-record-type`, inspired by Chicken's `defstruct`, including SRFI-17 setters |
| packages/nixpkgs/haskellPackages.PeanoWitnesses | GADT type witnesses for Peano-style natural numbers |
| packages/nixpkgs/haskellPackages.first-class-families | First-class type families |