| packages/nixpkgs/haskellPackages.lambdacube | A simple lambda cube type checker |
| packages/nixpkgs/ocamlPackages.ppx_enumerate | Generate a list containing all values of a finite type |
| packages/nixpkgs/haskellPackages.Validation | A data-type like Either but with an accumulating Applicative |
| packages/nixpkgs/haskellPackages.apply-unordered | Apply a function to an argument specified by a type level Nat |
| packages/nixpkgs/haskellPackages.hydrogen-version | Hydrogen Version Type |
| packages/nixpkgs/haskellPackages.dimensions | Safe type-level dimensionality for multidimensional data |
| packages/nixpkgs/haskellPackages.positive-integer | Type of positive integers |
| packages/nixpkgs/haskellPackages.tyfam-witnesses | Provide proof witnesses for closed type family evaluation |
| packages/nixpkgs/haskellPackages.validation | A data-type like Either but with an accumulating Applicative |
| packages/nixpkgs/haskellPackages.stringable | A Stringable type class, in the spirit of Foldable and Traversable |
| packages/nixpkgs/haskellPackages.persistent | Type-safe, multi-backend data serialization |
| packages/nixpkgs/texlivePackages.mathpartir | Typesetting sequences of math formulas, e.g. type inference rules |
| packages/nixpkgs/haskellPackages.variable-media-field | Simple type for representing one of several media types |
| packages/nixpkgs/haskellPackages.webgear-core_1_5_0 | Composable, type-safe library to build HTTP APIs |
| packages/nixpkgs/haskellPackages.monad-primitive | Type class for monad transformers stack with pirimitive base monad |
| packages/nixpkgs/haskellPackages.polysemy-keyed-state | Effect for a set of stateful values indexed by a type of keys |
| packages/nixpkgs/texlivePackages.diabetes-logbook | A logbook for people with type one diabetes |
| packages/nixpkgs/haskellPackages.htree_0_2_0_0 | a library to build and work with heterogeneous, type level indexed rose trees |
| packages/nixpkgs/haskellPackages.formatting | Combinator-based type-safe formatting (like printf() or FORMAT) |
| packages/nixpkgs/haskellPackages.first-class-patterns | First class patterns and pattern matching, using type families |
| 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/python312Packages.typing-extensions | Backported and Experimental Type Hints for Python |
| packages/nixpkgs/python313Packages.mypy-boto3-codeguru-security | Type annotations for boto3 codeguru-security |
| packages/nixpkgs/python313Packages.mypy-boto3-customer-profiles | Type annotations for boto3 customer-profiles |
| packages/nixpkgs/python313Packages.mypy-boto3-timestream-write | Type annotations for boto3 timestream-write |
| packages/nixpkgs/python313Packages.mypy-boto3-codeguru-reviewer | Type annotations for boto3 codeguru-reviewer |
| packages/nixpkgs/python313Packages.mypy-boto3-timestream-query | Type annotations for boto3 timestream-query |
| packages/nixpkgs/python314Packages.mypy-boto3-timestream-query | Type annotations for boto3 timestream-query |
| packages/nixpkgs/python314Packages.mypy-boto3-timestream-write | Type annotations for boto3 timestream-write |
| packages/nixpkgs/python314Packages.mypy-boto3-customer-profiles | Type annotations for boto3 customer-profiles |
| packages/nixpkgs/python314Packages.mypy-boto3-codeguru-security | Type annotations for boto3 codeguru-security |
| packages/nixpkgs/python314Packages.mypy-boto3-codeguru-reviewer | Type annotations for boto3 codeguru-reviewer |
| packages/nixpkgs/haskellPackages.postgres-options | An Options type representing options for postgres connections |
| packages/nixpkgs/haskellPackages.multistate | like mtl's ReaderT / WriterT / StateT, but more than one contained value/type |
| packages/nixpkgs/python312Packages.mypy-boto3-mediastore | Type annotations for boto3 mediastore |
| packages/nixpkgs/python312Packages.mypy-boto3-greengrass | Type annotations for boto3 greengrass |
| packages/nixpkgs/python312Packages.mypy-boto3-codedeploy | Type annotations for boto3 codedeploy |
| packages/nixpkgs/python312Packages.mypy-boto3-devicefarm | Type annotations for boto3 devicefarm |
| packages/nixpkgs/python312Packages.mypy-boto3-workspaces | Type annotations for boto3 workspaces |
| packages/nixpkgs/python312Packages.mypy-boto3-apigateway | Type annotations for boto3 apigateway |
| packages/nixpkgs/python312Packages.mypy-boto3-synthetics | Type annotations for boto3 synthetics |
| packages/nixpkgs/python312Packages.mypy-boto3-transcribe | Type annotations for boto3 transcribe |
| packages/nixpkgs/python312Packages.mypy-boto3-cleanrooms | Type annotations for boto3 cleanrooms |
| packages/nixpkgs/python312Packages.mypy-boto3-connect-contact-lens | Type annotations for boto3 connect-contact-lens |
| packages/nixpkgs/python312Packages.mypy-boto3-opensearch | Type annotations for boto3 opensearch |
| packages/nixpkgs/python312Packages.mypy-boto3-healthlake | Type annotations for boto3 healthlake |
| packages/nixpkgs/python312Packages.mypy-boto3-cloudtrail | Type annotations for boto3 cloudtrail |
| packages/nixpkgs/python312Packages.mypy-boto3-inspector2 | Type annotations for boto3 inspector2 |
| packages/nixpkgs/python312Packages.mypy-boto3-cloudhsmv2 | Type annotations for boto3 cloudhsmv2 |
| packages/nixpkgs/python312Packages.mypy-boto3-cloudfront | Type annotations for boto3 cloudfront |
| packages/nixpkgs/python312Packages.mypy-boto3-comprehend | Type annotations for boto3 comprehend |
| packages/nixpkgs/python312Packages.mypy-boto3-opsworkscm | Type annotations for boto3 opsworkscm |
| packages/nixpkgs/python312Packages.mypy-boto3-cloudwatch | Type annotations for boto3 cloudwatch |
| packages/nixpkgs/python312Packages.mypy-boto3-codecommit | Type annotations for boto3 codecommit |
| packages/nixpkgs/python312Packages.mypy-boto3-quicksight | Type annotations for boto3 quicksight |
| packages/nixpkgs/python313Packages.aioitertools | Implementation of itertools, builtins, and more for AsyncIO and mixed-type iterables |
| packages/nixpkgs/python314Packages.aioitertools | Implementation of itertools, builtins, and more for AsyncIO and mixed-type iterables |
| packages/nixpkgs/haskellPackages.instance-control | Controls how the compiler searches for instances using type families |
| packages/nixpkgs/haskellPackages.ghc-tcplugins-extra | Utilities for writing GHC type-checker plugins |
| packages/nixpkgs/haskellPackages.fingertree-tf | Generic finger-tree structure using type families |
| packages/nixpkgs/python312Packages.typing-validation | Simple library for runtime type-checking |
| packages/nixpkgs/python312Packages.karton-classifier | File type classifier for the Karton framework |
| packages/nixpkgs/python312Packages.mypy-boto3-s3outposts | Type annotations for boto3 s3outposts |
| packages/nixpkgs/python313Packages.mypy-boto3-sagemaker-metrics | Type annotations for boto3 sagemaker-metrics |
| packages/nixpkgs/python313Packages.mypy-boto3-compute-optimizer | Type annotations for boto3 compute-optimizer |
| packages/nixpkgs/python313Packages.mypy-boto3-sagemaker-runtime | Type annotations for boto3 sagemaker-runtime |
| packages/nixpkgs/python313Packages.mypy-boto3-elastic-inference | Type annotations for boto3 elastic-inference |
| packages/nixpkgs/python313Packages.mypy-boto3-resource-explorer-2 | Type annotations for boto3 resource-explorer-2 |
| packages/nixpkgs/python314Packages.mypy-boto3-compute-optimizer | Type annotations for boto3 compute-optimizer |
| packages/nixpkgs/python314Packages.mypy-boto3-sagemaker-metrics | Type annotations for boto3 sagemaker-metrics |
| packages/nixpkgs/python314Packages.mypy-boto3-sagemaker-runtime | Type annotations for boto3 sagemaker-runtime |
| packages/nixpkgs/python314Packages.mypy-boto3-elastic-inference | Type annotations for boto3 elastic-inference |
| packages/nixpkgs/python314Packages.mypy-boto3-resource-explorer-2 | Type annotations for boto3 resource-explorer-2 |
| packages/nixpkgs/haskellPackages.jsonschema-gen | JSON Schema generator from Algebraic data type |
| packages/nixpkgs/haskellPackages.dynamic-pipeline | Library Type Safe implementation of Dynamic Pipeline Paradigm (DPP) |
| 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/haskellPackages.purescript-iso | Isomorphic trivial data type definitions over JSON |
| packages/nixpkgs/python313Packages.mypy-boto3-iot1click-devices | Type annotations for boto3 iot1click-devices |
| packages/nixpkgs/python313Packages.mypy-boto3-personalize | Type annotations for boto3 personalize |
| packages/nixpkgs/python313Packages.mypy-boto3-iotwireless | Type annotations for boto3 iotwireless |
| packages/nixpkgs/python313Packages.mypy-boto3-securityhub | Type annotations for boto3 securityhub |
| packages/nixpkgs/python313Packages.mypy-boto3-iotfleethub | Type annotations for boto3 iotfleethub |
| packages/nixpkgs/python313Packages.mypy-boto3-cloudsearch | Type annotations for boto3 cloudsearch |
| packages/nixpkgs/python313Packages.mypy-boto3-iotsitewise | Type annotations for boto3 iotsitewise |
| packages/nixpkgs/python313Packages.mypy-boto3-autoscaling | Type annotations for boto3 autoscaling |
| packages/nixpkgs/python313Packages.mypy-boto3-neptunedata | Type annotations for boto3 neptunedata |
| packages/nixpkgs/python313Packages.mypy-boto3-mediatailor | Type annotations for boto3 mediatailor |
| packages/nixpkgs/python313Packages.mypy-boto3-elasticache | Type annotations for boto3 elasticache |
| packages/nixpkgs/python313Packages.mypy-boto3-rekognition | Type annotations for boto3 rekognition |
| packages/nixpkgs/python314Packages.mypy-boto3-iot1click-devices | Type annotations for boto3 iot1click-devices |
| packages/nixpkgs/python314Packages.mypy-boto3-iotsitewise | Type annotations for boto3 iotsitewise |
| packages/nixpkgs/python314Packages.mypy-boto3-iotwireless | Type annotations for boto3 iotwireless |
| packages/nixpkgs/python314Packages.mypy-boto3-iotfleethub | Type annotations for boto3 iotfleethub |
| packages/nixpkgs/python314Packages.mypy-boto3-personalize | Type annotations for boto3 personalize |
| packages/nixpkgs/python314Packages.mypy-boto3-rekognition | Type annotations for boto3 rekognition |
| packages/nixpkgs/python314Packages.mypy-boto3-neptunedata | Type annotations for boto3 neptunedata |
| packages/nixpkgs/python314Packages.mypy-boto3-cloudsearch | Type annotations for boto3 cloudsearch |
| packages/nixpkgs/python314Packages.mypy-boto3-securityhub | Type annotations for boto3 securityhub |