| packages/nixpkgs/haskellPackages.core-text | A rope type based on a finger tree over UTF-8 fragments |
| packages/nixpkgs/haskellPackages.haste-app | Framework for type-safe, distributed web applications |
| packages/nixpkgs/haskellPackages.sheets | Spreadsheet type for composite |
| packages/nixpkgs/haskellPackages.thrist | Type-threaded list |
| packages/nixpkgs/haskellPackages.text-utf8 | An efficient packed UTF-8 backed Unicode text type |
| packages/nixpkgs/perlPackages.LWPMediaTypes | Guess media type for a file or a URL |
| packages/nixpkgs/haskellPackages.beam-core | Type-safe, feature-complete SQL query and manipulation interface for Haskell |
| packages/nixpkgs/haskellPackages.free-foil | Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads) |
| packages/nixpkgs/haskellPackages.reader | A reader data type with all the bits |
| packages/nixpkgs/haskellPackages.ClassLaws | Stating and checking laws for type class methods |
| packages/nixpkgs/haskellPackages.HappyTree | Type Safe and End to End Decision Tree |
| packages/nixpkgs/haskellPackages.hdbc-tuple | Type save tuples for HDBC |
| packages/nixpkgs/haskellPackages.data-clist | Simple functional ring type |
| packages/nixpkgs/haskellPackages.fixed-list | A fixed length list type |
| packages/nixpkgs/haskellPackages.hybrid | A implementation of a type-checker for Lambda-H |
| packages/nixpkgs/haskellPackages.djinn-lib | Generate Haskell code from a type |
| packages/nixpkgs/haskellPackages.djinn-ghc | Generate Haskell code from a type |
| packages/nixpkgs/haskellPackages.basic-lens | Basic lens type and functions |
| packages/nixpkgs/haskellPackages.symbol | A 'Symbol' type for fast symbol comparison |
| packages/nixpkgs/haskellPackages.sorted | Efficient, type-safe sorted sequences |
| packages/nixpkgs/idrisPackages.derive | Type class deriving with elaboration reflection |
| packages/nixpkgs/haskellPackages.minlen | Express the minimum length of a container in its type |
| packages/nixpkgs/haskellPackages.MultiChor | Type-safe and efficient choreographies with location-set polymorphism |
| packages/nixpkgs/haskellPackages.ascii-char | A Char type representing an ASCII character |
| packages/nixpkgs/haskellPackages.mangle | Convert C++ type signatures to their mangled form |
| packages/nixpkgs/haskellPackages.hslua-list | Opinionated, but extensible Lua list type |
| packages/nixpkgs/haskellPackages.error-list | A useful type for collecting error messages |
| packages/nixpkgs/haskellPackages.static | Type-safe and interoperable static values and closures |
| packages/nixpkgs/haskellPackages.open-union | Extensible, type-safe unions |
| packages/nixpkgs/haskellPackages.prim-array | Primitive byte array with type variable |
| packages/nixpkgs/haskellPackages.userid | The UserId type and useful instances for web development |
| packages/nixpkgs/haskellPackages.unitym | A monad type class shared between web services |
| packages/nixpkgs/haskellPackages.ribbit | [Unmaintained] Type-level Relational DB combinators |
| packages/nixpkgs/haskellPackages.tensor | A completely type-safe library for linear algebra |
| packages/nixpkgs/perl5Packages.LWPMediaTypes | Guess media type for a file or a URL |
| packages/nixpkgs/haskellPackages.spooky | Unified API for phantom typed newtypes and type aliases |
| packages/nixpkgs/akkuPackages.slib-dynamic | Dynamic data type |
| packages/nixpkgs/haskellPackages.ghc-dump-tree | Dump GHC's parsed, renamed, and type checked ASTs |
| packages/nixpkgs/haskellPackages.layers | Modular type class machinery for monad transformer stacks |
| packages/nixpkgs/haskellPackages.data-ascii | Type-safe, bytestring-based ASCII values |
| packages/nixpkgs/haskellPackages.data-store | Type safe, in-memory dictionary with multidimensional keys |
| packages/nixpkgs/haskellPackages.hspec-laws | Document and test laws for standard type classes |
| packages/nixpkgs/haskellPackages.http-media | Processing HTTP Content-Type and Accept headers |
| packages/nixpkgs/haskellPackages.monad-fork | Type class for monads which support a fork operation |
| packages/nixpkgs/haskellPackages.named-text | A parameterized named text type and associated functionality |
| packages/nixpkgs/haskellPackages.yesod-core | Creation of type-safe, RESTful web applications |
| packages/nixpkgs/perlPackages.CairoGObject | Integrate Cairo into the Glib type system |
| packages/nixpkgs/texlivePackages.mf2pt1 | Convert stylized Metafont to PostScript Type 1 |
| packages/nixpkgs/texlivePackages.ethiop-t1 | Type 1 versions of Amharic fonts |
| packages/nixpkgs/haskellPackages.hw-vector | Vector type with convenient typeclass instances |
| packages/nixpkgs/haskellPackages.monads-tf | Monad classes, using type families |
| packages/nixpkgs/haskellPackages.reform | reform is a type-safe HTML form generation and validation library |
| packages/nixpkgs/haskellPackages.monad-time | Type class for monads which carry the notion of the current time |
| packages/nixpkgs/haskellPackages.apiary | Simple and type safe web framework that generate web API documentation |
| packages/nixpkgs/perl540Packages.Specio | Type constraints and coercions for Perl |
| packages/nixpkgs/perl538Packages.Specio | Type constraints and coercions for Perl |
| packages/nixpkgs/haskellPackages.AspectAG | First-class Attribute Grammars implemented using type-level programming |
| packages/nixpkgs/haskellPackages.fcf-graphs | Type-level version of algebraic-graphs |
| packages/nixpkgs/haskellPackages.gotyno-hs | A type definition compiler supporting multiple output languages |
| packages/nixpkgs/haskellPackages.lol-typing | Type inferencer for LOL (λω language) |
| packages/nixpkgs/haskellPackages.roundRobin | A simple round-robin data type |
| packages/nixpkgs/haskellPackages.non-empty-text | Non empty Data |
| packages/nixpkgs/haskellPackages.web-routes | portable, type-safe URL routing |
| packages/nixpkgs/perl5Packages.CairoGObject | Integrate Cairo into the Glib type system |
| packages/nixpkgs/texlivePackages.yfonts-t1 | Old German-style fonts, in Adobe type 1 format |
| packages/nixpkgs/haskellPackages.Cabal-hooks | API for the Hooks build-type |
| packages/nixpkgs/haskellPackages.data-basic | A database library with a focus on ease of use, type safety and useful error messages |
| packages/nixpkgs/haskellPackages.uom-plugin | Units of measure as a GHC type-checker plugin |
| packages/nixpkgs/perlPackages.DataInteger | Details of the native integer data type |
| packages/nixpkgs/perl540Packages.DataFloat | Details of the floating point data type |
| packages/nixpkgs/perl538Packages.DataFloat | Details of the floating point data type |
| packages/nixpkgs/perl540Packages.FileMMagic | Guess file type from contents |
| packages/nixpkgs/perl538Packages.FileMMagic | Guess file type from contents |
| packages/nixpkgs/haskellPackages.range-space | A Range type with vector-space instances |
| packages/nixpkgs/perl540Packages.FileMimeInfo | Determine file type from the file name |
| packages/nixpkgs/perl538Packages.FileMimeInfo | Determine file type from the file name |
| packages/nixpkgs/haskellPackages.aztecs-sdl | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.dynamic | A dynamic type for Haskell |
| packages/nixpkgs/haskellPackages.amqp-worker | Type-safe AMQP workers |
| packages/nixpkgs/haskellPackages.simple-form | Forms that configure themselves based on type |
| packages/nixpkgs/haskellPackages.safe-money | Type-safe and lossless encoding and manipulation of money, fiat currencies, crypto currencies and precious metals |
| packages/nixpkgs/haskellPackages.printf-safe | Type safe interface for Text |
| packages/nixpkgs/texlivePackages.minibox | A simple type of box for LaTeX |
| packages/nixpkgs/postgresql13Packages.pg-semver | Semantic version data type for PostgreSQL |
| packages/nixpkgs/haskellPackages.builder | bounded ByteArray builder type |
| packages/nixpkgs/haskellPackages.Tainted | Tainted type, and associated operations |
| packages/nixpkgs/haskellPackages.country | Country data type and functions |
| packages/nixpkgs/haskellPackages.typson-core | Type-safe PostgreSQL JSON Querying |
| packages/nixpkgs/haskellPackages.modular | Type-safe modular arithmetic |
| packages/nixpkgs/haskellPackages.union-angle | Union type that include radian angle and degree angle |
| packages/nixpkgs/haskellPackages.ptrdiff | Type-checked pointer diffs |
| packages/nixpkgs/haskellPackages.safeint | overflow-checked Int type |
| packages/nixpkgs/perl5Packages.DataInteger | Details of the native integer data type |
| packages/nixpkgs/texlivePackages.arsenal | Open Type font by Andrij Shevchenko |
| packages/nixpkgs/texlivePackages.basque-book | Class for book-type documents written in Basque |
| packages/nixpkgs/texlivePackages.engpron | Helps to type the pronunciation of English words |
| packages/nixpkgs/haskellPackages.json-schema | Types and type classes for defining JSON schemas |
| packages/nixpkgs/postgresql18Packages.pg-semver | Semantic version data type for PostgreSQL |
| packages/nixpkgs/postgresql17Packages.pg-semver | Semantic version data type for PostgreSQL |
| packages/nixpkgs/postgresql16Packages.pg-semver | Semantic version data type for PostgreSQL |