| packages/nixpkgs/haskellPackages.ddc-core | Disciplined Disciple Compiler core language and type checker |
| packages/nixpkgs/haskellPackages.mmzk-env | Read environment variables into a user-defined data type |
| packages/nixpkgs/python313Packages.prodict | Access Python dictionary as a class with type hinting and autocompletion |
| packages/nixpkgs/python314Packages.prodict | Access Python dictionary as a class with type hinting and autocompletion |
| packages/nixpkgs/ocamlPackages_latest.janeStreet.ppx_hash | PPX rewriter that generates hash functions from type expressions and definitions |
| packages/nixpkgs/haskellPackages.Digit | A data-type representing digits 0-9 |
| packages/nixpkgs/haskellPackages.rhine | Functional Reactive Programming with type-level clocks |
| packages/nixpkgs/haskellPackages.yesod | Creation of type-safe, RESTful web applications |
| packages/nixpkgs/haskellPackages.motor | Type-safe effectful state machines in Haskell |
| packages/nixpkgs/haskellPackages.model | Derive a model of a data type using Generics |
| packages/nixpkgs/haskellPackages.padic | Fast, type-safe p-adic arithmetic |
| packages/nixpkgs/haskellPackages.sieve | Sieve is an implementation of the Sieve abstract data type |
| packages/nixpkgs/haskellPackages.units | A domain-specific type system for dimensional analysis |
| packages/nixpkgs/texlivePackages.pkfix | Replace pk fonts in PostScript with Type 1 fonts |
| packages/nixpkgs/ocamlPackages_latest.ppx_tydi | Let expressions, inferring pattern type from expression |
| packages/nixpkgs/python314Packages.cffsubr | Standalone CFF subroutinizer based on AFDKO tx |
| packages/nixpkgs/python312Packages.result | Rust-like result type for Python |
| packages/nixpkgs/haskellPackages.digit | A data-type representing digits 0-9 and other combinations |
| packages/nixpkgs/haskellPackages.laika | Minimalistic type-checked compile-time template engine |
| packages/nixpkgs/haskellPackages.paths | Library for representing and manipulating type-safe file paths |
| packages/nixpkgs/haskellPackages.scanf | Easy and type-safe format strings for parsing and printing |
| packages/nixpkgs/haskellPackages.valid | Type isomorphic to `Either` with `Applicative` instance which combines errors |
| packages/nixpkgs/python313Packages.cffsubr | Standalone CFF subroutinizer based on AFDKO tx |
| packages/nixpkgs/idrisPackages.derive | Type class deriving with elaboration reflection |
| packages/nixpkgs/perlPackages.LWPMediaTypes | Guess media type for a file or a URL |
| packages/nixpkgs/haskellPackages.json-spec | Type-level JSON specification |
| packages/nixpkgs/haskellPackages.http-pony | A type unsafe http library |
| packages/nixpkgs/haskellPackages.o-clock | Type-safe time library |
| packages/nixpkgs/haskellPackages.mmtl-base | MonadBase type-class for mmtl |
| packages/nixpkgs/python313Packages.mypy-boto3-iot-data | Type annotations for boto3 iot-data |
| packages/nixpkgs/python313Packages.mypy-boto3-sso-oidc | Type annotations for boto3 sso-oidc |
| packages/nixpkgs/python313Packages.mypy-boto3-rds-data | Type annotations for boto3 rds-data |
| packages/nixpkgs/python314Packages.mypy-boto3-iot-data | Type annotations for boto3 iot-data |
| packages/nixpkgs/python314Packages.mypy-boto3-rds-data | Type annotations for boto3 rds-data |
| packages/nixpkgs/python314Packages.mypy-boto3-sso-oidc | Type annotations for boto3 sso-oidc |
| 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/texlivePackages.ps2pk | Generate a PK font from an Adobe Type 1 font |
| packages/nixpkgs/python312Packages.lxml-stubs | Type stubs for the lxml package |
| packages/nixpkgs/python313Packages.lxml-stubs | Type stubs for the lxml package |
| packages/nixpkgs/python313Packages.pandas-stubs | Type annotations for Pandas |
| packages/nixpkgs/python314Packages.pandas-stubs | Type annotations for Pandas |
| packages/nixpkgs/ocamlPackages_latest.ppx_hash | PPX rewriter that generates hash functions from type expressions and definitions |
| 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.i3ipc | A type-safe wrapper around i3's IPC |
| packages/nixpkgs/haskellPackages.htree | a library to build and work with heterogeneous, type level indexed rose trees |
| packages/nixpkgs/haskellPackages.zippo | A simple lens-based, generic, heterogenous, type-checked zipper library |
| packages/nixpkgs/python314Packages.typing-utils | Utils to inspect Python type annotations |
| packages/nixpkgs/python313Packages.mypy-boto3-batch | Type annotations for boto3 batch |
| packages/nixpkgs/python313Packages.mypy-boto3-sesv2 | Type annotations for boto3 sesv2 |
| packages/nixpkgs/python313Packages.mypy-boto3-kafka | Type annotations for boto3 kafka |
| packages/nixpkgs/python313Packages.mypy-boto3-wafv2 | Type annotations for boto3 wafv2 |
| packages/nixpkgs/python313Packages.mypy-boto3-pipes | Type annotations for boto3 pipes |
| packages/nixpkgs/python313Packages.mypy-boto3-polly | Type annotations for boto3 polly |
| packages/nixpkgs/python313Packages.mypy-boto3-docdb | Type annotations for boto3 docdb |
| packages/nixpkgs/python313Packages.mypy-boto3-mturk | Type annotations for boto3 mturk |
| packages/nixpkgs/python313Packages.mypy-boto3-elbv2 | Type annotations for boto3 elbv2 |
| packages/nixpkgs/python313Packages.mypy-boto3-omics | Type annotations for boto3 omics |
| packages/nixpkgs/python313Packages.mypy-boto3-chime | Type annotations for boto3 chime |
| packages/nixpkgs/python314Packages.mypy-boto3-batch | Type annotations for boto3 batch |
| packages/nixpkgs/python314Packages.mypy-boto3-pipes | Type annotations for boto3 pipes |
| packages/nixpkgs/python314Packages.mypy-boto3-elbv2 | Type annotations for boto3 elbv2 |
| packages/nixpkgs/python314Packages.mypy-boto3-omics | Type annotations for boto3 omics |
| packages/nixpkgs/python314Packages.mypy-boto3-mturk | Type annotations for boto3 mturk |
| packages/nixpkgs/python313Packages.typing-utils | Utils to inspect Python type annotations |
| packages/nixpkgs/python314Packages.mypy-boto3-sesv2 | Type annotations for boto3 sesv2 |
| packages/nixpkgs/python314Packages.mypy-boto3-docdb | Type annotations for boto3 docdb |
| packages/nixpkgs/python314Packages.mypy-boto3-kafka | Type annotations for boto3 kafka |
| packages/nixpkgs/python314Packages.mypy-boto3-chime | Type annotations for boto3 chime |
| packages/nixpkgs/python314Packages.mypy-boto3-polly | Type annotations for boto3 polly |
| packages/nixpkgs/python314Packages.mypy-boto3-wafv2 | Type annotations for boto3 wafv2 |
| packages/nixpkgs/haskellPackages.EsounD | Type-safe bindings to EsounD (ESD; Enlightened Sound Daemon) |
| packages/nixpkgs/haskellPackages.MiniAgda | A toy dependently typed programming language with type-based termination |
| packages/nixpkgs/haskellPackages.no-value | A type class for choosing sentinel-like values |
| packages/nixpkgs/python313Packages.django-ninja | Web framework for building APIs with Django and Python type hints |
| packages/nixpkgs/python314Packages.django-ninja | Web framework for building APIs with Django and Python type hints |
| packages/nixpkgs/python312Packages.mypy-boto3-ce | Type annotations for boto3 ce |
| packages/nixpkgs/python312Packages.mypy-boto3-ds | Type annotations for boto3 ds |
| packages/nixpkgs/python312Packages.mypy-boto3-m2 | Type annotations for boto3 m2 |
| packages/nixpkgs/python312Packages.mypy-boto3-es | Type annotations for boto3 es |
| packages/nixpkgs/python312Packages.mypy-boto3-s3 | Type annotations for boto3 s3 |
| packages/nixpkgs/python312Packages.mypy-boto3-pi | Type annotations for boto3 pi |
| packages/nixpkgs/python312Packages.mypy-boto3-mq | Type annotations for boto3 mq |
| packages/nixpkgs/haskellPackages.path-like | PathLike, FileLike and DirLike type classes for the Path library |
| packages/nixpkgs/ocamlPackages.resto-cohttp-server | Minimal OCaml library for type-safe HTTP/JSON RPCs |
| packages/nixpkgs/ocamlPackages.resto-cohttp-client | Minimal OCaml library for type-safe HTTP/JSON RPCs |
| packages/nixpkgs/haskellPackages.url-bytes | Memory efficient url type and parser |
| packages/nixpkgs/haskellPackages.core-text | A rope type based on a finger tree over UTF-8 fragments |
| packages/nixpkgs/haskellPackages.text-utf8 | An efficient packed UTF-8 backed Unicode text type |
| packages/nixpkgs/python313Packages.python-magic | Python interface to the libmagic file type identification library |
| packages/nixpkgs/python314Packages.python-magic | Python interface to the libmagic file type identification library |
| packages/nixpkgs/python312Packages.prisma | Auto-generated and fully type-safe database client for prisma |
| packages/nixpkgs/haskellPackages.haste-app | Framework for type-safe, distributed web applications |
| 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/python313Packages.afdko | Adobe Font Development Kit for OpenType |
| packages/nixpkgs/python313Packages.mypy-boto3-voice-id | Type annotations for boto3 voice-id |
| packages/nixpkgs/python314Packages.mypy-boto3-voice-id | Type annotations for boto3 voice-id |
| packages/nixpkgs/haskellPackages.colors | A type for colors |