| sbclPackages.type-r | |
| sbclPackages.type-i | |
| sbclPackages.cl-glfw-opengl-amd__name__gen__delete | |
| 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.lift-type | Lift a type from a Typeable constraint to a Template Haskell type |
| haskellPackages.type-sub-th | Substitute types for other types with Template Haskell |
| haskellPackages.type-sets | Type-level sets |
| haskellPackages.type-spec | Type Level Specification by Example |
| haskellPackages.data-type | Basic type wrangling types and classes |
| haskellPackages.type-list | Operations on type-level lists and tuples |
| haskellPackages.type-hint | Guide type inference with proxy values |
| haskellPackages.type-flip | |
| haskellPackages.type-tree | Tree representations of datatypes |
| haskellPackages.fake-type | A crossplatform library to simulate keyboard input |
| haskellPackages.show-type | convert types into string values in haskell |
| emacsPackages.speed-type | |
| haskellPackages.json-to-type | Automatic type declaration for JSON input data |
| haskellPackages.type-of-html | High performance type driven html generation |
| 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. |
| emacsPackages.plz-media-type | |
| haskellPackages.stack-type | The basic stack type |
| haskellPackages.type-level | Type-level programming library |
| 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 |
| sbclPackages.type-r_dot_test | |
| sbclPackages.type-i_dot_test | |
| python313Packages.type-infer | Automated type inference for Machine Learning pipelines |
| python314Packages.type-infer | Automated type inference for Machine Learning pipelines |
| haskellPackages.type-level-bst | type-level binary search trees in haskell |
| haskellPackages.type-cereal | Type-level serialization of type constructors |
| 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.primes-type | Type-safe prime numbers |
| haskellPackages.type-digits | Arbitrary-base type-level digits |
| haskellPackages.type-errors | Tools for writing better type errors |
| 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) |
| haskellPackages.type-level-kv-list | Type level Key-Value list |
| sbclPackages.gtype | |
| sbclPackages.ctype | |
| emacsPackages.pretend-type | |
| haskellPackages._type | Dynamic casting library with support for arbitrary rank type kinds |
| python313Packages.google-geo-type | Google Geo Type API client library |
| python314Packages.google-geo-type | Google Geo Type API client library |
| 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. |
| ocamlPackages.type_id | Type identifiers, useful for runtime type-safe casting/coersions |
| haskellPackages.compare-type | compare types of any kinds in haskell |
| python312Packages.type-infer | Automated type inference for Machine Learning pipelines |
| rPackages.rtype | |
| rPackages.ztype | |
| rPackages.typed | |
| rPackages.types | |
| rPackages.vtype | |
| texlivePackages.wasy-type1 | Type 1 versions of wasy fonts |
| ocamlPackages.type_eq | Type equality proofs for OCaml 4 |
| chickenPackages_5.chickenEggs.gl-type | Freetype font rendering in OpenGL |
| sbclPackages.type-templates | |
| haskellPackages.haskell-type-exts | A type checker for Haskell/haskell-src-exts |
| haskellPackages.type-ord-spine-cereal | Generic type-level comparison of types |
| haskellPackages.font-awesome-type | A Font Awesome data type enumerating all icon classes |
| haskellPackages.type-booleans | Type-level booleans via type-families |
| python312Packages.parse-type | Simplifies to build parse types based on the parse module |
| sbclPackages.lisp-types | |
| sbclPackages.file-types | |
| haskellPackages.type-level-numbers | Type level numbers implemented using type families |
| haskellPackages.type-errors-pretty | Combinators for writing pretty type errors easily |
| xorg.fontbhtype1 | |
| sbclPackages.cl-glfw-types | |
| sbclPackages.cl-form-types | |
| haskellPackages.type-equality | Data.Type.Equality compat package |
| texlivePackages.esint-type1 | Font esint10 in Type 1 format |
| texlivePackages.bbold-type1 | An Adobe Type 1 format version of the bbold font |
| python312Packages.google-geo-type | Google Geo Type API client library |
| texlivePackages.ipaex-type1 | IPAex fonts converted to Type-1 format Unicode subfonts |
| wtype | xdotool type for wayland |
| sbclPackages.cl-algebraic-data-type | |
| ocamlPackages_latest.type_id | Type identifiers, useful for runtime type-safe casting/coersions |
| ocamlPackages.caqti-type-calendar | Date and time field types using the calendar library |
| rPackages.Stype_est | |
| texlivePackages.stix2-type1 | Type1 versions of the STIX Two OpenType fonts |
| ocamlPackages_latest.type_eq | Type equality proofs for OCaml 4 |
| sbclPackages.media-types | |
| python312Packages.types-typed-ast | Typing stubs for typed-ast |