| packages/nixpkgs/font-bh-type1 | Luxi PostScript Type 1 fonts |
| packages/nixpkgs/ttyper | Terminal-based typing test |
| packages/nixpkgs/font-ibm-type1 | IBM Courier Type1 fonts |
| packages/nixpkgs/haskellPackages.type-eq | Type equality evidence you can carry around |
| packages/nixpkgs/haskellPackages.type-set | Type set |
| packages/nixpkgs/haskellPackages.type-map | Type-indexed maps |
| packages/nixpkgs/haskellPackages.type-ord | Type-level comparison operator |
| packages/nixpkgs/haskellPackages.type-fun | Collection of widely reimplemented type families |
| packages/nixpkgs/haskellPackages.type-int | Type Level 2s- and 16s- Complement Integers |
| packages/nixpkgs/haskellPackages.type-iso | Typeclasses for injective relations and isomorphisms between types |
| packages/nixpkgs/haskellPackages.type-rig | Classes for the rig (sums and products) of types |
| packages/nixpkgs/haskellPackages.type-sub-th | Substitute types for other types with Template Haskell |
| packages/nixpkgs/haskellPackages.lift-type | Lift a type from a Typeable constraint to a Template Haskell type |
| packages/nixpkgs/emacsPackages.speed-type | |
| packages/nixpkgs/haskellPackages.type-sets | Type-level sets |
| packages/nixpkgs/haskellPackages.type-spec | Type Level Specification by Example |
| packages/nixpkgs/haskellPackages.type-list | Operations on type-level lists and tuples |
| packages/nixpkgs/haskellPackages.type-hint | Guide type inference with proxy values |
| packages/nixpkgs/haskellPackages.data-type | Basic type wrangling types and classes |
| packages/nixpkgs/typeinc | Terminal tool to test your typing speed with various difficulty levels |
| packages/nixpkgs/haskellPackages.type-flip | |
| packages/nixpkgs/haskellPackages.type-tree | Tree representations of datatypes |
| packages/nixpkgs/haskellPackages.show-type | convert types into string values in haskell |
| packages/nixpkgs/haskellPackages.fake-type | A crossplatform library to simulate keyboard input |
| packages/nixpkgs/haskellPackages.type-of-html | High performance type driven html generation |
| packages/nixpkgs/haskellPackages.json-to-type | Automatic type declaration for JSON input data |
| packages/nixpkgs/haskellPackages._type | Dynamic casting library with support for arbitrary rank type kinds |
| packages/nixpkgs/emacsPackages.plz-media-type | |
| packages/nixpkgs/haskellPackages.type-safe-avl | Type safe BST and AVL trees |
| packages/nixpkgs/haskellPackages.type-cache | Utilities for caching type families results |
| packages/nixpkgs/haskellPackages.type-level | Type-level programming library |
| packages/nixpkgs/haskellPackages.stack-type | The basic stack type |
| packages/nixpkgs/haskellPackages.regex-type | Type-level regular expressions |
| packages/nixpkgs/haskellPackages.image-type | Determine the type of an image by reading the first bytes |
| packages/nixpkgs/haskellPackages.type-unary | Type-level and typed unary natural numbers, inequality proofs, vectors |
| packages/nixpkgs/haskellPackages.type-level-tf | Type-level programming library (type families) |
| packages/nixpkgs/haskellPackages.type-spine | A spine-view on types |
| packages/nixpkgs/league-of-moveable-type | Font Collection by The League of Moveable Type |
| packages/nixpkgs/haskellPackages.type-level-bst | type-level binary search trees in haskell |
| packages/nixpkgs/haskellPackages.type-cereal | Type-level serialization of type constructors |
| packages/nixpkgs/haskellPackages.type-digits | Arbitrary-base type-level digits |
| packages/nixpkgs/haskellPackages.type-errors | Tools for writing better type errors |
| packages/nixpkgs/haskellPackages.primes-type | Type-safe prime numbers |
| packages/nixpkgs/haskellPackages.type-level-prng | Type level pseudorandom number generators |
| packages/nixpkgs/haskellPackages.type-level-show | Utilities for writing Show-like type families |
| packages/nixpkgs/haskellPackages.type-level-sets | Type-level sets and finite maps (with value-level counterparts) |
| packages/nixpkgs/emacsPackages.pretend-type | |
| packages/nixpkgs/haskellPackages.type-level-kv-list | Type level Key-Value list |
| packages/nixpkgs/font-xfree86-type1 | XFree86 Cusrsor Postscript Type 1 Font |
| packages/nixpkgs/teamtype | Real-time co-editing of local text files |
| packages/nixpkgs/randtype | Semi-random text typer |
| packages/nixpkgs/freetype | Font rendering engine |
| packages/nixpkgs/haskellPackages.type-compare | Type-level Ord compatibility layer |
| packages/nixpkgs/haskellPackages.type-natural | Type-level natural and proofs of their properties |
| packages/nixpkgs/haskellPackages.type-machine | Type-level functions for record types |
| packages/nixpkgs/haskellPackages.type-aligned | Various type-aligned sequence data structures |
| packages/nixpkgs/haskellPackages.type-of-html-static | Optimize static parts of type-of-html |
| packages/nixpkgs/haskellPackages.type-prelude | Partial port of prelude to the type level |
| packages/nixpkgs/haskellPackages.compare-type | compare types of any kinds in haskell |
| packages/nixpkgs/font-adobe-utopia-type1 | Adobe Utopia PostScript Type 1 fonts |
| packages/nixpkgs/rPackages.typed | |
| packages/nixpkgs/rPackages.types | |
| packages/nixpkgs/rPackages.rtype | |
| packages/nixpkgs/rPackages.vtype | |
| packages/nixpkgs/rPackages.ztype | |
| packages/nixpkgs/ctypes_sh | Foreign function interface for bash |
| packages/nixpkgs/chickenPackages_5.chickenEggs.gl-type | Freetype font rendering in OpenGL |
| packages/nixpkgs/haskellPackages.type-ord-spine-cereal | Generic type-level comparison of types |
| packages/nixpkgs/haskellPackages.haskell-type-exts | A type checker for Haskell/haskell-src-exts |
| packages/nixpkgs/haskellPackages.font-awesome-type | A Font Awesome data type enumerating all icon classes |
| packages/nixpkgs/haskellPackages.type-booleans | Type-level booleans via type-families |
| packages/nixpkgs/haskellPackages.type-level-numbers | Type level numbers implemented using type families |
| packages/nixpkgs/haskellPackages.type-errors-pretty | Combinators for writing pretty type errors easily |
| packages/nixpkgs/haskellPackages.type-equality | Data |
| packages/nixpkgs/paratype-pt-sans | Open Paratype font |
| packages/nixpkgs/paratype-pt-mono | Open Paratype font |
| packages/nixpkgs/typeshare | Command Line Tool for generating language files with typeshare |
| packages/nixpkgs/rPackages.Stype_est | |
| packages/nixpkgs/typespeed | Curses based typing game |
| packages/nixpkgs/texlivePackages.wasy-type1 | Type 1 versions of wasy fonts |
| 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/texlivePackages.esint-type1 | Font esint10 in Type 1 format |
| 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/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 |