| packages/nixpkgs/haskellPackages.type-indexed-queues | Queues with verified and unverified versions |
| packages/nixpkgs/haskellPackages.type-structure | Type structure analysis |
| packages/nixpkgs/haskellPackages.type-functions | Emulation of type-level functions |
| packages/nixpkgs/haskellPackages.type-equality-check | Type equality check |
| packages/nixpkgs/haskellPackages.type-operators | Various type-level operators |
| packages/nixpkgs/haskellPackages.type-settheory | Sets and functions-as-relations in the type system |
| packages/nixpkgs/haskellPackages.type-level-integers | Provides integers lifted to the type level |
| packages/nixpkgs/xorg.fontbhtype1 | |
| packages/nixpkgs/paratype-pt-serif | Open Paratype font |
| packages/nixpkgs/haskellPackages.generic-type-asserts | Structural assertions on generic type representations |
| packages/nixpkgs/ocamlPackages.ctypes | Library for binding to C libraries using pure OCaml |
| packages/nixpkgs/texlivePackages.esint-type1 | Font esint10 in Type 1 format |
| packages/nixpkgs/python313Packages.eval-type-backport | Like `typing._eval_type`, but lets older Python versions use newer typing features |
| packages/nixpkgs/python314Packages.eval-type-backport | Like `typing._eval_type`, but lets older Python versions use newer typing features |
| packages/nixpkgs/texlivePackages.bbold-type1 | An Adobe Type 1 format version of the bbold font |
| packages/nixpkgs/texlivePackages.ipaex-type1 | IPAex fonts converted to Type-1 format Unicode subfonts |
| packages/nixpkgs/haskellPackages.type-level-natural-number | Simple type level natural numbers |
| packages/nixpkgs/haskellPackages.hindley-milner-type-check | Type inference for Hindley-Milner based languages |
| packages/nixpkgs/ocamlPackages_latest.caqti-type-calendar | Date and time field types using the calendar library |
| packages/nixpkgs/font-bitstream-type1 | Bitstream Charter PostScript Type 1 and OpenType fonts |
| packages/nixpkgs/haskellPackages.ntype | N-ary sum/product types |
| packages/nixpkgs/texlivePackages.stix2-type1 | Type1 versions of the STIX Two OpenType fonts |
| packages/nixpkgs/haskellPackages.type-assertions | Runtime type assertions for testing |
| packages/nixpkgs/haskellPackages.type-reflection | Support functions to work with type representations |
| packages/nixpkgs/ocamlPackages_latest.type_id | Type identifiers, useful for runtime type-safe casting/coersions |
| packages/nixpkgs/rubyPackages.mime-types | |
| packages/nixpkgs/haskellPackages.clr-typed | A strongly typed Haskell interface to the CLR type system |
| packages/nixpkgs/python312Packages.eval-type-backport | Like `typing._eval_type`, but lets older Python versions use newer typing features |
| packages/nixpkgs/ocamlPackages_latest.type_eq | Type equality proofs for OCaml 4 |
| packages/nixpkgs/rPackages.subtype | |
| packages/nixpkgs/ocamlPackages.posix-types | Bindings for the types defined in <sys/types.h> |
| packages/nixpkgs/phpExtensions.ctype | PHP upstream extension: ctype |
| packages/nixpkgs/texlivePackages.type1cm | Arbitrary size font selection in LaTeX |
| packages/nixpkgs/typescript | Superset of JavaScript that compiles to clean JavaScript output |
| packages/nixpkgs/xorg.fontibmtype1 | |
| packages/nixpkgs/haskellPackages.type-level-kv-list-esqueleto | Make Esqueleto handy with type-level-kv-list |
| packages/nixpkgs/haskellPackages.typed-fsm | A framework for strongly typed FSM |
| packages/nixpkgs/haskellPackages.typed-gui | GUI framework based on typed-fsm |
| packages/nixpkgs/haskellPackages.row-types | Open Records and Variants |
| packages/nixpkgs/haskellPackages.xml-types | Basic types for representing XML |
| packages/nixpkgs/haskellPackages.wkt-types | A library for working with .wkt files. |
| packages/nixpkgs/haskellPackages.dtd-types | Basic types for representing XML DTDs |
| packages/nixpkgs/haskellPackages.xcb-types | Parses XML files used by the XCB project |
| packages/nixpkgs/haskellPackages.lsp-types | Haskell library for the Microsoft Language Server Protocol, data types |
| packages/nixpkgs/rubyPackages_3_1.mime-types | |
| packages/nixpkgs/rubyPackages_3_2.mime-types | |
| packages/nixpkgs/rubyPackages_3_5.mime-types | |
| packages/nixpkgs/rubyPackages_4_0.mime-types | |
| packages/nixpkgs/rubyPackages_3_4.mime-types | |
| packages/nixpkgs/rubyPackages_3_3.mime-types | |
| packages/nixpkgs/typescript-go | Go implementation of TypeScript |
| packages/nixpkgs/haskellPackages.typed-wire | Language-independent type-safe communication |
| packages/nixpkgs/ocamlPackages.typerep | Typerep is a library for runtime types |
| packages/nixpkgs/haskellPackages.uuid-types | Type definitions for Universally Unique Identifiers |
| packages/nixpkgs/haskellPackages.mime-types | Basic mime-type handling types and functions |
| packages/nixpkgs/vimPlugins.teamtype | Real-time co-editing of local text files |
| packages/nixpkgs/python313Packages.typer | Library for building CLI applications |
| packages/nixpkgs/python314Packages.typer | Library for building CLI applications |
| packages/nixpkgs/chickenPackages_5.chickenEggs.message-digest-type | Message Digest Type |
| packages/nixpkgs/haskellPackages.testing-type-modifiers | Data type modifiers for property based testing |
| packages/nixpkgs/haskellPackages.generic-type-functions | Familiar functions lifted to type-level functions on generic types |
| packages/nixpkgs/php81Extensions.ctype | PHP upstream extension: ctype |
| packages/nixpkgs/mallard-ducktype | Parser for the lightweight Ducktype syntax for Mallard |
| packages/nixpkgs/php85Extensions.ctype | PHP upstream extension: ctype |
| packages/nixpkgs/php84Extensions.ctype | PHP upstream extension: ctype |
| packages/nixpkgs/php83Extensions.ctype | PHP upstream extension: ctype |
| packages/nixpkgs/php82Extensions.ctype | PHP upstream extension: ctype |
| packages/nixpkgs/haskellPackages.type-combinators | A collection of data types for type-level programming |
| packages/nixpkgs/haskellPackages.typeof | Small script for inferring types |
| packages/nixpkgs/haskellPackages.typed-uuid | Phantom-Typed version of UUID |
| packages/nixpkgs/haskellPackages.typed-time | A strongly typed way to handle time and date formats |
| packages/nixpkgs/haskellPackages.casa-types | Types for Casa |
| packages/nixpkgs/haskellPackages.mcmc-types | Common types for sampling |
| packages/nixpkgs/haskellPackages.enum-types | small enum types |
| packages/nixpkgs/haskellPackages.asn1-types | ASN.1 types |
| packages/nixpkgs/haskellPackages.json-types | Basic types for representing JSON |
| packages/nixpkgs/haskellPackages.rest-types | Silk Rest Framework Types |
| packages/nixpkgs/haskellPackages.ldtk-types | Datatypes and Aeson instances for parsing LDtk |
| packages/nixpkgs/haskellPackages.irc-fun-types | Common types for IRC related packages |
| packages/nixpkgs/haskellPackages.cqrs-types | Command-Query Responsibility Segregation |
| packages/nixpkgs/haskellPackages.http-types | Generic HTTP types for Haskell (for both client and server code) |
| packages/nixpkgs/haskellPackages.type-interpreter | Interpreter for Template Haskell types |
| packages/nixpkgs/rPackages.OncoSubtype | |
| packages/nixpkgs/rPackages.SubtypeDrug | |
| packages/nixpkgs/haskellPackages.type-level-kv-list-persistent | Make Persistent Raw SQL handy with type-level-kv-list |
| packages/nixpkgs/ocamlPackages.httpun-types | Common HTTP/1.x types |
| packages/nixpkgs/haskellPackages.base64-bytestring-type | A newtype around ByteString, for base64 encoding |
| packages/nixpkgs/haskellPackages.hist-pl-types | Types in the historical dictionary of Polish |
| packages/nixpkgs/haskellPackages.sum-type-boilerplate | Library for reducing the boilerplate involved with sum types |
| packages/nixpkgs/rubyPackages.mime-types-data | |
| packages/nixpkgs/haskellPackages.x-sum-type-boilerplate | (Forked) Library for reducing the boilerplate involved with sum types |
| packages/nixpkgs/haskellPackages.iconv-typed | Type safe iconv wrapper |
| packages/nixpkgs/rubyPackages_3_1.mime-types-data | |
| packages/nixpkgs/rubyPackages_3_2.mime-types-data | |
| packages/nixpkgs/rubyPackages_3_5.mime-types-data | |
| packages/nixpkgs/python313Packages.types-six | Typing stubs for six |
| packages/nixpkgs/python314Packages.types-six | Typing stubs for six |
| packages/nixpkgs/rPackages.typehint | |
| packages/nixpkgs/ocamlPackages_latest.ctypes | Library for binding to C libraries using pure OCaml |
| packages/nixpkgs/rPackages.ctypesio | |