| wtype | xdotool type for wayland |
| typer | Typing test in your terminal |
| font-bh-type1 | Luxi PostScript Type 1 fonts |
| font-ibm-type1 | IBM Courier Type1 fonts |
| ttyper | Terminal-based typing test |
| haskellPackages.type-eq | Type equality evidence you can carry around |
| haskellPackages.type-set | Type set |
| haskellPackages.type-map | Type-indexed maps |
| haskellPackages.type-ord | Type-level comparison operator |
| haskellPackages.type-fun | Collection of widely reimplemented type families |
| haskellPackages.type-int | Type Level 2s- and 16s- Complement Integers |
| haskellPackages.type-iso | Typeclasses for injective relations and isomorphisms between types |
| haskellPackages.type-rig | Classes for the rig (sums and products) of types |
| haskellPackages.type-sub-th | Substitute types for other types with Template Haskell |
| haskellPackages.lift-type | Lift a type from a Typeable constraint to a Template Haskell type |
| emacsPackages.speed-type | |
| haskellPackages.type-sets | Type-level sets |
| haskellPackages.type-spec | Type Level Specification by Example |
| haskellPackages.type-list | Operations on type-level lists and tuples |
| haskellPackages.type-hint | Guide type inference with proxy values |
| haskellPackages.data-type | Basic type wrangling types and classes |
| tuxtype | Educational Typing Tutor Game Starring Tux, the Linux Penguin |
| typeinc | Terminal tool to test your typing speed with various difficulty levels |
| haskellPackages.type-flip | |
| haskellPackages.type-tree | Tree representations of datatypes |
| haskellPackages.show-type | convert types into string values in haskell |
| haskellPackages.fake-type | A crossplatform library to simulate keyboard input |
| haskellPackages.type-of-html | High performance type driven html generation |
| haskellPackages.json-to-type | Automatic type declaration for JSON input data |
| haskellPackages._type | Dynamic casting library with support for arbitrary rank type kinds |
| emacsPackages.plz-media-type | |
| haskellPackages.type-safe-avl | Type safe BST and AVL trees |
| haskellPackages.type-cache | Utilities for caching type families results. Sometimes complex type families take long time to compile, so it is proficient to cache them and use the final result without the need of re-computation. |
| haskellPackages.type-level | Type-level programming library |
| haskellPackages.stack-type | The basic stack type |
| haskellPackages.regex-type | Type-level regular expressions |
| haskellPackages.image-type | Determine the type of an image by reading the first bytes |
| haskellPackages.type-unary | Type-level and typed unary natural numbers, inequality proofs, vectors |
| haskellPackages.type-level-tf | Type-level programming library (type families) |
| haskellPackages.type-spine | A spine-view on types |
| league-of-moveable-type | Font Collection by The League of Moveable Type |
| haskellPackages.type-level-bst | type-level binary search trees in haskell |
| haskellPackages.type-cereal | Type-level serialization of type constructors |
| python313Packages.type-infer | Automated type inference for Machine Learning pipelines |
| python314Packages.type-infer | Automated type inference for Machine Learning pipelines |
| haskellPackages.type-digits | Arbitrary-base type-level digits |
| haskellPackages.type-errors | Tools for writing better type errors |
| haskellPackages.primes-type | Type-safe prime numbers |
| haskellPackages.type-level-prng | Type level pseudorandom number generators |
| haskellPackages.type-level-show | Utilities for writing Show-like type families |
| haskellPackages.type-level-sets | Type-level sets and finite maps (with value-level counterparts) |
| emacsPackages.pretend-type | |
| python313Packages.parse-type | Simplifies to build parse types based on the parse module |
| python314Packages.parse-type | Simplifies to build parse types based on the parse module |
| haskellPackages.type-level-kv-list | Type level Key-Value list |
| font-xfree86-type1 | XFree86 Cusrsor Postscript Type 1 Font |
| teamtype | Real-time co-editing of local text files |
| randtype | Semi-random text typer |
| freetype | Font rendering engine |
| haskellPackages.type-compare | Type-level Ord compatibility layer |
| haskellPackages.type-natural | Type-level natural and proofs of their properties |
| haskellPackages.type-machine | Type-level functions for record types |
| haskellPackages.type-aligned | Various type-aligned sequence data structures |
| haskellPackages.type-of-html-static | Optimize static parts of type-of-html |
| haskellPackages.type-prelude | Partial port of prelude to the type level. Requires GHC 7.6.1. |
| haskellPackages.compare-type | compare types of any kinds in haskell |
| font-adobe-utopia-type1 | Adobe Utopia PostScript Type 1 fonts |
| python313Packages.google-geo-type | Google Geo Type API client library |
| python314Packages.google-geo-type | Google Geo Type API client library |
| rPackages.typed | |
| rPackages.types | |
| python312Packages.type-infer | Automated type inference for Machine Learning pipelines |
| rPackages.rtype | |
| rPackages.ztype | |
| rPackages.vtype | |
| chickenPackages_5.chickenEggs.gl-type | Freetype font rendering in OpenGL |
| ctypes_sh | Foreign function interface for bash |
| haskellPackages.type-ord-spine-cereal | Generic type-level comparison of types |
| haskellPackages.haskell-type-exts | A type checker for Haskell/haskell-src-exts |
| haskellPackages.font-awesome-type | A Font Awesome data type enumerating all icon classes |
| python312Packages.parse-type | Simplifies to build parse types based on the parse module |
| haskellPackages.type-booleans | Type-level booleans via type-families |
| haskellPackages.type-level-numbers | Type level numbers implemented using type families |
| haskellPackages.type-errors-pretty | Combinators for writing pretty type errors easily |
| haskellPackages.type-equality | Data.Type.Equality compat package |
| ocamlPackages.caqti-type-calendar | Date and time field types using the calendar library |
| ocamlPackages.type_id | Type identifiers, useful for runtime type-safe casting/coersions |
| python312Packages.google-geo-type | Google Geo Type API client library |
| typesense | Fast, typo-tolerant search engine for building delightful search experiences |
| paratype-pt-sans | Open Paratype font |
| paratype-pt-mono | Open Paratype font |
| ocamlPackages.type_eq | Type equality proofs for OCaml 4 |
| typeshare | Command Line Tool for generating language files with typeshare |
| rPackages.Stype_est | |
| typespeed | Curses based typing game |
| python312Packages.types-typed-ast | Typing stubs for typed-ast |
| python313Packages.types-typed-ast | Typing stubs for typed-ast |
| quicktype | Generate types and converters from JSON, Schema, and GraphQL |
| parlatype | GNOME audio player for transcription |
| texlivePackages.wasy-type1 | Type 1 versions of wasy fonts |