| perl540Packages.ParamsClassify | Argument type classification |
| perl538Packages.ParamsClassify | Argument type classification |
| python312Packages.mypy-boto3-pca-connector-ad | Type annotations for boto3 pca-connector-ad |
| python312Packages.netbox-documents | Plugin designed to faciliate the storage of site, circuit, device type and device specific documents within NetBox |
| python313Packages.mypy-boto3-ec2-instance-connect | Type annotations for boto3 ec2-instance-connect |
| python314Packages.mypy-boto3-ec2-instance-connect | Type annotations for boto3 ec2-instance-connect |
| python314Packages.strawberry-graphql | GraphQL library for Python that leverages type annotations |
| haskellPackages.enumerable | A typeclass for enumerating all values a type |
| perl538Packages.EmailMIMEContentType | Parse and build a MIME Content-Type or Content-Disposition Header |
| perl540Packages.EmailMIMEContentType | Parse and build a MIME Content-Type or Content-Disposition Header |
| python312Packages.mypy-boto3-pinpoint-sms-voice-v2 | Type annotations for boto3 pinpoint-sms-voice-v2 |
| python312Packages.mypy-boto3-resource-groups | Type annotations for boto3 resource-groups |
| python312Packages.mypy-boto3-iotevents-data | Type annotations for boto3 iotevents-data |
| python312Packages.mypy-boto3-sagemaker-edge | Type annotations for boto3 sagemaker-edge |
| haskellPackages.heterolist | A heterogeneous list type |
| haskellPackages.servant-xml-conduit | Servant XML content-type with support for xml-conduit |
| haskellPackages.web-routes-generics | portable, type-safe URL routing |
| python313Packages.mypy-boto3-cloudtrail-data | Type annotations for boto3 cloudtrail-data |
| python313Packages.mypy-boto3-mediastore-data | Type annotations for boto3 mediastore-data |
| python314Packages.mypy-boto3-cloudtrail-data | Type annotations for boto3 cloudtrail-data |
| python313Packages.strawberry-graphql | GraphQL library for Python that leverages type annotations |
| python314Packages.mypy-boto3-mediastore-data | Type annotations for boto3 mediastore-data |
| haskellPackages.witch_1_3_0_1 | Convert values from one type into another |
| akkuPackages.bcaine-defstruct | A more convenient version of `define-record-type`, inspired by Chicken's `defstruct`, including SRFI-17 setters |
| haskellPackages.PeanoWitnesses | GADT type witnesses for Peano-style natural numbers |
| haskellPackages.first-class-families | First-class type families |
| haskellPackages.membership | Indices for type level lists |
| haskellPackages.broadcast-chan | Closable, fair, single-wakeup channel type that avoids 0 reader space leaks |
| idrisPackages.quantities | Type-safe physical computations and unit conversions in Idris |
| haskellPackages.versioning | Type-safe data versioning |
| gnomeExtensions.bangs-search | Quickly search using !bangs from your GNOME search. This feature allows you to perform quick searches directly from the GNOME search bar using DuckDuckGo's !bang syntax. !bangs are shortcuts that quickly take you to search results on other sites. For example, typing '!w gnome' will search Wikipedia for gnome,To use this feature, simply open the GNOME search bar and type a !bang command followed by your search query. |
| haskellPackages.increments | type classes for incremental updates to data |
| haskellPackages.lambdacube | A simple lambda cube type checker |
| haskellPackages.Validation | A data-type like Either but with an accumulating Applicative |
| haskellPackages.apply-unordered | Apply a function to an argument specified by a type level Nat |
| haskellPackages.hydrogen-version | Hydrogen Version Type |
| haskellPackages.dimensions | Safe type-level dimensionality for multidimensional data |
| haskellPackages.positive-integer | Type of positive integers |
| haskellPackages.tyfam-witnesses | Provide proof witnesses for closed type family evaluation |
| haskellPackages.validation | A data-type like Either but with an accumulating Applicative |
| haskellPackages.stringable | A Stringable type class, in the spirit of Foldable and Traversable |
| haskellPackages.persistent | Type-safe, multi-backend data serialization |
| ocamlPackages.ppx_enumerate | Generate a list containing all values of a finite type |
| texlivePackages.mathpartir | Typesetting sequences of math formulas, e.g. type inference rules |
| perlPackages.MooseXTypesLoadableClass | ClassName type constraint with coercion to load the class |
| haskellPackages.variable-media-field | Simple type for representing one of several media types |
| haskellPackages.webgear-core_1_5_0 | Composable, type-safe library to build HTTP APIs |
| haskellPackages.monad-primitive | Type class for monad transformers stack with pirimitive base monad |
| haskellPackages.polysemy-keyed-state | Effect for a set of stateful values indexed by a type of keys |
| texlivePackages.diabetes-logbook | A logbook for people with type one diabetes |
| haskellPackages.htree_0_2_0_0 | a library to build and work with heterogeneous, type level indexed rose trees |
| haskellPackages.formatting | Combinator-based type-safe formatting (like printf() or FORMAT) |
| haskellPackages.first-class-patterns | First class patterns and pattern matching, using type families |
| haskellPackages.easytensor | Pure, type-indexed haskell vector, matrix, and tensor library |
| haskellPackages.templatepg | A PostgreSQL access library with compile-time SQL type inference |
| python312Packages.typing-extensions | Backported and Experimental Type Hints for Python |
| haskellPackages.postgres-options | An Options type representing options for postgres connections |
| haskellPackages.multistate | like mtl's ReaderT / WriterT / StateT, but more than one contained value/type |
| python313Packages.mypy-boto3-codeguru-security | Type annotations for boto3 codeguru-security |
| python313Packages.mypy-boto3-customer-profiles | Type annotations for boto3 customer-profiles |
| python313Packages.mypy-boto3-timestream-write | Type annotations for boto3 timestream-write |
| python313Packages.mypy-boto3-codeguru-reviewer | Type annotations for boto3 codeguru-reviewer |
| python313Packages.mypy-boto3-timestream-query | Type annotations for boto3 timestream-query |
| python314Packages.mypy-boto3-timestream-query | Type annotations for boto3 timestream-query |
| python314Packages.mypy-boto3-timestream-write | Type annotations for boto3 timestream-write |
| python314Packages.mypy-boto3-customer-profiles | Type annotations for boto3 customer-profiles |
| python314Packages.mypy-boto3-codeguru-security | Type annotations for boto3 codeguru-security |
| python314Packages.mypy-boto3-codeguru-reviewer | Type annotations for boto3 codeguru-reviewer |
| perl5Packages.MooseXTypesLoadableClass | ClassName type constraint with coercion to load the class |
| python312Packages.mypy-boto3-mediastore | Type annotations for boto3 mediastore |
| python312Packages.mypy-boto3-greengrass | Type annotations for boto3 greengrass |
| python312Packages.mypy-boto3-codedeploy | Type annotations for boto3 codedeploy |
| python312Packages.mypy-boto3-devicefarm | Type annotations for boto3 devicefarm |
| python312Packages.mypy-boto3-workspaces | Type annotations for boto3 workspaces |
| python312Packages.mypy-boto3-apigateway | Type annotations for boto3 apigateway |
| python312Packages.mypy-boto3-synthetics | Type annotations for boto3 synthetics |
| python312Packages.mypy-boto3-transcribe | Type annotations for boto3 transcribe |
| python312Packages.mypy-boto3-cleanrooms | Type annotations for boto3 cleanrooms |
| python312Packages.mypy-boto3-connect-contact-lens | Type annotations for boto3 connect-contact-lens |
| python312Packages.mypy-boto3-opensearch | Type annotations for boto3 opensearch |
| python312Packages.mypy-boto3-healthlake | Type annotations for boto3 healthlake |
| python312Packages.mypy-boto3-cloudtrail | Type annotations for boto3 cloudtrail |
| python312Packages.mypy-boto3-inspector2 | Type annotations for boto3 inspector2 |
| python312Packages.mypy-boto3-cloudhsmv2 | Type annotations for boto3 cloudhsmv2 |
| python312Packages.mypy-boto3-cloudfront | Type annotations for boto3 cloudfront |
| python312Packages.mypy-boto3-comprehend | Type annotations for boto3 comprehend |
| python312Packages.mypy-boto3-opsworkscm | Type annotations for boto3 opsworkscm |
| python312Packages.mypy-boto3-cloudwatch | Type annotations for boto3 cloudwatch |
| python312Packages.mypy-boto3-codecommit | Type annotations for boto3 codecommit |
| python312Packages.mypy-boto3-quicksight | Type annotations for boto3 quicksight |
| haskellPackages.instance-control | Controls how the compiler searches for instances using type families |
| haskellPackages.ghc-tcplugins-extra | Utilities for writing GHC type-checker plugins |
| haskellPackages.fingertree-tf | Generic finger-tree structure using type families |
| python313Packages.aioitertools | Implementation of itertools, builtins, and more for AsyncIO and mixed-type iterables |
| python314Packages.aioitertools | Implementation of itertools, builtins, and more for AsyncIO and mixed-type iterables |
| python312Packages.typing-validation | Simple library for runtime type-checking |
| python312Packages.karton-classifier | File type classifier for the Karton framework |
| python312Packages.mypy-boto3-s3outposts | Type annotations for boto3 s3outposts |
| haskellPackages.jsonschema-gen | JSON Schema generator from Algebraic data type |
| haskellPackages.dynamic-pipeline | Library Type Safe implementation of Dynamic Pipeline Paradigm (DPP) |