| packages/nixpkgs/haskellPackages.ml-w | Minimal ML language to to demonstrate the W type infererence algorithm |
| packages/nixpkgs/haskellPackages.slug | Type-safe slugs for Yesod ecosystem |
| packages/nixpkgs/perlPackages.Specio | Type constraints and coercions for Perl |
| packages/nixpkgs/haskellPackages.Only | The 1-tuple type or single-value "collection" |
| packages/nixpkgs/haskellPackages._with | Simple open product type |
| packages/nixpkgs/haskellPackages.tyro | Type derived JSON parsing using Aeson |
| packages/nixpkgs/haskellPackages.void | A Haskell 98 logically uninhabited data type |
| packages/nixpkgs/haskellPackages.rio-app | Generic App type for rio |
| packages/nixpkgs/haskellPackages.ref-fd | A type class for monads with references using functional dependencies |
| packages/nixpkgs/texlivePackages.cm-lgc | Type 1 CM-based fonts for Latin, Greek and Cyrillic |
| packages/nixpkgs/haskellPackages.ivor | Theorem proving library based on dependent type theory |
| packages/nixpkgs/haskellPackages.sext | Lists, Texts, ByteStrings and Vectors with type-encoded length |
| packages/nixpkgs/haskellPackages.tpdb | Data Type for Rewriting Systems |
| packages/nixpkgs/perlPackages.DataFloat | Details of the floating point data type |
| packages/nixpkgs/perlPackages.FileMMagic | Guess file type from contents |
| packages/nixpkgs/haskellPackages.data-or | A data type for non-exclusive disjunction |
| packages/nixpkgs/haskellPackages.apis | A Template Haskell library for generating type safe API calls |
| packages/nixpkgs/haskellPackages.beam | A type-safe SQL mapper for Haskell that doesn't use Template Haskell |
| packages/nixpkgs/haskellPackages.mtlx | Monad transformer library with type indexes, providing 'free' copies |
| packages/nixpkgs/haskellPackages.ref-mtl | A type class for monads with references compatible with the mtl2 library |
| packages/nixpkgs/perl5Packages.Specio | Type constraints and coercions for Perl |
| packages/nixpkgs/perlPackages.FileMimeInfo | Determine file type from the file name |
| packages/nixpkgs/haskellPackages.c-enum | To make a type corresponding to an enum of C language |
| packages/nixpkgs/haskellPackages.exist | Dependent sum type |
| packages/nixpkgs/haskellPackages.error | The canonical error type |
| packages/nixpkgs/haskellPackages.web-view | Type-safe HTML and CSS |
| packages/nixpkgs/haskellPackages.these | An either-or-both data type |
| packages/nixpkgs/haskellPackages.names | Type level names |
| packages/nixpkgs/texlivePackages.yplan | Daily planner type calendar |
| packages/nixpkgs/postgresqlPackages.pg-semver | Semantic version data type for PostgreSQL |
| packages/nixpkgs/haskellPackages.Empty | A type class for empty containers |
| packages/nixpkgs/haskellPackages.TrieMap | Automatic type inference of generalized tries with Template Haskell |
| packages/nixpkgs/haskellPackages.ggtsTC | A type checker and runtime system of rCOS/g (impl. of ggts-FCS). |
| packages/nixpkgs/haskellPackages.cased | Track string casing in its type |
| packages/nixpkgs/haskellPackages.cluss | simple alternative to type classes |
| packages/nixpkgs/haskellPackages.llvm-tf | Bindings to the LLVM compiler toolkit using type families |
| packages/nixpkgs/haskellPackages.usb-safe | Type-safe communication with USB devices |
| packages/nixpkgs/haskellPackages.union | Extensible type-safe unions |
| packages/nixpkgs/haskellPackages.trasa | Type Safe Web Routing |
| packages/nixpkgs/haskellPackages.prim-ref | Primitive byte array with type variable |
| packages/nixpkgs/perl5Packages.DataFloat | Details of the floating point data type |
| packages/nixpkgs/perl5Packages.FileMMagic | Guess file type from contents |
| packages/nixpkgs/drafting-mono | Drafting* Mono a mixed serif typewriter inspired font by indestructible type* |
| packages/nixpkgs/haskellPackages.effet | An Effect System based on Type Classes |
| packages/nixpkgs/haskellPackages.djinn | Generate Haskell code from a type |
| packages/nixpkgs/haskellPackages.duet | A tiny language, a subset of Haskell (with type classes) aimed at aiding teachers to teach Haskell |
| packages/nixpkgs/haskellPackages.fay-text | Fay Text type represented as JavaScript strings |
| packages/nixpkgs/haskellPackages.ifcxt | put if statements within type constraints |
| packages/nixpkgs/haskellPackages.bool8 | Alternative Bool type stored as byte |
| packages/nixpkgs/haskellPackages.deep-map | Deeply-nested, multiple key type maps |
| packages/nixpkgs/haskellPackages.ioctl | Type-safe I/O control package |
| packages/nixpkgs/haskellPackages.witch | Convert values from one type into another |
| packages/nixpkgs/haskellPackages.sqlc-hs | Generate type-safe Haskell code from SQL via https://github.com/sqlc-dev/sqlc. |
| packages/nixpkgs/haskellPackages.set-with | Set of elements sorted by a different data type |
| packages/nixpkgs/haskellPackages.Digit | A data-type representing digits 0-9 |
| packages/nixpkgs/haskellPackages.c2hs | C->Haskell FFI tool that gives some cross-language type safety |
| packages/nixpkgs/haskellPackages.ddc-core | Disciplined Disciple Compiler core language and type checker |
| packages/nixpkgs/haskellPackages.rhine | Functional Reactive Programming with type-level clocks |
| packages/nixpkgs/haskellPackages.mmzk-env | Read environment variables into a user-defined data type |
| packages/nixpkgs/haskellPackages.yesod | Creation of type-safe, RESTful web applications |
| packages/nixpkgs/haskellPackages.motor | Type-safe effectful state machines in Haskell |
| packages/nixpkgs/haskellPackages.model | Derive a model of a data type using Generics |
| packages/nixpkgs/haskellPackages.padic | Fast, type-safe p-adic arithmetic |
| packages/nixpkgs/haskellPackages.sieve | Sieve is an implementation of the Sieve abstract data type |
| packages/nixpkgs/haskellPackages.units | A domain-specific type system for dimensional analysis |
| packages/nixpkgs/texlivePackages.pkfix | Replace pk fonts in PostScript with Type 1 fonts |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-94 | SRFI 94: Type-Restricted Numerical Functions |
| packages/nixpkgs/akkuPackages.slib-coerce | Implementation of COMMON-LISP COERCE and TYPE-OF |
| packages/nixpkgs/haskellPackages.json-spec | Type-level JSON specification |
| packages/nixpkgs/haskellPackages.digit | A data-type representing digits 0-9 and other combinations |
| packages/nixpkgs/haskellPackages.laika | Minimalistic type-checked compile-time template engine |
| packages/nixpkgs/haskellPackages.http-pony | A type unsafe http library |
| packages/nixpkgs/haskellPackages.paths | Library for representing and manipulating type-safe file paths |
| packages/nixpkgs/haskellPackages.o-clock | Type-safe time library |
| packages/nixpkgs/haskellPackages.mmtl-base | MonadBase type-class for mmtl |
| packages/nixpkgs/haskellPackages.scanf | Easy and type-safe format strings for parsing and printing |
| packages/nixpkgs/haskellPackages.valid | Type isomorphic to `Either` with `Applicative` instance which combines errors |
| packages/nixpkgs/perl5Packages.FileMimeInfo | Determine file type from the file name |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-253 | SRFI 253: Data (Type-)Checking |
| packages/nixpkgs/haskellPackages.djinn-th | Generate executable Haskell code from a type |
| packages/nixpkgs/haskellPackages.fast-mult | Numeric type with asymptotically faster multiplications |
| packages/nixpkgs/haskellPackages.ditto | ditto is a type-safe HTML form generation and validation library |
| packages/nixpkgs/haskellPackages.uxadt | Cross-language extensible representation for algebraic data type instances |
| packages/nixpkgs/texlivePackages.ps2pk | Generate a PK font from an Adobe Type 1 font |
| packages/nixpkgs/haskellPackages.MiniAgda | A toy dependently typed programming language with type-based termination |
| packages/nixpkgs/haskellPackages.EsounD | Type-safe bindings to EsounD (ESD; Enlightened Sound Daemon) |
| packages/nixpkgs/haskellPackages.i3ipc | A type-safe wrapper around i3's IPC |
| packages/nixpkgs/haskellPackages.htree | a library to build and work with heterogeneous, type level indexed rose trees |
| packages/nixpkgs/haskellPackages.no-value | A type class for choosing sentinel-like values |
| packages/nixpkgs/haskellPackages.zippo | A simple lens-based, generic, heterogenous, type-checked zipper library |
| packages/nixpkgs/haskellPackages.make-monofoldable-foldable | Make a MonoFoldable type into an ordinary Foldable type |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-259 | Tagged procedures with type safety (with SRFI-229 compatability) |
| packages/nixpkgs/haskellPackages.colors | A type for colors |
| packages/nixpkgs/haskellPackages.url-bytes | Memory efficient url type and parser |
| packages/nixpkgs/haskellPackages.path-like | PathLike, FileLike and DirLike type classes for the Path library |
| packages/nixpkgs/postgresql14Packages.ip4r | IPv4/v6 and IPv4/v6 range index type for PostgreSQL |
| packages/nixpkgs/postgresql17Packages.ip4r | IPv4/v6 and IPv4/v6 range index type for PostgreSQL |
| packages/nixpkgs/postgresql15Packages.ip4r | IPv4/v6 and IPv4/v6 range index type for PostgreSQL |
| packages/nixpkgs/postgresql18Packages.ip4r | IPv4/v6 and IPv4/v6 range index type for PostgreSQL |
| packages/nixpkgs/postgresql16Packages.ip4r | IPv4/v6 and IPv4/v6 range index type for PostgreSQL |