| packages/nixpkgs/haskellPackages.polytypeable | Typeable for polymorphic types |
| packages/nixpkgs/haskellPackages.postgresql-simple-typed | Typed extension for PostgreSQL simple |
| packages/nixpkgs/haskellPackages.csound-expression-typed | typed core for the library csound-expression |
| packages/nixpkgs/haskellPackages.postgresql-typed-lifted | postgresql-typed operations lifted to any instance of MonadBase or MonadBaseControl |
| packages/nixpkgs/haskellPackages.ghc-typelits-presburger | Presburger Arithmetic Solver for GHC Type-level natural numbers |
| packages/nixpkgs/rPackages.mutationtypes | |
| packages/nixpkgs/haskellPackages.sessiontypes | Session types library |
| packages/nixpkgs/haskellPackages.minitypeset-opengl | Layout and render text with TrueType fonts using OpenGL |
| packages/nixpkgs/haskellPackages.language-typescript | A library for working with TypeScript Definition files |
| packages/nixpkgs/haskellPackages.bytestring-typenats | Bytestrings with typenat lengths |
| packages/nixpkgs/haskellPackages.genvalidity-typed-uuid | Generators for Phantom-Typed version of UUID |
| packages/nixpkgs/haskellPackages.accelerate-typelits | a typesafe way encode accelerate matrices and vectors |
| packages/nixpkgs/haskellPackages.ixset-typed-hashable-instance | Hashable instance for ixset-typed |
| packages/nixpkgs/texlivePackages.context-typescripts | Small modules to load various fonts for use in ConTeXt |
| packages/nixpkgs/haskellPackages.persistable-types-HDBC-pg | HDBC and Relational-Record instances of PostgreSQL extended types |
| packages/nixpkgs/haskellPackages.ansi-terminal-types_0_11_5 | Types and functions used to represent SGR aspects |
| packages/nixpkgs/haskellPackages.typed-session-state-algorithm | Automatically generate status for typed-session |
| packages/nixpkgs/haskellPackages.register-machine-typelevel | A computationally universal register machine implementation at the type-level |
| packages/nixpkgs/haskellPackages.ixset-typed-conversions | Conversions from ixset-typed to other containers |
| packages/nixpkgs/haskellPackages.polytypeable-utils | Utilities for polytypeable |
| packages/nixpkgs/rPackages.assertive_types | |
| packages/nixpkgs/vimPlugins.nvim-treesitter-parsers.typespec | Tree-sitter grammar for typespec |
| packages/nixpkgs/haskellPackages.aeson-generics-typescript | Generates TypeScript definitions that match Generic Aeson encodings |
| packages/nixpkgs/texlivePackages.lcdftypetools | A bundle of outline font manipulation tools |
| packages/nixpkgs/haskellPackages.hpqtypes_1_14_0_0 | Haskell bindings to libpqtypes |
| packages/nixpkgs/haskellPackages.proto-lens-protobuf-types_0_7_2_2 | Basic protocol buffer message types |
| packages/nixpkgs/maple-mono.opentype | Open source OpenType font with round corner and ligatures for IDE and command line
|
| packages/nixpkgs/maple-mono.truetype | Open source monospace TrueType font with round corner and ligatures for IDE and command line
|
| packages/nixpkgs/haskellPackages.hasktorch-signatures-types | Core types for Hasktorch backpack signatures |
| packages/nixpkgs/haskellPackages.microformats2-types | Microformats 2 types (with Aeson instances) |
| packages/nixpkgs/texlivePackages.typeoutfileinfo | Display class/package/file information |
| packages/nixpkgs/haskellPackages.hetero-parameter-list-with-typelevel-tools | Hetero parameter list with type level tools |
| packages/nixpkgs/vimPlugins.nvim-treesitter-parsers.typescript | Tree-sitter grammar for typescript |
| packages/nixpkgs/haskellPackages.ghc-typelits-natnormalise | GHC typechecker plugin for types of kind GHC |
| packages/nixpkgs/haskellPackages.servant-aeson-generics-typescript | Generates a TypeScript client for Servant APIs |
| packages/nixpkgs/haskellPackages.hpqtypes-extras_1_17_0_1 | Extra utilities for hpqtypes library |
| packages/nixpkgs/haskellPackages.hpqtypes-extras_1_19_0_0 | Extra utilities for hpqtypes library |
| packages/nixpkgs/haskellPackages.ghc-typelits-knownnat_0_8_2 | Derive KnownNat constraints from other KnownNat constraints |
| packages/nixpkgs/haskellPackages.coercible-subtypes-profunctor | Combine profunctors with coercible-subtypes |
| packages/nixpkgs/vimPlugins.context_filetype-vim | |
| packages/nixpkgs/haskellPackages.phladiprelio-general-datatype | Extended functionality of PhLADiPreLiO |
| packages/nixpkgs/haskellPackages.typecheck-plugin-nat-simple_0_1_0_11 | Simple type check plugin which calculate addition, subtraction and less-or-equal-than |
| packages/nixpkgs/haskellPackages.typecheck-plugin-nat-simple_0_1_0_12 | Simple type check plugin which calculate addition, subtraction and less-or-equal-than |
| packages/nixpkgs/haskellPackages.sessiontypes-distributed | Session types distributed |
| packages/nixpkgs/maple-mono.truetype-autohint | Open source monospace ttf autohint font with round corner and ligatures for IDE and command line
|
| packages/nixpkgs/haskellPackages.ghc-typelits-natnormalise_0_9_1 | GHC typechecker plugin for types of kind GHC |
| packages/nixpkgs/haskellPackages.ghc-typelits-natnormalise_0_9_3 | GHC typechecker plugin for types of kind GHC |
| packages/nixpkgs/haskellPackages.ghc-typelits-natnormalise_0_7_11 | GHC typechecker plugin for types of kind GHC |
| packages/nixpkgs/haskellPackages.ghc-typelits-natnormalise_0_7_12 | GHC typechecker plugin for types of kind GHC |
| packages/nixpkgs/vimPlugins.nvim-treesitter-parsers.glimmer_typescript | Tree-sitter grammar for glimmer_typescript |
| packages/nixpkgs/perlPackages.TypeTinyXS | Provides an XS boost for some of Type::Tiny's built-in type constraints |
| packages/nixpkgs/perl5Packages.TypeTinyXS | Provides an XS boost for some of Type::Tiny's built-in type constraints |
| packages/nixpkgs/perlPackages.FileType | Uses magic numbers (typically at the start of a file) to determine the MIME type of that file |
| packages/nixpkgs/perl5Packages.FileType | Uses magic numbers (typically at the start of a file) to determine the MIME type of that file |
| packages/nixpkgs/perlPackages.TypeTiny | Tiny, yet Moo(se)-compatible type constraint |
| packages/nixpkgs/perl5Packages.TypeTiny | Tiny, yet Moo(se)-compatible type constraint |
| packages/nixpkgs/perlPackages.TestDeepType | Test::Deep plugin for validating type constraints |
| packages/nixpkgs/perl5Packages.TestDeepType | Test::Deep plugin for validating type constraints |
| packages/nixpkgs/perl538Packages.TypeTinyXS | Provides an XS boost for some of Type::Tiny's built-in type constraints |
| packages/nixpkgs/perl540Packages.TypeTinyXS | Provides an XS boost for some of Type::Tiny's built-in type constraints |
| packages/nixpkgs/perlPackages.ScalarType | Figure out what type a scalar is |
| packages/nixpkgs/perl5Packages.ScalarType | Figure out what type a scalar is |
| packages/nixpkgs/perl538Packages.FileType | Uses magic numbers (typically at the start of a file) to determine the MIME type of that file |
| packages/nixpkgs/perl540Packages.FileType | Uses magic numbers (typically at the start of a file) to determine the MIME type of that file |
| packages/nixpkgs/perl538Packages.TestDeepType | Test::Deep plugin for validating type constraints |
| packages/nixpkgs/perl540Packages.TestDeepType | Test::Deep plugin for validating type constraints |
| packages/nixpkgs/perl540Packages.TypeTiny | Tiny, yet Moo(se)-compatible type constraint |
| packages/nixpkgs/perl538Packages.TypeTiny | Tiny, yet Moo(se)-compatible type constraint |
| packages/nixpkgs/perl540Packages.ScalarType | Figure out what type a scalar is |
| packages/nixpkgs/perl538Packages.ScalarType | Figure out what type a scalar is |
| packages/nixpkgs/haskellPackages.impossible | Set of data and type definitions of impossible types |
| packages/nixpkgs/perlPackages.FFIPlatypusTypeEnum | Custom platypus type for dealing with C enumerated types |
| packages/nixpkgs/perl5Packages.FFIPlatypusTypeEnum | Custom platypus type for dealing with C enumerated types |
| packages/nixpkgs/t1utils | Collection of simple Type 1 font manipulation programs |
| packages/nixpkgs/haskellPackages.hoq | A language based on homotopy type theory with an interval type |
| packages/nixpkgs/haskellPackages.tfp | Type-level integers, booleans, lists using type families |
| packages/nixpkgs/haskellPackages.Sit | Prototypical type checker for Type Theory with Sized Natural Numbers |
| packages/nixpkgs/haskellPackages.ref-tf | A type class for monads with references using type families |
| packages/nixpkgs/texlivePackages.antt | Antykwa Torunska: a Type 1 family of a Polish traditional type |
| packages/nixpkgs/haskellPackages.pear | Pear Trees: An indexed type using type-level binary numbers |
| packages/nixpkgs/yaziPlugins.mime-ext | Mime-type provider based on a file extension database, replacing the builtin file to speed up mime-type retrieval at the expense of accuracy |
| packages/nixpkgs/haskellPackages.say-my-name | Require explicit type application for some type variables |
| packages/nixpkgs/haskellPackages.ghc-plugs-out | Type checker plugins without the type checking |
| packages/nixpkgs/perl540Packages.FFIPlatypusTypeEnum | Custom platypus type for dealing with C enumerated types |
| packages/nixpkgs/perl538Packages.FFIPlatypusTypeEnum | Custom platypus type for dealing with C enumerated types |
| packages/nixpkgs/perlPackages.FFIPlatypusTypePtrObject | Platypus custom type for an object wrapped around an opaque pointer |
| packages/nixpkgs/haskellPackages.accuerr | Data type like Either but with accumulating error type |
| packages/nixpkgs/perl5Packages.FFIPlatypusTypePtrObject | Platypus custom type for an object wrapped around an opaque pointer |
| packages/nixpkgs/haskellPackages.comfort-array | Arrays where the index type is a function of the shape type |
| packages/nixpkgs/haskellPackages.vector-heterogenous | A type-safe library for vectors whose elements can be of any type, or any type satisfying some constraints |
| packages/nixpkgs/haskellPackages.luminance | Type-safe, type-level and stateless graphics framework |
| packages/nixpkgs/haskellPackages.literally | Type-safe conversion of type literals into runtime values |
| packages/nixpkgs/haskellPackages.extend-record-data-th | TH to define a new record data type that extends the existing record data type |
| packages/nixpkgs/file | Program that shows the type of files |
| packages/nixpkgs/tnef | Unpacks MIME attachments of type application/ms-tnef |
| packages/nixpkgs/perl540Packages.FFIPlatypusTypePtrObject | Platypus custom type for an object wrapped around an opaque pointer |
| packages/nixpkgs/perl538Packages.FFIPlatypusTypePtrObject | Platypus custom type for an object wrapped around an opaque pointer |
| packages/nixpkgs/xits-math | OpenType implementation of STIX fonts with math support |
| packages/nixpkgs/besley | Besley an antique slab serif font by indestructible type* |
| packages/nixpkgs/cooper | Cooper* a revival of the Cooper font family by indestructible type* |