| packages/nixpkgs/haskellPackages.unittyped | An extendable library for type-safe computations including units |
| packages/nixpkgs/haskellPackages.indextype | A series of type families and constraints for "indexable" types |
| packages/nixpkgs/rPackages.archetyper | |
| packages/nixpkgs/rPackages.haplotyper | |
| packages/nixpkgs/rPackages.archetypes | |
| packages/nixpkgs/rPackages.haplotypes | |
| packages/nixpkgs/haskellPackages.typechain | An implementation of LangChain in Haskell |
| packages/nixpkgs/emacsPackages.dired-filetype-face | |
| packages/nixpkgs/haskellPackages.crypton-asn1-types | ASN.1 types |
| packages/nixpkgs/haskellPackages.data-msgpack-types | A Haskell implementation of MessagePack |
| packages/nixpkgs/haskellPackages.twitter-types-lens | Twitter JSON types (lens powered) |
| packages/nixpkgs/haskellPackages.network-types-icmp | Types for representing ICMP and ICMPv6 messages |
| packages/nixpkgs/haskellPackages.casr-logbook-types | CASR 61.345 Pilot Personal Logbook |
| packages/nixpkgs/haskellPackages.ucam-webauth-types | Types for the Ucam-Webauth protocol, as used by Raven |
| packages/nixpkgs/haskellPackages.beam-newtype-field | A newtype for wrapping newtypes into beam schemas |
| packages/nixpkgs/haskellPackages.typedflow | Typed frontend to TensorFlow and higher-order deep learning |
| packages/nixpkgs/haskellPackages.finite-typelits | A type inhabited by finitely many values, indexed by type-level naturals |
| packages/nixpkgs/haskellPackages.ghc-typelits-extra | Additional type-level operations on GHC |
| packages/nixpkgs/haskellPackages.th-typegraph | Graph of the subtype relation |
| packages/nixpkgs/haskellPackages.lens-typelevel | Type-level lenses using singletons |
| packages/nixpkgs/haskellPackages.lsp-types_2_1_1_0 | Haskell library for the Microsoft Language Server Protocol, data types |
| packages/nixpkgs/haskellPackages.typed-duration | Thread delay and timeout functions with typed arguments |
| packages/nixpkgs/haskellPackages.freetype2 | Haskell bindings for FreeType 2 library |
| packages/nixpkgs/texlivePackages.qualitype | The QualiType font collection |
| packages/nixpkgs/texlivePackages.quicktype | LaTeX package for quick typesetting |
| packages/nixpkgs/haskellPackages.geodetic-types | Types for geodetic operations |
| packages/nixpkgs/haskellPackages.compound-types | Sum and Product types and such |
| packages/nixpkgs/haskellPackages.password-types | Types for handling passwords |
| 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/haskellPackages.prototype | prototype-based programming on Haskell |
| packages/nixpkgs/texlivePackages.microtype | Subliminal refinements towards typographical perfection |
| 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/chickenPackages_5.chickenEggs.doctype | Exports strings corresponding to standard XML (XHTML, HTML) doctypes |
| packages/nixpkgs/xorg.fontxfree86type1 | |
| 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/chickenPackages_5.chickenEggs.freetype | Freetype2 Interface |
| 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/chickenPackages_5.chickenEggs.datatype | A facility for creating and deconstructing variant records (from EOPL) |
| packages/nixpkgs/chickenPackages_5.chickenEggs.typeclass | Type classes |
| packages/nixpkgs/haskellPackages.postgresql-typed | PostgreSQL interface with compile-time SQL type checking, optional HDBC backend |
| packages/nixpkgs/chickenPackages_5.chickenEggs.typed-records | Typed variants of various record-definition macros |
| packages/nixpkgs/haskellPackages.persistent-typed-db | Type safe access to multiple database schemata |