| packages/nixpkgs/haskellPackages.postgresql-simple-interval | A simple interval type for PostgreSQL |
| packages/nixpkgs/haskellPackages.coerce-with-substitution | Coercions with improved type inference |
| packages/nixpkgs/haskellPackages.monoidmap_0_0_4_4 | Monoidal map type |
| packages/nixpkgs/haskellPackages.monoidmap_0_0_5_0 | Monoidal map type |
| packages/nixpkgs/haskellPackages.bytestring-conversion | Type-classes to convert values to and from ByteString |
| packages/nixpkgs/haskellPackages.quickcheck-properties | QuickCheck properties for standard type classes |
| packages/nixpkgs/haskellPackages.esqueleto_3_6_0_0 | Type-safe EDSL for SQL queries on persistent backends |
| packages/nixpkgs/haskellPackages.singletons-presburger | Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package |
| packages/nixpkgs/haskellPackages.transformers-continue | Control flow data type and monad transformer |
| packages/nixpkgs/haskellPackages.system-canonicalpath | Abstract data type for canonical paths with some utilities |
| packages/nixpkgs/haskellPackages.monadtransform | A type-class for transforming monads (homomorphism) in a transformer |
| packages/nixpkgs/haskellPackages.heterocephalus | A type-safe template engine for working with front end development tools |
| packages/nixpkgs/haskellPackages.quickcheck-combinators | Simple type-level combinators for augmenting QuickCheck instances |
| packages/nixpkgs/haskellPackages.constrained-categories | Constrained clones of the category-theory type classes, using ConstraintKinds |
| packages/nixpkgs/haskellPackages.exception-transformers | Type classes and monads for unchecked extensible exceptions |
| packages/nixpkgs/haskellPackages.postgresql-connection-string | PostgreSQL connection string type, parser and builder |
| packages/nixpkgs/haskellPackages.interchangeable | A type class for interchangeable data |
| packages/nixpkgs/haskellPackages.composable-associations | Types and helpers for composing types into a single larger key-value type |
| packages/nixpkgs/haskellPackages.persistent_2_15_1_0 | Type-safe, multi-backend data serialization |
| packages/nixpkgs/haskellPackages.persistent_2_18_0_0 | Type-safe, multi-backend data serialization |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-gtksourceview2 | A type class for cast functions of Gtk2hs: gtksourceview2 package |
| packages/nixpkgs/haskellPackages.data-default-instances-case-insensitive | Default instance for CI type from case-insensitive package |
| packages/nixpkgs/perlPackages.MooXTypeTiny | Tiny, yet Moo(se)-compatible type constraint |
| packages/nixpkgs/texlivePackages.libertinust1math | A Type 1 font and LaTeX support for Libertinus Math |
| packages/nixpkgs/perl5Packages.MooXTypeTiny | Tiny, yet Moo(se)-compatible type constraint |
| packages/nixpkgs/perl538Packages.MooXTypeTiny | Tiny, yet Moo(se)-compatible type constraint |
| packages/nixpkgs/perl540Packages.MooXTypeTiny | Tiny, yet Moo(se)-compatible type constraint |
| packages/nixpkgs/perlPackages.MooXTypesMooseLike | Some Moosish types and a type builder |
| packages/nixpkgs/perl5Packages.MooXTypesMooseLike | Some Moosish types and a type builder |
| packages/nixpkgs/haskellPackages.TypeCompose | Type composition classes & instances |
| packages/nixpkgs/perlPackages.MooseXTypesCommon | Library of commonly used type constraints |
| packages/nixpkgs/perlPackages.MooseXTypesPathClass | Path::Class type library for Moose |
| packages/nixpkgs/perl5Packages.MooseXTypesCommon | Library of commonly used type constraints |
| packages/nixpkgs/perl5Packages.MooseXTypesPathClass | Path::Class type library for Moose |
| packages/nixpkgs/perl538Packages.MooXTypesMooseLike | Some Moosish types and a type builder |
| packages/nixpkgs/perl540Packages.MooXTypesMooseLike | Some Moosish types and a type builder |
| packages/nixpkgs/perl540Packages.MooseXTypesCommon | Library of commonly used type constraints |
| packages/nixpkgs/perl538Packages.MooseXTypesCommon | Library of commonly used type constraints |
| packages/nixpkgs/perl540Packages.MooseXTypesPathClass | Path::Class type library for Moose |
| packages/nixpkgs/perl538Packages.MooseXTypesPathClass | Path::Class type library for Moose |
| packages/nixpkgs/perlPackages.MooseXTypesLoadableClass | ClassName type constraint with coercion to load the class |
| packages/nixpkgs/perl5Packages.MooseXTypesLoadableClass | ClassName type constraint with coercion to load the class |
| packages/nixpkgs/perlPackages.MooseXTypesStructured | Structured Type Constraints for Moose |
| packages/nixpkgs/perlPackages.MooseXTypesStringlike | Moose type constraints for strings or string-like objects |
| packages/nixpkgs/perl5Packages.MooseXTypesStructured | Structured Type Constraints for Moose |
| packages/nixpkgs/perl538Packages.MooseXTypesLoadableClass | ClassName type constraint with coercion to load the class |
| packages/nixpkgs/perl540Packages.MooseXTypesLoadableClass | ClassName type constraint with coercion to load the class |
| packages/nixpkgs/haskellPackages.TypeIlluminator | TypeIlluminator is a prototype tool exploring debugging of type errors/ |
| packages/nixpkgs/perl5Packages.MooseXTypesStringlike | Moose type constraints for strings or string-like objects |
| packages/nixpkgs/perl538Packages.MooseXTypesStructured | Structured Type Constraints for Moose |
| packages/nixpkgs/perl540Packages.MooseXTypesStructured | Structured Type Constraints for Moose |
| packages/nixpkgs/perl538Packages.MooseXTypesStringlike | Moose type constraints for strings or string-like objects |
| packages/nixpkgs/perl540Packages.MooseXTypesStringlike | Moose type constraints for strings or string-like objects |
| packages/nixpkgs/iosevka | Versatile typeface for code, from code |
| packages/nixpkgs/iosevka-bin | Versatile typeface for code, from code |
| packages/nixpkgs/smiley-sans | Condensed and oblique Chinese typeface seeking a visual balance between the humanist and the geometric |
| packages/nixpkgs/fraunces | Display, “Old Style” soft-serif typeface inspired by early 20th century typefaces |
| packages/nixpkgs/haskellPackages.pi-forall | Demo implementation of typechecker for dependently-typed language |
| packages/nixpkgs/texlivePackages.manuscript | Emulate look of a document typed on a typewriter |
| packages/nixpkgs/satysfi | Statically-typed, functional typesetting system |
| packages/nixpkgs/haskellPackages.var-monad | The VarMonad typeclass, generalizing types of references |
| packages/nixpkgs/haskellPackages.confide | derive typeclass instances for decoding types from HOCON conf |
| packages/nixpkgs/haskellPackages.convertible | Typeclasses and instances for converting between types |
| packages/nixpkgs/haskellPackages.concurrency | Typeclasses, functions, and data types for concurrency and STM |
| packages/nixpkgs/haskellPackages.convertible-text | Typeclasses and instances for converting between types (deprecated) |
| packages/nixpkgs/haskellPackages.partial-order | Provides typeclass suitable for types admitting a partial order |
| packages/nixpkgs/haskellPackages.base-generics | This library provides some instances for extra GHC |
| packages/nixpkgs/haskellPackages.lawful-conversions | Lawful typeclasses for bidirectional conversion between types |
| packages/nixpkgs/perl5Packages.MP3Tag | Module for reading tags of MP3 audio files |
| packages/nixpkgs/haskellPackages.edis | Statically typechecked client for Redis |
| packages/nixpkgs/haskellPackages.lawful-conversions_0_3_0_1 | Lawful typeclasses for bidirectional conversion between types |
| packages/nixpkgs/haskellPackages.hocon | Small library for typesafe's configuration specification |
| packages/nixpkgs/haskellPackages.th-tc | Typechecking in Template Haskell |
| packages/nixpkgs/haskellPackages.contracheck-applicative | Validation types/typeclass based on the contravariance |
| packages/nixpkgs/haskellPackages.helf | Typechecking terms of the Edinburgh Logical Framework (LF) |
| packages/nixpkgs/ruby | Object-oriented language for quick and easy programming |
| packages/nixpkgs/ruby_3_1 | Object-oriented language for quick and easy programming |
| packages/nixpkgs/ruby_3_2 | Object-oriented language for quick and easy programming |
| packages/nixpkgs/haskellPackages.di | Typeful hierarchical structured logging using di, mtl and df1 |
| packages/nixpkgs/haskellPackages.rex | A quasi-quoter for typeful results of regex captures |
| packages/nixpkgs/ruby_3_4 | Object-oriented language for quick and easy programming |
| packages/nixpkgs/ruby_3_5 | Object-oriented language for quick and easy programming |
| packages/nixpkgs/ruby_4_0 | Object-oriented language for quick and easy programming |
| packages/nixpkgs/haskellPackages.di-core | Typeful hierarchical structured logging without monad towers |
| packages/nixpkgs/haskellPackages.di-monad | mtl flavoured typeful hierarchical structured logging for di-core |
| packages/nixpkgs/crimson | Font family inspired by beautiful oldstyle typefaces |
| packages/nixpkgs/tt2020 | Advanced, open source, hyperrealistic, multilingual typewriter font for a new decade |
| packages/nixpkgs/lmmath | Latin Modern Math (LM Math) font completes the modernization of the Computer Modern family of typefaces designed and programmed by Donald E |
| packages/nixpkgs/vimPlugins.vim-sile | |
| packages/nixpkgs/openttd-ttf | TrueType typefaces for text in a pixel art style, designed for use in OpenTTD |
| packages/nixpkgs/haskellPackages.HMap | Fast heterogeneous maps and unconstrained typeable-like functionality |
| packages/nixpkgs/haskellPackages.ghc-syb | Data and Typeable instances for the GHC API |
| packages/nixpkgs/texlivePackages.parrun | Typesets (two) streams of text running parallel |
| packages/nixpkgs/haskellPackages.effin | A Typeable-free implementation of extensible effects |
| packages/nixpkgs/haskellPackages.typist | Typelevel printf |
| packages/nixpkgs/brill | In-house serif typeface for the publishing house Brill, designed by John Hudson; free for non-commercial use |
| packages/nixpkgs/texlivePackages.clrscode | Typesets pseudocode as in Introduction to Algorithms |
| packages/nixpkgs/texlivePackages.zlmtt | Use Latin Modern Typewriter fonts |
| packages/nixpkgs/haskellPackages.clean-unions | Open unions without need for Typeable |
| packages/nixpkgs/haskellPackages.set-of | Sets of fixed size, with typelits |