| python312Packages.mypy-boto3-xray | Type annotations for boto3 xray |
| python312Packages.mypy-boto3-mwaa | Type annotations for boto3 mwaa |
| python312Packages.mypy-boto3-glue | Type annotations for boto3 glue |
| python312Packages.mypy-boto3-logs | Type annotations for boto3 logs |
| python312Packages.mypy-boto3-rbin | Type annotations for boto3 rbin |
| haskellPackages.Empty | A type class for empty containers |
| haskellPackages.cased | Track string casing in its type |
| haskellPackages.ggtsTC | A type checker and runtime system of rCOS/g (impl. of ggts-FCS). |
| haskellPackages.TrieMap | Automatic type inference of generalized tries with Template Haskell |
| haskellPackages.llvm-tf | Bindings to the LLVM compiler toolkit using type families |
| haskellPackages.cluss | simple alternative to type classes |
| haskellPackages.prim-ref | Primitive byte array with type variable |
| haskellPackages.usb-safe | Type-safe communication with USB devices |
| haskellPackages.trasa | Type Safe Web Routing |
| haskellPackages.union | Extensible type-safe unions |
| perl5Packages.DataFloat | Details of the floating point data type |
| perl5Packages.FileMMagic | Guess file type from contents |
| python313Packages.cyclopts | Module to create CLIs based on Python type hints |
| postgresqlPackages.pg-semver | Semantic version data type for PostgreSQL |
| python313Packages.pydantic | Data validation and settings management using Python type hinting |
| python314Packages.pydantic | Data validation and settings management using Python type hinting |
| python314Packages.cyclopts | Module to create CLIs based on Python type hints |
| drafting-mono | Drafting* Mono a mixed serif typewriter inspired font by indestructible type* |
| python312Packages.pytest-mypy | Mypy static type checker plugin for Pytest |
| python312Packages.mypy-boto3-ssm-sap | Type annotations for boto3 ssm-sap |
| python312Packages.trio-typing | Type hints for Trio and related projects |
| python312Packages.mypy-boto3-acm-pca | Type annotations for boto3 acm-pca |
| haskellPackages.ioctl | Type-safe I/O control package |
| haskellPackages.ifcxt | put if statements within type constraints |
| haskellPackages.bool8 | Alternative Bool type stored as byte |
| haskellPackages.duet | A tiny language, a subset of Haskell (with type classes) aimed at aiding teachers to teach Haskell |
| haskellPackages.djinn | Generate Haskell code from a type |
| haskellPackages.deep-map | Deeply-nested, multiple key type maps |
| haskellPackages.fay-text | Fay Text type represented as JavaScript strings |
| haskellPackages.effet | An Effect System based on Type Classes |
| haskellPackages.sqlc-hs | Generate type-safe Haskell code from SQL via https://github.com/sqlc-dev/sqlc. |
| haskellPackages.witch | Convert values from one type into another |
| haskellPackages.set-with | Set of elements sorted by a different data type |
| python313Packages.msgpack-numpy | Numpy data type serialization using msgpack |
| python314Packages.msgpack-numpy | Numpy data type serialization using msgpack |
| python312Packages.visions | Type system for data analysis in Python |
| haskellPackages.Digit | A data-type representing digits 0-9 |
| haskellPackages.c2hs | C->Haskell FFI tool that gives some cross-language type safety |
| haskellPackages.ddc-core | Disciplined Disciple Compiler core language and type checker |
| haskellPackages.motor | Type-safe effectful state machines in Haskell |
| haskellPackages.yesod | Creation of type-safe, RESTful web applications |
| haskellPackages.sieve | Sieve is an implementation of the Sieve abstract data type |
| haskellPackages.model | Derive a model of a data type using Generics |
| haskellPackages.mmzk-env | Read environment variables into a user-defined data type |
| haskellPackages.rhine | Functional Reactive Programming with type-level clocks |
| haskellPackages.units | A domain-specific type system for dimensional analysis |
| haskellPackages.padic | Fast, type-safe p-adic arithmetic |
| ocamlPackages_latest.conan-database | Database of decision trees to recognize MIME type |
| texlivePackages.pkfix | Replace pk fonts in PostScript with Type 1 fonts |
| python312Packages.prodict | Access Python dictionary as a class with type hinting and autocompletion |
| chickenPackages_5.chickenEggs.srfi-94 | SRFI 94: Type-Restricted Numerical Functions |
| akkuPackages.slib-coerce | Implementation of COMMON-LISP COERCE and TYPE-OF |
| haskellPackages.digit | A data-type representing digits 0-9 and other combinations |
| haskellPackages.json-spec | Type-level JSON specification |
| haskellPackages.laika | Minimalistic type-checked compile-time template engine |
| haskellPackages.http-pony | A type unsafe http library |
| haskellPackages.paths | Library for representing and manipulating type-safe file paths |
| haskellPackages.o-clock | Type-safe time library |
| haskellPackages.valid | Type isomorphic to `Either` with `Applicative` instance which combines errors |
| haskellPackages.mmtl-base | MonadBase type-class for mmtl |
| haskellPackages.scanf | Easy and type-safe format strings for parsing and printing |
| perl5Packages.FileMimeInfo | Determine file type from the file name |
| python313Packages.mypy-boto3-lex-models | Type annotations for boto3 lex-models |
| python313Packages.future-typing | Use generic type hints and new union syntax `|` with python 3.6+ |
| python313Packages.mypy-boto3-ecr-public | Type annotations for boto3 ecr-public |
| python314Packages.mypy-boto3-ecr-public | Type annotations for boto3 ecr-public |
| python314Packages.future-typing | Use generic type hints and new union syntax `|` with python 3.6+ |
| python314Packages.mypy-boto3-lex-models | Type annotations for boto3 lex-models |
| python312Packages.cffsubr | Standalone CFF subroutinizer based on AFDKO tx |
| basedpyright | Type checker for the Python language |
| chickenPackages_5.chickenEggs.srfi-253 | SRFI 253: Data (Type-)Checking |
| haskellPackages.djinn-th | Generate executable Haskell code from a type |
| haskellPackages.fast-mult | Numeric type with asymptotically faster multiplications |
| haskellPackages.ditto | ditto is a type-safe HTML form generation and validation library |
| haskellPackages.uxadt | Cross-language extensible representation for algebraic data type instances |
| ocamlPackages_latest.json-data-encoding | Type-safe encoding to and decoding from JSON |
| ocamlPackages_latest.janeStreet.ppx_tydi | Let expressions, inferring pattern type from expression |
| texlivePackages.ps2pk | Generate a PK font from an Adobe Type 1 font |
| haskellPackages.MiniAgda | A toy dependently typed programming language with type-based termination |
| python312Packages.mypy-boto3-rds-data | Type annotations for boto3 rds-data |
| python312Packages.mypy-boto3-iot-data | Type annotations for boto3 iot-data |
| python312Packages.pandas-stubs | Type annotations for Pandas |
| python312Packages.mypy-boto3-sso-oidc | Type annotations for boto3 sso-oidc |
| haskellPackages.EsounD | Type-safe bindings to EsounD (ESD; Enlightened Sound Daemon) |
| haskellPackages.htree | a library to build and work with heterogeneous, type level indexed rose trees |
| haskellPackages.i3ipc | A type-safe wrapper around i3's IPC |
| haskellPackages.no-value | A type class for choosing sentinel-like values |
| haskellPackages.zippo | A simple lens-based, generic, heterogenous, type-checked zipper library |
| ocamlPackages_latest.psmt2-frontend | Simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language |
| haskellPackages.make-monofoldable-foldable | Make a MonoFoldable type into an ordinary Foldable type |
| python312Packages.mypy-boto3-batch | Type annotations for boto3 batch |
| python312Packages.mypy-boto3-mturk | Type annotations for boto3 mturk |
| python312Packages.mypy-boto3-omics | Type annotations for boto3 omics |
| python312Packages.mypy-boto3-pipes | Type annotations for boto3 pipes |
| python312Packages.mypy-boto3-docdb | Type annotations for boto3 docdb |