| packages/nixpkgs/python314Packages.mypy-boto3-glacier | Type annotations for boto3 glacier |
| packages/nixpkgs/python314Packages.mypy-boto3-ivschat | Type annotations for boto3 ivschat |
| packages/nixpkgs/python314Packages.mypy-boto3-support | Type annotations for boto3 support |
| packages/nixpkgs/python314Packages.mypy-boto3-appflow | Type annotations for boto3 appflow |
| packages/nixpkgs/python314Packages.mypy-boto3-account | Type annotations for boto3 account |
| packages/nixpkgs/python312Packages.nptyping | Type hints for numpy |
| packages/nixpkgs/haskellPackages.FontyFruity | A true type file format loader |
| packages/nixpkgs/haskellPackages.ghost-buster | Existential type utilites |
| packages/nixpkgs/haskellPackages.hslua-typing | Type specifiers for Lua |
| packages/nixpkgs/haskellPackages.control-iso | A typeclass for type isomorphisms |
| packages/nixpkgs/postgresql14Packages.ip4r | IPv4/v6 and IPv4/v6 range index type for PostgreSQL |
| packages/nixpkgs/postgresql17Packages.ip4r | IPv4/v6 and IPv4/v6 range index type for PostgreSQL |
| packages/nixpkgs/postgresql15Packages.ip4r | IPv4/v6 and IPv4/v6 range index type for PostgreSQL |
| packages/nixpkgs/postgresql18Packages.ip4r | IPv4/v6 and IPv4/v6 range index type for PostgreSQL |
| packages/nixpkgs/postgresql16Packages.ip4r | IPv4/v6 and IPv4/v6 range index type for PostgreSQL |
| packages/nixpkgs/haskellPackages.io-classes | Type classes for concurrency with STM, ST and timing |
| packages/nixpkgs/haskellPackages.to-haskell | A type class and some utilities for generating Haskell code |
| packages/nixpkgs/gnomeExtensions.pin-it | Send yourself custom notifications |
| packages/nixpkgs/haskellPackages.convert | Safe and unsafe data conversion utilities with strong type-level operation. checking. |
| packages/nixpkgs/haskellPackages.warlock | Automatic type-safe conversion between Haskell data types using Template Haskell |
| packages/nixpkgs/haskellPackages.setters | Small (TH) library to declare setters for typical `record' data type fields |
| packages/nixpkgs/typstPackages.valkyrie_0_1_1 | Type validation |
| packages/nixpkgs/typstPackages.valkyrie_0_1_0 | Type validation |
| packages/nixpkgs/haskellPackages.trasa-client | Type safe http requests |
| packages/nixpkgs/haskellPackages.trasa-reflex | Reactive Type Safe Routing |
| packages/nixpkgs/haskellPackages.servant-nix | Servant Nix content-type |
| packages/nixpkgs/haskellPackages.trasa-server | Type safe web server |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-th | A type class for cast functions of Gtk2hs: TH package |
| packages/nixpkgs/perlPackages.MooseXTypesCommon | Library of commonly used type constraints |
| packages/nixpkgs/python313Packages.mypy-boto3-chime-sdk-voice | Type annotations for boto3 chime-sdk-voice |
| packages/nixpkgs/python313Packages.mypy-boto3-arc-zonal-shift | Type annotations for boto3 arc-zonal-shift |
| packages/nixpkgs/python313Packages.mypy-boto3-builder | Type annotations builder for boto3 |
| packages/nixpkgs/python314Packages.mypy-boto3-chime-sdk-voice | Type annotations for boto3 chime-sdk-voice |
| packages/nixpkgs/python314Packages.mypy-boto3-builder | Type annotations builder for boto3 |
| packages/nixpkgs/python314Packages.mypy-boto3-arc-zonal-shift | Type annotations for boto3 arc-zonal-shift |
| packages/nixpkgs/haskellPackages.servant-xml | Servant support for the XML Content-Type |
| packages/nixpkgs/haskellPackages.simple-index | Allows simple indexation on any data type |
| packages/nixpkgs/python312Packages.datetime | DateTime data type, as known from Zope |
| packages/nixpkgs/python312Packages.utitools | Utilities for working with Uniform Type Identifiers |
| packages/nixpkgs/perl538Packages.LWPMediaTypes | Guess media type for a file or a URL |
| packages/nixpkgs/perl540Packages.LWPMediaTypes | Guess media type for a file or a URL |
| packages/nixpkgs/perlPackages.MooseXTypesPathClass | Path::Class type library for Moose |
| packages/nixpkgs/perlPackages.SymbolGlobalName | Finds name and type of a global variable |
| packages/nixpkgs/python312Packages.mypy-boto3-iot-jobs-data | Type annotations for boto3 iot-jobs-data |
| packages/nixpkgs/haskellPackages.magic-tyfams | Write plugins for magic type families with ease |
| packages/nixpkgs/haskellPackages.intmap-graph | A graph library that allows to explore edges after their type |
| packages/nixpkgs/haskellPackages.rio-orphans | Orphan instances for the RIO type in the rio package |
| packages/nixpkgs/haskellPackages.aztecs-sdl-text | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/python312Packages.mypy-boto3-config | Type annotations for boto3 config |
| packages/nixpkgs/python312Packages.mypy-boto3-backup | Type annotations for boto3 backup |
| packages/nixpkgs/python312Packages.mypy-boto3-lambda | Type annotations for boto3 lambda |
| packages/nixpkgs/python312Packages.mypy-boto3-cloud9 | Type annotations for boto3 cloud9 |
| packages/nixpkgs/python312Packages.mypy-boto3-shield | Type annotations for boto3 shield |
| packages/nixpkgs/python312Packages.mypy-boto3-proton | Type annotations for boto3 proton |
| packages/nixpkgs/python312Packages.mypy-boto3-athena | Type annotations for boto3 athena |
| packages/nixpkgs/python312Packages.mypy-boto3-kendra | Type annotations for boto3 kendra |
| packages/nixpkgs/python312Packages.mypy-boto3-events | Type annotations for boto3 events |
| packages/nixpkgs/python312Packages.mypy-boto3-nimble | Type annotations for boto3 nimble |
| packages/nixpkgs/python312Packages.mypy-boto3-wisdom | Type annotations for boto3 wisdom |
| packages/nixpkgs/python312Packages.mypy-boto3-braket | Type annotations for boto3 braket |
| packages/nixpkgs/python312Packages.mypy-boto3-health | Type annotations for boto3 health |
| packages/nixpkgs/python312Packages.mypy-boto3-macie2 | Type annotations for boto3 macie2 |
| packages/nixpkgs/python312Packages.mypy-boto3-signer | Type annotations for boto3 signer |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-gtk | A type class for cast functions of Gtk2hs: gtk package |
| packages/nixpkgs/python312Packages.cyclopts | Module to create CLIs based on Python type hints |
| packages/nixpkgs/python312Packages.timeslot | Data type for representing time slots with a start and end |
| packages/nixpkgs/haskellPackages.DataVersion | Type safe data migrations |
| packages/nixpkgs/haskellPackages.TypeCompose | Type composition classes & instances |
| packages/nixpkgs/python313Packages.click-datetime | Datetime type support for click |
| packages/nixpkgs/python313Packages.botocore-stubs | Type annotations and code completion for botocore |
| packages/nixpkgs/python314Packages.botocore-stubs | Type annotations and code completion for botocore |
| packages/nixpkgs/python314Packages.click-datetime | Datetime type support for click |
| packages/nixpkgs/haskellPackages.simple-c-value | A simple C value type |
| packages/nixpkgs/haskellPackages.codet-plugin | GHC type-checker plugin for solving LiftT instances from codet |
| packages/nixpkgs/haskellPackages.aztecs-asset | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.data-rtuple | Recursive tuple data structure |
| packages/nixpkgs/python312Packages.pydantic | Data validation and settings management using Python type hinting |
| packages/nixpkgs/haskellPackages.th-reify-compat | Compatibility for the result type of TH reify |
| packages/nixpkgs/texlivePackages.ocr-b-outline | OCR-B fonts in Type 1 and OpenType |
| packages/nixpkgs/python313Packages.mypy-boto3-lex-runtime | Type annotations for boto3 lex-runtime |
| packages/nixpkgs/python313Packages.mypy-boto3-vpc-lattice | Type annotations for boto3 vpc-lattice |
| packages/nixpkgs/python313Packages.mypy-boto3-support-app | Type annotations for boto3 support-app |
| packages/nixpkgs/python313Packages.mypy-boto3-lexv2-models | Type annotations for boto3 lexv2-models |
| packages/nixpkgs/python313Packages.mypy-boto3-cognito-idp | Type annotations for boto3 cognito-idp |
| packages/nixpkgs/python314Packages.mypy-boto3-vpc-lattice | Type annotations for boto3 vpc-lattice |
| packages/nixpkgs/python314Packages.mypy-boto3-cognito-idp | Type annotations for boto3 cognito-idp |
| packages/nixpkgs/python314Packages.mypy-boto3-lexv2-models | Type annotations for boto3 lexv2-models |
| packages/nixpkgs/python314Packages.mypy-boto3-lex-runtime | Type annotations for boto3 lex-runtime |
| packages/nixpkgs/python314Packages.mypy-boto3-support-app | Type annotations for boto3 support-app |
| packages/nixpkgs/haskellPackages.Delta-Lambda | A demonstration interpreter for type system delta-lambda (of N |
| packages/nixpkgs/haskellPackages.simple-units | Simple arithmetic with SI units using type-checked dimensional analysis |
| packages/nixpkgs/ocamlPackages_latest.json-data-encoding-bson | Type-safe encoding to and decoding from JSON (bson support) |
| packages/nixpkgs/haskellPackages.generic-tree | Generic Tree data type |
| packages/nixpkgs/haskellPackages.servant-avro | Avro content type for Servant |
| packages/nixpkgs/haskellPackages.AC-Vector-Fancy | Fancy type-system stuff for AC-Vector |
| packages/nixpkgs/perl5Packages.MooseXTypesCommon | Library of commonly used type constraints |
| packages/nixpkgs/python313Packages.jaxtyping | Type annotations and runtime checking for JAX arrays and PyTrees |
| packages/nixpkgs/python314Packages.jaxtyping | Type annotations and runtime checking for JAX arrays and PyTrees |
| packages/nixpkgs/python312Packages.msgpack-numpy | Numpy data type serialization using msgpack |
| packages/nixpkgs/haskellPackages.data-flagset | An efficient data type for sets of flags |