| packages/nixpkgs/wtype | xdotool type for wayland |
| packages/nixpkgs/typer | Typing test in your terminal |
| 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/tuxtype | Educational Typing Tutor Game Starring Tux, the Linux Penguin |
| 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/python314Packages.type-infer | Automated type inference for Machine Learning pipelines |
| packages/nixpkgs/python313Packages.type-infer | Automated type inference for Machine Learning pipelines |
| 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/python313Packages.parse-type | Simplifies to build parse types based on the parse module |
| packages/nixpkgs/python314Packages.parse-type | Simplifies to build parse types based on the parse module |
| 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/python314Packages.google-geo-type | Google Geo Type API client library |
| packages/nixpkgs/python313Packages.google-geo-type | Google Geo Type API client library |
| packages/nixpkgs/rPackages.typed | |
| packages/nixpkgs/rPackages.types | |
| packages/nixpkgs/rPackages.ztype | |
| packages/nixpkgs/rPackages.rtype | |
| packages/nixpkgs/rPackages.vtype | |
| packages/nixpkgs/python312Packages.type-infer | Automated type inference for Machine Learning pipelines |
| 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/python312Packages.parse-type | Simplifies to build parse types based on the parse module |
| 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/ocamlPackages.caqti-type-calendar | Date and time field types using the calendar library |
| packages/nixpkgs/ocamlPackages.type_id | Type identifiers, useful for runtime type-safe casting/coersions |
| packages/nixpkgs/python312Packages.google-geo-type | Google Geo Type API client library |
| packages/nixpkgs/typesense | Fast, typo-tolerant search engine for building delightful search experiences |
| 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/ocamlPackages.type_eq | Type equality proofs for OCaml 4 |
| packages/nixpkgs/typespeed | Curses based typing game |
| packages/nixpkgs/python312Packages.types-typed-ast | Typing stubs for typed-ast |
| packages/nixpkgs/python313Packages.types-typed-ast | Typing stubs for typed-ast |
| packages/nixpkgs/parlatype | GNOME audio player for transcription |
| packages/nixpkgs/texlivePackages.wasy-type1 | Type 1 versions of wasy fonts |
| packages/nixpkgs/amphetype | Advanced typing practice program |