| packages/nixpkgs/sbclPackages.type-i_dot_test | |
| packages/nixpkgs/haskellPackages.type-level-bst | type-level binary search trees in haskell |
| packages/nixpkgs/python313Packages.type-infer | Automated type inference for Machine Learning pipelines |
| packages/nixpkgs/python314Packages.type-infer | Automated type inference for Machine Learning pipelines |
| 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-cereal | Type-level serialization of type constructors |
| packages/nixpkgs/haskellPackages.primes-type | Type-safe prime numbers |
| packages/nixpkgs/haskellPackages.type-errors | Tools for writing better type errors |
| packages/nixpkgs/haskellPackages.type-digits | Arbitrary-base type-level digits |
| 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/haskellPackages.type-level-kv-list | Type level Key-Value list |
| packages/nixpkgs/emacsPackages.pretend-type | |
| packages/nixpkgs/sbclPackages.ctype | |
| packages/nixpkgs/sbclPackages.gtype | |
| packages/nixpkgs/haskellPackages._type | Dynamic casting library with support for arbitrary rank type kinds |
| 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/python313Packages.google-geo-type | Google Geo Type API client library |
| packages/nixpkgs/python314Packages.google-geo-type | Google Geo Type API client library |
| packages/nixpkgs/rPackages.rtype | |
| packages/nixpkgs/rPackages.types | |
| packages/nixpkgs/rPackages.ztype | |
| packages/nixpkgs/rPackages.typed | |
| packages/nixpkgs/rPackages.vtype | |
| packages/nixpkgs/haskellPackages.compare-type | compare types of any kinds in haskell |
| packages/nixpkgs/ocamlPackages.type_id | Type identifiers, useful for runtime type-safe casting/coersions |
| packages/nixpkgs/texlivePackages.wasy-type1 | Type 1 versions of wasy fonts |
| packages/nixpkgs/chickenPackages_5.chickenEggs.gl-type | Freetype font rendering in OpenGL |
| packages/nixpkgs/python312Packages.type-infer | Automated type inference for Machine Learning pipelines |
| packages/nixpkgs/ocamlPackages.type_eq | Type equality proofs for OCaml 4 |
| packages/nixpkgs/haskellPackages.haskell-type-exts | A type checker for Haskell/haskell-src-exts |
| packages/nixpkgs/haskellPackages.type-ord-spine-cereal | Generic type-level comparison of types |
| packages/nixpkgs/haskellPackages.font-awesome-type | A Font Awesome data type enumerating all icon classes |
| packages/nixpkgs/sbclPackages.type-templates | |
| 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/sbclPackages.file-types | |
| packages/nixpkgs/sbclPackages.lisp-types | |
| packages/nixpkgs/haskellPackages.type-level-numbers | Type level numbers implemented using type families |
| packages/nixpkgs/xorg.fontbhtype1 | |
| packages/nixpkgs/haskellPackages.type-errors-pretty | Combinators for writing pretty type errors easily |
| packages/nixpkgs/haskellPackages.type-equality | Data |
| packages/nixpkgs/rPackages.Stype_est | |
| packages/nixpkgs/sbclPackages.cl-glfw-types | |
| packages/nixpkgs/sbclPackages.cl-form-types | |
| 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/ocamlPackages.caqti-type-calendar | Date and time field types using the calendar library |
| packages/nixpkgs/python312Packages.google-geo-type | Google Geo Type API client library |
| packages/nixpkgs/sbclPackages.cl-algebraic-data-type | |
| packages/nixpkgs/texlivePackages.stix2-type1 | Type1 versions of the STIX Two OpenType fonts |
| packages/nixpkgs/ocamlPackages_latest.type_id | Type identifiers, useful for runtime type-safe casting/coersions |
| packages/nixpkgs/python312Packages.types-typed-ast | Typing stubs for typed-ast |
| packages/nixpkgs/python313Packages.types-typed-ast | Typing stubs for typed-ast |
| packages/nixpkgs/wtype | xdotool type for wayland |
| packages/nixpkgs/haskellPackages.ntype | N-ary sum/product types |
| packages/nixpkgs/sbclPackages.media-types | |
| packages/nixpkgs/xorg.fontibmtype1 | |
| packages/nixpkgs/haskellPackages.type-indexed-queues | Queues with verified and unverified versions |
| packages/nixpkgs/ocamlPackages_latest.type_eq | Type equality proofs for OCaml 4 |
| packages/nixpkgs/haskellPackages.type-structure | Type structure analysis |
| packages/nixpkgs/ocamlPackages.ctypes | Library for binding to C libraries using pure OCaml |
| packages/nixpkgs/haskellPackages.type-equality-check | Type equality check |
| packages/nixpkgs/haskellPackages.type-functions | Emulation of type-level functions |
| 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/sbclPackages.lisp-types-test | |
| packages/nixpkgs/haskellPackages.clr-typed | A strongly typed Haskell interface to the CLR type system |
| packages/nixpkgs/texlivePackages.type1cm | Arbitrary size font selection in LaTeX |
| packages/nixpkgs/python313Packages.eval-type-backport | Like `typing._eval_type`, but lets older Python versions use newer typing features |
| packages/nixpkgs/python314Packages.eval-type-backport | Like `typing._eval_type`, but lets older Python versions use newer typing features |
| packages/nixpkgs/haskellPackages.generic-type-asserts | Structural assertions on generic type representations |
| packages/nixpkgs/python313Packages.typer | Library for building CLI applications |
| packages/nixpkgs/python314Packages.typer | Library for building CLI applications |
| packages/nixpkgs/phpExtensions.ctype | PHP upstream extension: ctype |
| packages/nixpkgs/ocamlPackages_latest.caqti-type-calendar | Date and time field types using the calendar library |
| 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/haskellPackages.row-types | Open Records and Variants |
| packages/nixpkgs/haskellPackages.wkt-types | A library for working with .wkt files. |
| packages/nixpkgs/haskellPackages.typed-fsm | A framework for strongly typed FSM |
| packages/nixpkgs/haskellPackages.xml-types | Basic types for representing XML |
| packages/nixpkgs/haskellPackages.dtd-types | Basic types for representing XML DTDs |
| packages/nixpkgs/haskellPackages.typed-gui | GUI framework based on typed-fsm |
| packages/nixpkgs/haskellPackages.xcb-types | Parses XML files used by the XCB project |
| packages/nixpkgs/haskellPackages.lsp-types | Haskell library for the Microsoft Language Server Protocol, data types |
| packages/nixpkgs/typer | Typing test in your terminal |
| packages/nixpkgs/font-bh-type1 | Luxi PostScript Type 1 fonts |
| packages/nixpkgs/ocamlPackages.posix-types | Bindings for the types defined in <sys/types.h> |
| packages/nixpkgs/gnomeExtensions.switch-focus-type | Toggle between focus-follow-mouse and click-to-focus mode |
| packages/nixpkgs/haskellPackages.typed-wire | Language-independent type-safe communication |