| packages/nixpkgs/python313Packages.mypy-boto3-detective | Type annotations for boto3 detective |
| packages/nixpkgs/python313Packages.mypy-boto3-medialive | Type annotations for boto3 medialive |
| packages/nixpkgs/python313Packages.mypy-boto3-appfabric | Type annotations for boto3 appfabric |
| packages/nixpkgs/python313Packages.mypy-boto3-apprunner | Type annotations for boto3 apprunner |
| packages/nixpkgs/python313Packages.mypy-boto3-inspector | Type annotations for boto3 inspector |
| packages/nixpkgs/python313Packages.mypy-boto3-codebuild | Type annotations for boto3 codebuild |
| packages/nixpkgs/python313Packages.mypy-boto3-robomaker | Type annotations for boto3 robomaker |
| packages/nixpkgs/python313Packages.mypy-boto3-translate | Type annotations for boto3 translate |
| packages/nixpkgs/python313Packages.mypy-boto3-lightsail | Type annotations for boto3 lightsail |
| packages/nixpkgs/python313Packages.mypy-boto3-discovery | Type annotations for boto3 discovery |
| packages/nixpkgs/python314Packages.mypy-boto3-iotevents | Type annotations for boto3 iotevents |
| packages/nixpkgs/python314Packages.mypy-boto3-appstream | Type annotations for boto3 appstream |
| packages/nixpkgs/python314Packages.mypy-boto3-medialive | Type annotations for boto3 medialive |
| packages/nixpkgs/python314Packages.mypy-boto3-sagemaker | Type annotations for boto3 sagemaker |
| packages/nixpkgs/python314Packages.mypy-boto3-translate | Type annotations for boto3 translate |
| packages/nixpkgs/python314Packages.mypy-boto3-scheduler | Type annotations for boto3 scheduler |
| packages/nixpkgs/python314Packages.mypy-boto3-robomaker | Type annotations for boto3 robomaker |
| packages/nixpkgs/python314Packages.mypy-boto3-evidently | Type annotations for boto3 evidently |
| packages/nixpkgs/python314Packages.mypy-boto3-detective | Type annotations for boto3 detective |
| packages/nixpkgs/python314Packages.mypy-boto3-apprunner | Type annotations for boto3 apprunner |
| packages/nixpkgs/python314Packages.mypy-boto3-appfabric | Type annotations for boto3 appfabric |
| packages/nixpkgs/python314Packages.mypy-boto3-keyspaces | Type annotations for boto3 keyspaces |
| packages/nixpkgs/python314Packages.mypy-boto3-codebuild | Type annotations for boto3 codebuild |
| packages/nixpkgs/python314Packages.mypy-boto3-discovery | Type annotations for boto3 discovery |
| packages/nixpkgs/python314Packages.mypy-boto3-lightsail | Type annotations for boto3 lightsail |
| packages/nixpkgs/python314Packages.mypy-boto3-inspector | Type annotations for boto3 inspector |
| packages/nixpkgs/python314Packages.mypy-boto3-appconfig | Type annotations for boto3 appconfig |
| packages/nixpkgs/python314Packages.mypy-boto3-guardduty | Type annotations for boto3 guardduty |
| packages/nixpkgs/haskellPackages.composite-xml | RecXML Type |
| packages/nixpkgs/haskellPackages.union_0_1_3 | Extensible type-safe unions |
| packages/nixpkgs/haskellPackages.network-uri-static | A small utility to declare type-safe static URIs |
| packages/nixpkgs/python313Packages.mypy-boto3-pinpoint-email | Type annotations for boto3 pinpoint-email |
| packages/nixpkgs/python313Packages.mypy-boto3-s3control | Type annotations for boto3 s3control |
| packages/nixpkgs/python314Packages.mypy-boto3-pinpoint-email | Type annotations for boto3 pinpoint-email |
| packages/nixpkgs/python314Packages.mypy-boto3-s3control | Type annotations for boto3 s3control |
| packages/nixpkgs/haskellPackages.dependent-sum | Dependent sum type |
| packages/nixpkgs/haskellPackages.AlgorithmW | Example implementation of Algorithm W for Hindley-Milner type inference |
| packages/nixpkgs/haskellPackages.groundhog-th | Type-safe datatype-database mapping library |
| packages/nixpkgs/chickenPackages_5.chickenEggs.record-vector | The dumb simple inplace data records without type tag. |
| packages/nixpkgs/python312Packages.mypy-boto3-lexv2-runtime | Type annotations for boto3 lexv2-runtime |
| packages/nixpkgs/python312Packages.mypy-boto3-docdb-elastic | Type annotations for boto3 docdb-elastic |
| 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.twentefp-trees | Tree type and show functions for lab assignment of University of Twente |
| packages/nixpkgs/haskellPackages.version-natural | A simple version type |
| packages/nixpkgs/python314Packages.sqlalchemy-json | Full-featured JSON type with mutation tracking for SQLAlchemy |
| packages/nixpkgs/python313Packages.hypothesis-auto | Enables fully automatic tests for type annotated functions |
| packages/nixpkgs/python313Packages.mypy-boto3-kinesis-video-media | Type annotations for boto3 kinesis-video-media |
| packages/nixpkgs/python313Packages.mypy-extensions | Experimental type system extensions for programs checked with the mypy typechecker |
| packages/nixpkgs/python314Packages.mypy-extensions | Experimental type system extensions for programs checked with the mypy typechecker |
| packages/nixpkgs/python313Packages.sqlalchemy-json | Full-featured JSON type with mutation tracking for SQLAlchemy |
| packages/nixpkgs/python314Packages.hypothesis-auto | Enables fully automatic tests for type annotated functions |
| packages/nixpkgs/python314Packages.mypy-boto3-kinesis-video-media | Type annotations for boto3 kinesis-video-media |
| packages/nixpkgs/haskellPackages.DrIFT-cabalized | Program to derive type class instances |
| packages/nixpkgs/python312Packages.mypy-boto3-ssm-contacts | Type annotations for boto3 ssm-contacts |
| packages/nixpkgs/python312Packages.mypy-boto3-waf-regional | Type annotations for boto3 waf-regional |
| packages/nixpkgs/python312Packages.mypy-boto3-ivs-realtime | Type annotations for boto3 ivs-realtime |
| packages/nixpkgs/haskellPackages.cassava-records | Auto-generation of records data type |
| packages/nixpkgs/haskellPackages.network-service | Provide a service at the data type level |
| packages/nixpkgs/haskellPackages.servant-cassava | Servant CSV content-type for cassava |
| 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.immutables | Immutable mapping type |
| packages/nixpkgs/haskellPackages.fcf-composite | Type-level computation for composite using first-class-families |
| packages/nixpkgs/python313Packages.mypy-boto3-ssm-incidents | Type annotations for boto3 ssm-incidents |
| packages/nixpkgs/python314Packages.mypy-boto3-ssm-incidents | Type annotations for boto3 ssm-incidents |
| packages/nixpkgs/haskellPackages.singleton-bool | Type level booleans |
| packages/nixpkgs/haskellPackages.numeric-prelude | An experimental alternative hierarchy of numeric type classes |
| packages/nixpkgs/python313Packages.mypy-boto3-chime-sdk-identity | Type annotations for boto3 chime-sdk-identity |
| packages/nixpkgs/python313Packages.mypy-boto3-pinpoint-sms-voice | Type annotations for boto3 pinpoint-sms-voice |
| packages/nixpkgs/python313Packages.mypy-boto3-chime-sdk-meetings | Type annotations for boto3 chime-sdk-meetings |
| packages/nixpkgs/python314Packages.mypy-boto3-chime-sdk-identity | Type annotations for boto3 chime-sdk-identity |
| packages/nixpkgs/python314Packages.mypy-boto3-chime-sdk-meetings | Type annotations for boto3 chime-sdk-meetings |
| packages/nixpkgs/python314Packages.mypy-boto3-pinpoint-sms-voice | Type annotations for boto3 pinpoint-sms-voice |
| packages/nixpkgs/python313Packages.python-mimeparse | Module provides basic functions for parsing mime-type names and matching them against a list of media-ranges |
| packages/nixpkgs/python314Packages.python-mimeparse | Module provides basic functions for parsing mime-type names and matching them against a list of media-ranges |
| packages/nixpkgs/haskellPackages.LambdaDesigner | A type-safe EDSL for TouchDesigner written in Haskell |
| packages/nixpkgs/haskellPackages.growable-vector | A contiguous growable array type |
| packages/nixpkgs/haskellPackages.unpacked-either | An unpacked either data type |
| packages/nixpkgs/haskellPackages.general-prelude | Prelude replacement using generalized type classes where possible |
| packages/nixpkgs/gnomeExtensions.bangs-search | Quickly search using !bangs from your GNOME search |
| packages/nixpkgs/haskellPackages.TrivialMonadWithUnitType | Trivial monad with Unit type |
| packages/nixpkgs/haskellPackages.list-witnesses | Witnesses for working with type-level lists |
| packages/nixpkgs/python313Packages.netbox-documents | Plugin designed to faciliate the storage of site, circuit, device type and device specific documents within NetBox |
| packages/nixpkgs/python314Packages.netbox-documents | Plugin designed to faciliate the storage of site, circuit, device type and device specific documents within NetBox |
| packages/nixpkgs/haskellPackages.webgear-swagger | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.webgear-openapi | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/python313Packages.mypy-boto3-medical-imaging | Type annotations for boto3 medical-imaging |
| packages/nixpkgs/python313Packages.mypy-boto3-license-manager | Type annotations for boto3 license-manager |
| packages/nixpkgs/python314Packages.mypy-boto3-medical-imaging | Type annotations for boto3 medical-imaging |
| packages/nixpkgs/python314Packages.mypy-boto3-license-manager | Type annotations for boto3 license-manager |
| packages/nixpkgs/haskellPackages.dormouse-client | Simple, type-safe and testable HTTP client |
| packages/nixpkgs/python313Packages.mypy-boto3-pca-connector-ad | Type annotations for boto3 pca-connector-ad |
| packages/nixpkgs/python314Packages.mypy-boto3-pca-connector-ad | Type annotations for boto3 pca-connector-ad |
| packages/nixpkgs/python312Packages.atomiclong | Long data type with atomic operations using CFFI |
| packages/nixpkgs/python312Packages.mypy-boto3-redshift-data | Type annotations for boto3 redshift-data |
| packages/nixpkgs/python312Packages.mypy-boto3-finspace-data | Type annotations for boto3 finspace-data |
| packages/nixpkgs/akkuPackages.bcaine-defstruct | A more convenient version of `define-record-type`, inspired by Chicken's `defstruct`, including SRFI-17 setters |
| packages/nixpkgs/idrisPackages.quantities | Type-safe physical computations and unit conversions in Idris |
| packages/nixpkgs/haskellPackages.category-printf | Highbrow approach to type-safe printf format specifications |
| packages/nixpkgs/haskellPackages.finitary-derive | Flexible and easy deriving of type classes for finitary types |