| packages/nixpkgs/haskellPackages.o-clock | Type-safe time library |
| packages/nixpkgs/haskellPackages.valid | Type isomorphic to `Either` with `Applicative` instance which combines errors |
| packages/nixpkgs/haskellPackages.mmtl-base | MonadBase type-class for mmtl |
| packages/nixpkgs/haskellPackages.scanf | Easy and type-safe format strings for parsing and printing |
| packages/nixpkgs/perl5Packages.FileMimeInfo | Determine file type from the file name |
| packages/nixpkgs/python313Packages.mypy-boto3-lex-models | Type annotations for boto3 lex-models |
| packages/nixpkgs/python313Packages.future-typing | Use generic type hints and new union syntax `|` with python 3.6+ |
| packages/nixpkgs/python313Packages.mypy-boto3-ecr-public | Type annotations for boto3 ecr-public |
| packages/nixpkgs/python314Packages.mypy-boto3-ecr-public | Type annotations for boto3 ecr-public |
| packages/nixpkgs/python314Packages.future-typing | Use generic type hints and new union syntax `|` with python 3.6+ |
| packages/nixpkgs/python314Packages.mypy-boto3-lex-models | Type annotations for boto3 lex-models |
| packages/nixpkgs/python312Packages.cffsubr | Standalone CFF subroutinizer based on AFDKO tx |
| packages/nixpkgs/basedpyright | Type checker for the Python language |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-253 | SRFI 253: Data (Type-)Checking |
| packages/nixpkgs/haskellPackages.djinn-th | Generate executable Haskell code from a type |
| packages/nixpkgs/haskellPackages.fast-mult | Numeric type with asymptotically faster multiplications |
| packages/nixpkgs/haskellPackages.ditto | ditto is a type-safe HTML form generation and validation library |
| packages/nixpkgs/haskellPackages.uxadt | Cross-language extensible representation for algebraic data type instances |
| packages/nixpkgs/ocamlPackages_latest.json-data-encoding | Type-safe encoding to and decoding from JSON |
| packages/nixpkgs/ocamlPackages_latest.janeStreet.ppx_tydi | Let expressions, inferring pattern type from expression |
| packages/nixpkgs/texlivePackages.ps2pk | Generate a PK font from an Adobe Type 1 font |
| packages/nixpkgs/haskellPackages.MiniAgda | A toy dependently typed programming language with type-based termination |
| packages/nixpkgs/python312Packages.mypy-boto3-rds-data | Type annotations for boto3 rds-data |
| packages/nixpkgs/python312Packages.mypy-boto3-iot-data | Type annotations for boto3 iot-data |
| packages/nixpkgs/python312Packages.pandas-stubs | Type annotations for Pandas |
| packages/nixpkgs/python312Packages.mypy-boto3-sso-oidc | Type annotations for boto3 sso-oidc |
| packages/nixpkgs/haskellPackages.EsounD | Type-safe bindings to EsounD (ESD; Enlightened Sound Daemon) |
| packages/nixpkgs/haskellPackages.htree | a library to build and work with heterogeneous, type level indexed rose trees |
| packages/nixpkgs/haskellPackages.i3ipc | A type-safe wrapper around i3's IPC |
| packages/nixpkgs/haskellPackages.no-value | A type class for choosing sentinel-like values |
| packages/nixpkgs/haskellPackages.zippo | A simple lens-based, generic, heterogenous, type-checked zipper library |
| packages/nixpkgs/ocamlPackages_latest.psmt2-frontend | Simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language |
| packages/nixpkgs/haskellPackages.make-monofoldable-foldable | Make a MonoFoldable type into an ordinary Foldable type |
| packages/nixpkgs/python312Packages.mypy-boto3-batch | Type annotations for boto3 batch |
| packages/nixpkgs/python312Packages.mypy-boto3-mturk | Type annotations for boto3 mturk |
| packages/nixpkgs/python312Packages.mypy-boto3-omics | Type annotations for boto3 omics |
| packages/nixpkgs/python312Packages.mypy-boto3-pipes | Type annotations for boto3 pipes |
| packages/nixpkgs/python312Packages.mypy-boto3-docdb | Type annotations for boto3 docdb |
| packages/nixpkgs/python312Packages.mypy-boto3-kafka | Type annotations for boto3 kafka |
| packages/nixpkgs/python312Packages.mypy-boto3-wafv2 | Type annotations for boto3 wafv2 |
| packages/nixpkgs/python312Packages.mypy-boto3-chime | Type annotations for boto3 chime |
| packages/nixpkgs/python312Packages.mypy-boto3-elbv2 | Type annotations for boto3 elbv2 |
| packages/nixpkgs/python312Packages.typing-utils | Utils to inspect Python type annotations |
| packages/nixpkgs/python312Packages.mypy-boto3-polly | Type annotations for boto3 polly |
| packages/nixpkgs/python312Packages.mypy-boto3-sesv2 | Type annotations for boto3 sesv2 |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-259 | Tagged procedures with type safety (with SRFI-229 compatability) |
| packages/nixpkgs/haskellPackages.colors | A type for colors |
| packages/nixpkgs/haskellPackages.url-bytes | Memory efficient url type and parser |
| packages/nixpkgs/haskellPackages.path-like | PathLike, FileLike and DirLike type classes for the Path library |
| packages/nixpkgs/ocamlPackages_latest.janeStreet.ppx_hash | PPX rewriter that generates hash functions from type expressions and definitions |
| packages/nixpkgs/python312Packages.django-ninja | Web framework for building APIs with Django and Python type hints |
| packages/nixpkgs/haskellPackages.core-text | A rope type based on a finger tree over UTF-8 fragments |
| packages/nixpkgs/haskellPackages.haste-app | Framework for type-safe, distributed web applications |
| packages/nixpkgs/haskellPackages.text-utf8 | An efficient packed UTF-8 backed Unicode text type |
| packages/nixpkgs/haskellPackages.sheets | Spreadsheet type for composite |
| packages/nixpkgs/haskellPackages.thrist | Type-threaded list |
| packages/nixpkgs/perlPackages.LWPMediaTypes | Guess media type for a file or a URL |
| packages/nixpkgs/postgresql15Packages.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/postgresql17Packages.ip4r | IPv4/v6 and IPv4/v6 range index type for PostgreSQL |
| packages/nixpkgs/postgresql14Packages.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/python313Packages.mypy-boto3-devops-guru | Type annotations for boto3 devops-guru |
| packages/nixpkgs/python314Packages.mypy-boto3-devops-guru | Type annotations for boto3 devops-guru |
| packages/nixpkgs/python312Packages.python-magic | Python interface to the libmagic file type identification library |
| packages/nixpkgs/haskellPackages.beam-core | Type-safe, feature-complete SQL query and manipulation interface for Haskell |
| packages/nixpkgs/haskellPackages.free-foil | Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads) |
| packages/nixpkgs/haskellPackages.reader | A reader data type with all the bits |
| packages/nixpkgs/python313Packages.mypy-boto3-schemas | Type annotations for boto3 schemas |
| packages/nixpkgs/python313Packages.mypy-boto3-budgets | Type annotations for boto3 budgets |
| packages/nixpkgs/python313Packages.mypy-boto3-glacier | Type annotations for boto3 glacier |
| packages/nixpkgs/python313Packages.mypy-boto3-grafana | Type annotations for boto3 grafana |
| packages/nixpkgs/python313Packages.mypy-boto3-appsync | Type annotations for boto3 appsync |
| packages/nixpkgs/python313Packages.mypy-boto3-connect | Type annotations for boto3 connect |
| packages/nixpkgs/python313Packages.mypy-boto3-pricing | Type annotations for boto3 pricing |
| packages/nixpkgs/python313Packages.mypy-boto3-appmesh | Type annotations for boto3 appmesh |
| packages/nixpkgs/python313Packages.mypy-boto3-support | Type annotations for boto3 support |
| packages/nixpkgs/python313Packages.mypy-boto3-kinesis | Type annotations for boto3 kinesis |
| packages/nixpkgs/python313Packages.mypy-boto3-amplify | Type annotations for boto3 amplify |
| packages/nixpkgs/python313Packages.mypy-boto3-neptune | Type annotations for boto3 neptune |
| packages/nixpkgs/python313Packages.mypy-boto3-account | Type annotations for boto3 account |
| packages/nixpkgs/python313Packages.mypy-boto3-ivschat | Type annotations for boto3 ivschat |
| packages/nixpkgs/python313Packages.mypy-boto3-appflow | Type annotations for boto3 appflow |
| packages/nixpkgs/python313Packages.mypy-boto3-route53 | Type annotations for boto3 route53 |
| packages/nixpkgs/python314Packages.mypy-boto3-glacier | Type annotations for boto3 glacier |
| packages/nixpkgs/python314Packages.mypy-boto3-neptune | Type annotations for boto3 neptune |
| packages/nixpkgs/python314Packages.mypy-boto3-amplify | Type annotations for boto3 amplify |
| packages/nixpkgs/python314Packages.mypy-boto3-ivschat | Type annotations for boto3 ivschat |
| packages/nixpkgs/python314Packages.mypy-boto3-pricing | Type annotations for boto3 pricing |
| packages/nixpkgs/python314Packages.mypy-boto3-appflow | Type annotations for boto3 appflow |
| packages/nixpkgs/python314Packages.mypy-boto3-appsync | Type annotations for boto3 appsync |
| packages/nixpkgs/python314Packages.mypy-boto3-schemas | Type annotations for boto3 schemas |
| packages/nixpkgs/python314Packages.mypy-boto3-support | Type annotations for boto3 support |
| packages/nixpkgs/python314Packages.mypy-boto3-budgets | Type annotations for boto3 budgets |
| packages/nixpkgs/python314Packages.mypy-boto3-grafana | Type annotations for boto3 grafana |
| packages/nixpkgs/python314Packages.mypy-boto3-kinesis | Type annotations for boto3 kinesis |
| packages/nixpkgs/python314Packages.mypy-boto3-account | Type annotations for boto3 account |
| packages/nixpkgs/python314Packages.mypy-boto3-connect | Type annotations for boto3 connect |
| packages/nixpkgs/python314Packages.mypy-boto3-appmesh | Type annotations for boto3 appmesh |
| packages/nixpkgs/python314Packages.mypy-boto3-route53 | Type annotations for boto3 route53 |