| packages/nixpkgs/haskellPackages.compound-types | Sum and Product types and such |
| packages/nixpkgs/haskellPackages.password-types | Types for handling passwords |
| packages/nixpkgs/haskellPackages.geodetic-types | Types for geodetic operations |
| packages/nixpkgs/haskellPackages.typelits-printf | Type-safe printf from parsing GHC TypeLits Symbol |
| packages/nixpkgs/haskellPackages.sqlite-simple-typed | Typed extension to sqlite simple |
| packages/nixpkgs/haskellPackages.scholdoc-types | Scholdoc fork of pandoc-types |
| packages/nixpkgs/texlivePackages.microtype | Subliminal refinements towards typographical perfection |
| packages/nixpkgs/haskellPackages.prototype | prototype-based programming on Haskell |
| packages/nixpkgs/haskellPackages.cruncher-types | Request and Response types for Eval.so's API |
| packages/nixpkgs/haskellPackages.crypto-cipher-types | Generic cryptography cipher types |
| packages/nixpkgs/haskellPackages.telegram-types | Types used in Telegram bot API |
| packages/nixpkgs/haskellPackages.fusion-plugin-types | Types for the fusion-plugin package |
| packages/nixpkgs/haskellPackages.stackage-types | Shared data types between various Stackage packages |
| packages/nixpkgs/haskellPackages.workflow-types | Automate keyboard\/mouse\/clipboard\/application interaction |
| packages/nixpkgs/haskellPackages.graphtype | A simple tool to illustrate dependencies between Haskell types |
| packages/nixpkgs/haskellPackages.crypto-pubkey-types | Generic cryptography Public keys algorithm types |
| packages/nixpkgs/haskellPackages.string-typelits | Type-level Chars and Strings, with decidable equality |
| packages/nixpkgs/texlivePackages.libertinus-type1 | Support for using Libertinus fonts with LaTeX/pdfLaTeX |
| packages/nixpkgs/haskellPackages.gi-freetype2 | freetype2 bindings |
| packages/nixpkgs/haskellPackages.servant-typed-error | Typed error wrapper for Servant |
| packages/nixpkgs/texlivePackages.microtype-de | Translation into German of the documentation of microtype |
| packages/nixpkgs/haskellPackages.ixset-typed-cassava | cassava encoding and decoding via ixset-typed |
| packages/nixpkgs/haskellPackages.spirv-reflect-types | Data types from spirv-reflect tool |
| packages/nixpkgs/emacsPackages.ob-typescript | |
| packages/nixpkgs/rPackages.PolyHaplotyper | |
| packages/nixpkgs/emacsPackages.monkeytype | |
| packages/nixpkgs/haskellPackages.typeparams | Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation |
| packages/nixpkgs/vimPlugins.typescript-tools-nvim | |
| packages/nixpkgs/haskellPackages.typesafe-endian | Enforce endianness with types |
| packages/nixpkgs/haskellPackages.typelevel-tools-yj | type level tools |
| packages/nixpkgs/haskellPackages.typelevel-tensor | Tensors whose ranks and dimensions type-inferred and type-checked |
| packages/nixpkgs/emacsPackages.typescript-mode | |
| packages/nixpkgs/haskellPackages.acme-stringly-typed | Stringly Typed Programming |
| packages/nixpkgs/haskellPackages.validated-types | Type-level constraints on strings and other input |
| packages/nixpkgs/haskellPackages.aeson-flowtyped | Create Flow or TypeScript type definitions from Haskell data types |
| packages/nixpkgs/haskellPackages.hpqtypes-extras | Extra utilities for hpqtypes library |
| packages/nixpkgs/haskellPackages.bootstrap-types | Bootstrap CSS Framework type-safe interface |
| packages/nixpkgs/haskellPackages.ansi-terminal-types | Types and functions used to represent SGR aspects |
| packages/nixpkgs/haskellPackages.freetype-simple | Single line text rendering for OpenGL ES |
| packages/nixpkgs/haskellPackages.word-notes-datatype | General datatypes for music creation for one instrument |
| packages/nixpkgs/haskellPackages.typesafe-precure | Type-safe transformations and purifications of PreCures (Japanese Battle Heroine) |
| packages/nixpkgs/haskellPackages.typedquery | Parser for SQL augmented with types |
| packages/nixpkgs/haskellPackages.lawful-classes-types | Types for lawful-classes |
| packages/nixpkgs/texlivePackages.typewriter | Typeset with a randomly variable monospace font |
| packages/nixpkgs/rPackages.circletyper | |
| packages/nixpkgs/rPackages.tarchetypes | |
| packages/nixpkgs/haskellPackages.tahoe-great-black-swamp-types | Types related to implementation of a Tahoe-LAFS Great Black Swamp server |
| packages/nixpkgs/emacsPackages.typewriter-roll-mode | |
| packages/nixpkgs/texlivePackages.typed-checklist | Typesetting tasks, goals, milestones, artifacts, and more in LaTeX |
| packages/nixpkgs/haskellPackages.typed-protocols | A framework for strongly typed protocols |
| packages/nixpkgs/haskellPackages.predicate-typed | Predicates, Refinement types and Dsl |
| packages/nixpkgs/haskellPackages.cryptoids-types | Shared types for encrypting internal object identifiers before exposure |
| packages/nixpkgs/haskellPackages.hypertypes | Typed ASTs |
| packages/nixpkgs/texlivePackages.nanumtype1 | Type1 subfonts of Nanum Korean fonts |
| packages/nixpkgs/texlivePackages.luwiantype | Typesetting package for Hieroglyphic Luwian |
| packages/nixpkgs/texlivePackages.blopentype | A basic LuaTeX OpenType handler |
| packages/nixpkgs/haskellPackages.hasktorch-types-th | C-types for Torch |
| packages/nixpkgs/haskellPackages.concrete-typerep | Binary and Hashable instances for TypeRep |
| packages/nixpkgs/haskellPackages.typed-protocols-doc | Derive documentation from typed-protocols source code |
| packages/nixpkgs/haskellPackages.hasktorch-types-thc | C-types for Cutorch |
| packages/nixpkgs/haskellPackages.oo-prototypes | Support for OO-like prototypes |
| packages/nixpkgs/haskellPackages.newtype-deriving | Instance derivers for newtype wrappers |
| packages/nixpkgs/haskellPackages.newtype-generics | A typeclass and set of functions for working with newtypes |
| packages/nixpkgs/haskellPackages.typescript-docs | A documentation generator for TypeScript Definition files |
| packages/nixpkgs/haskellPackages.sydtest-typed-process | A typed-process companion library for sydtest |
| packages/nixpkgs/haskellPackages.should-not-typecheck | A HUnit/hspec assertion library to verify that an expression does not typecheck |
| packages/nixpkgs/haskellPackages.proto-lens-protobuf-types | Basic protocol buffer message types |
| packages/nixpkgs/haskellPackages.postgresql-typed | PostgreSQL interface with compile-time SQL type checking, optional HDBC backend |
| packages/nixpkgs/haskellPackages.persistent-typed-db | Type safe access to multiple database schemata |
| packages/nixpkgs/haskellPackages.aeson-typescript | Generate TypeScript definition files from your ADTs |
| packages/nixpkgs/haskellPackages.typelevel-rewrite-rules | Solve type equalities using custom type-level rewrite rules |
| packages/nixpkgs/rPackages.genotypeeval | |
| packages/nixpkgs/haskellPackages.pushbullet-types | Datatypes used by the Pushbullet APIs |
| packages/nixpkgs/haskellPackages.linear-core-prototype | Linear core validates optimizations wrt linearity |
| packages/nixpkgs/haskellPackages.ghc-typelits-knownnat | Derive KnownNat constraints from other KnownNat constraints |
| packages/nixpkgs/haskellPackages.gelatin-freetype2 | FreeType2 based text rendering for the gelatin realtime rendering system |
| packages/nixpkgs/haskellPackages.snaplet-typed-sessions | Typed session snaplets and continuation-based programming for the Snap web framework |
| packages/nixpkgs/haskellPackages.hakyll-typescript | Typescript and javascript hakyll compilers |
| packages/nixpkgs/texlivePackages.bxcjkjatype | Typeset Japanese with pdfLaTeX and CJK |
| packages/nixpkgs/haskellPackages.hackertyper | "Hack" like a programmer in movies and games! |
| packages/nixpkgs/haskellPackages.pokemon-go-protobuf-types | Haskell types for the Pokemon Go protobuf protocol |
| packages/nixpkgs/haskellPackages.typecheck-plugin-nat-simple | Simple type check plugin which calculate addition, subtraction and less-or-equal-than |
| packages/nixpkgs/rPackages.PhenotypeSimulator | |
| packages/nixpkgs/haskellPackages.ixset-typed-binary-instance | Binary instance for ixset-typed |
| packages/nixpkgs/haskellPackages.pandoc-types_1_23_1_1 | Types for representing a structured document |
| packages/nixpkgs/haskellPackages.typelits-witnesses | Existential witnesses, singletons, and classes for operations on GHC TypeLits |
| packages/nixpkgs/haskellPackages.ghc-typelits-extra_0_5_2 | Additional type-level operations on GHC |
| packages/nixpkgs/haskellPackages.ghc-typelits-extra_0_5_1 | Additional type-level operations on GHC |
| packages/nixpkgs/haskellPackages.singleton-typelits | Singletons and induction over GHC TypeLits |
| packages/nixpkgs/haskellPackages.tree-sitter-typescript | Tree-sitter grammar/parser for TypeScript |
| packages/nixpkgs/haskellPackages.haskell-typescript | Simple TypeScript API |
| packages/nixpkgs/haskellPackages.servant-typescript | TypeScript client generation for Servant |
| packages/nixpkgs/haskellPackages.typed-encoding-encoding | Bridge between encoding and typed-encoding packages |
| packages/nixpkgs/haskellPackages.coercible-subtypes | Coercible but only in one direction |
| packages/nixpkgs/haskellPackages.hpqtypes-effectful | Adaptation of the hpqtypes library for the effectful ecosystem |
| packages/nixpkgs/haskellPackages.typed-process-effectful | A binding of the typed-process library for the effectful effect system |
| packages/nixpkgs/texlivePackages.umtypewriter | Fonts to typeset with the xgreek package |
| packages/nixpkgs/haskellPackages.yesod-routes-typescript | generate TypeScript routes for Yesod |
| packages/nixpkgs/haskellPackages.typed-spreadsheet | Typed and composable spreadsheets |
| packages/nixpkgs/haskellPackages.scuttlebutt-types | generic types for Secure Scuttlebutt |