| packages/nixpkgs/python314Packages.mypy-boto3-codecommit | Type annotations for boto3 codecommit |
| 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-mediastore | Type annotations for boto3 mediastore |
| packages/nixpkgs/python314Packages.mypy-boto3-comprehend | Type annotations for boto3 comprehend |
| packages/nixpkgs/python314Packages.mypy-boto3-devicefarm | Type annotations for boto3 devicefarm |
| packages/nixpkgs/python314Packages.mypy-boto3-greengrass | Type annotations for boto3 greengrass |
| packages/nixpkgs/python314Packages.mypy-boto3-healthlake | Type annotations for boto3 healthlake |
| packages/nixpkgs/python314Packages.mypy-boto3-transcribe | Type annotations for boto3 transcribe |
| packages/nixpkgs/python314Packages.mypy-boto3-opsworkscm | Type annotations for boto3 opsworkscm |
| packages/nixpkgs/python314Packages.mypy-boto3-workspaces | Type annotations for boto3 workspaces |
| packages/nixpkgs/python314Packages.mypy-boto3-cloudwatch | Type annotations for boto3 cloudwatch |
| packages/nixpkgs/python314Packages.mypy-boto3-cloudfront | Type annotations for boto3 cloudfront |
| packages/nixpkgs/python314Packages.mypy-boto3-cloudhsmv2 | Type annotations for boto3 cloudhsmv2 |
| packages/nixpkgs/haskellPackages.formatting | Combinator-based type-safe formatting (like printf() or FORMAT) |
| packages/nixpkgs/haskellPackages.easytensor | Pure, type-indexed haskell vector, matrix, and tensor library |
| packages/nixpkgs/haskellPackages.templatepg | A PostgreSQL access library with compile-time SQL type inference |
| packages/nixpkgs/perl5Packages.MooseXTypesLoadableClass | ClassName type constraint with coercion to load the class |
| 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.mypy-extensions | Experimental type system extensions for programs checked with the mypy typechecker |
| packages/nixpkgs/python312Packages.hypothesis-auto | Enables fully automatic tests for type annotated functions |
| packages/nixpkgs/haskellPackages.multistate | like mtl's ReaderT / WriterT / StateT, but more than one contained value/type |
| packages/nixpkgs/python314Packages.typing-validation | Simple library for runtime type-checking |
| packages/nixpkgs/python313Packages.mypy-boto3-s3outposts | Type annotations for boto3 s3outposts |
| packages/nixpkgs/python314Packages.karton-classifier | File type classifier for the Karton framework |
| packages/nixpkgs/python313Packages.typing-validation | Simple library for runtime type-checking |
| packages/nixpkgs/python314Packages.mypy-boto3-s3outposts | Type annotations for boto3 s3outposts |
| packages/nixpkgs/haskellPackages.postgres-options | An Options type representing options for postgres connections |
| packages/nixpkgs/python313Packages.karton-classifier | File type classifier for the Karton framework |
| packages/nixpkgs/python312Packages.mypy-boto3-ssm-incidents | Type annotations for boto3 ssm-incidents |
| packages/nixpkgs/haskellPackages.instance-control | Controls how the compiler searches for instances using type families |
| packages/nixpkgs/haskellPackages.fingertree-tf | Generic finger-tree structure using type families |
| packages/nixpkgs/haskellPackages.ghc-tcplugins-extra | Utilities for writing GHC type-checker plugins |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-gtkglext | A type class for cast functions of Gtk2hs: gtkglext package |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-gnomevfs | A type class for cast functions of Gtk2hs: gnomevfs package |
| packages/nixpkgs/ocamlPackages_latest.ppx_deriving | Library simplifying type-driven code generation on OCaml >=4.02 |
| 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-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.dynamic-pipeline | Library Type Safe implementation of Dynamic Pipeline Paradigm (DPP) |
| packages/nixpkgs/python313Packages.mypy-boto3-network-firewall | Type annotations for boto3 network-firewall |
| packages/nixpkgs/python313Packages.mypy-boto3-cognito-identity | Type annotations for boto3 cognito-identity |
| 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/python312Packages.netbox-documents | Plugin designed to faciliate the storage of site, circuit, device type and device specific documents within NetBox |
| packages/nixpkgs/haskellPackages.jsonschema-gen | JSON Schema generator from Algebraic data type |
| packages/nixpkgs/haskellPackages.purescript-iso | Isomorphic trivial data type definitions over JSON |
| 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/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/python312Packages.mypy-boto3-pca-connector-ad | Type annotations for boto3 pca-connector-ad |
| packages/nixpkgs/python313Packages.mypy-boto3-emr-containers | Type annotations for boto3 emr-containers |
| 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/python314Packages.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/python312Packages.mypy-boto3-pinpoint-sms-voice-v2 | Type annotations for boto3 pinpoint-sms-voice-v2 |
| packages/nixpkgs/haskellPackages.memory-hexstring | Hex-string type for Haskell Web3 library |
| packages/nixpkgs/haskellPackages.aeson-generic-default | Type-level default fields for aeson Generic FromJSON parser |
| 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/haskellPackages.data-accessor-monads-tf | Use Accessor to access state in monads-tf State monad type family |
| packages/nixpkgs/haskellPackages.data-validation | A library for creating type safe validations |
| packages/nixpkgs/haskellPackages.bytestring-from | A type-class to convert values from ByteString |
| packages/nixpkgs/haskellPackages.collection-json | Collection+JSON—Hypermedia Type Tools |
| packages/nixpkgs/haskellPackages.aztecs-hierarchy | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.aztecs-transform | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.apply-unordered-mono | Apply functions to arguments in an unordered type-directed fashion |
| packages/nixpkgs/haskellPackages.ziptastic-client | A type-safe client for the Ziptastic API for doing forward and reverse geocoding |
| packages/nixpkgs/haskellPackages.webgear-core_1_5_0 | Composable, type-safe library to build HTTP APIs |
| packages/nixpkgs/haskellPackages.JSON-Combinator | A combinator library on top of a generalised JSON type |
| 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/typstPackages.fauxreilly_0_1_1 | A package for creating O'Rly- / O'Reilly-type cover pages |
| packages/nixpkgs/python314Packages.strawberry-graphql | GraphQL library for Python that leverages type annotations |
| packages/nixpkgs/ocamlPackages.ppx_enumerate | Generate a list containing all values of a finite type |
| 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-mediastore-data | Type annotations for boto3 mediastore-data |
| packages/nixpkgs/python314Packages.mypy-boto3-cloudtrail-data | Type annotations for boto3 cloudtrail-data |
| packages/nixpkgs/haskellPackages.Agda-executable | Command-line program for type-checking and compiling Agda programs |
| packages/nixpkgs/python313Packages.strawberry-graphql | GraphQL library for Python that leverages type annotations |
| packages/nixpkgs/haskellPackages.indexed-list-literals | Type safe indexed list literals |
| packages/nixpkgs/typstPackages.fauxreilly_0_1_0 | A package for creating O'Rly- / O'Reilly-type cover pages |
| packages/nixpkgs/haskellPackages.witch_1_3_0_1 | Convert values from one type into another |
| packages/nixpkgs/haskellPackages.web-routes-boomerang | Use boomerang for type-safe URL parsers/printers |
| packages/nixpkgs/haskellPackages.data-combinator-gen | Generate a special combinator from any data type |
| packages/nixpkgs/perlPackages.MooseXTypesStructured | Structured Type Constraints for Moose |
| packages/nixpkgs/haskellPackages.ConstraintKinds | Repackages standard type classes with the ConstraintKinds extension |
| packages/nixpkgs/python312Packages.typing-extensions | Backported and Experimental Type Hints for Python |
| packages/nixpkgs/haskellPackages.network-socket-options | Type-safe, portable alternative to getSocketOption/setSocketOption |
| packages/nixpkgs/python312Packages.mypy-boto3-connect-contact-lens | Type annotations for boto3 connect-contact-lens |
| 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.japanese-calendar | Data type of Japanese Calendar (Wareki) |