| packages/nixpkgs/postgresql17Packages.pg-semver | Semantic version data type for PostgreSQL |
| packages/nixpkgs/postgresql18Packages.pg-semver | Semantic version data type for PostgreSQL |
| packages/nixpkgs/haskellPackages.kleene-list | A list type based on the Kleene star and plus |
| packages/nixpkgs/haskellPackages.atomic-css | Type-safe, composable CSS utility functions |
| packages/nixpkgs/haskellPackages.hreq-client | A Type dependent Highlevel HTTP client library |
| packages/nixpkgs/haskellPackages.inflist | An infinite list type and operations thereon |
| packages/nixpkgs/haskellPackages.coerce-role | Having trouble deriving instances because of type roles? Solve it here! |
| packages/nixpkgs/haskellPackages.infernu | Type inference and checker for JavaScript (experimental) |
| packages/nixpkgs/haskellPackages.dedukti | A type-checker for the λΠ-modulo calculus |
| packages/nixpkgs/haskellPackages.show-please | A wrapper type V with improved Show instances |
| packages/nixpkgs/haskellPackages.sorted-list | Type-enforced sorted lists and related functions |
| packages/nixpkgs/haskellPackages.nullary | A package for working with nullary type classes |
| packages/nixpkgs/haskellPackages.partial | A nullary type class for partial functions |
| packages/nixpkgs/python313Packages.mypy-boto3-finspace | Type annotations for boto3 finspace |
| packages/nixpkgs/python313Packages.mypy-boto3-codestar | Type annotations for boto3 codestar |
| packages/nixpkgs/python313Packages.mypy-boto3-snowball | Type annotations for boto3 snowball |
| packages/nixpkgs/python313Packages.mypy-boto3-panorama | Type annotations for boto3 panorama |
| packages/nixpkgs/python313Packages.mypy-boto3-workmail | Type annotations for boto3 workmail |
| packages/nixpkgs/python313Packages.mypy-boto3-worklink | Type annotations for boto3 worklink |
| packages/nixpkgs/python313Packages.mypy-boto3-databrew | Type annotations for boto3 databrew |
| packages/nixpkgs/python313Packages.mypy-boto3-gamelift | Type annotations for boto3 gamelift |
| packages/nixpkgs/python313Packages.mypy-boto3-workdocs | Type annotations for boto3 workdocs |
| packages/nixpkgs/python313Packages.mypy-boto3-pinpoint | Type annotations for boto3 pinpoint |
| packages/nixpkgs/python313Packages.mypy-boto3-datasync | Type annotations for boto3 datasync |
| packages/nixpkgs/python313Packages.mypy-boto3-outposts | Type annotations for boto3 outposts |
| packages/nixpkgs/python313Packages.mypy-boto3-opsworks | Type annotations for boto3 opsworks |
| packages/nixpkgs/python313Packages.mypy-boto3-location | Type annotations for boto3 location |
| packages/nixpkgs/python313Packages.mypy-boto3-redshift | Type annotations for boto3 redshift |
| packages/nixpkgs/python313Packages.mypy-boto3-transfer | Type annotations for boto3 transfer |
| packages/nixpkgs/python313Packages.mypy-boto3-forecast | Type annotations for boto3 forecast |
| packages/nixpkgs/python313Packages.mypy-boto3-textract | Type annotations for boto3 textract |
| packages/nixpkgs/python313Packages.mypy-boto3-memorydb | Type annotations for boto3 memorydb |
| packages/nixpkgs/python313Packages.mypy-boto3-cloudhsm | Type annotations for boto3 cloudhsm |
| packages/nixpkgs/python313Packages.mypy-boto3-dynamodb | Type annotations for boto3 dynamodb |
| packages/nixpkgs/python313Packages.mypy-boto3-firehose | Type annotations for boto3 firehose |
| packages/nixpkgs/python314Packages.mypy-boto3-opsworks | Type annotations for boto3 opsworks |
| packages/nixpkgs/python314Packages.mypy-boto3-worklink | Type annotations for boto3 worklink |
| packages/nixpkgs/python314Packages.mypy-boto3-gamelift | Type annotations for boto3 gamelift |
| packages/nixpkgs/python314Packages.mypy-boto3-outposts | Type annotations for boto3 outposts |
| packages/nixpkgs/python314Packages.mypy-boto3-databrew | Type annotations for boto3 databrew |
| packages/nixpkgs/python314Packages.mypy-boto3-redshift | Type annotations for boto3 redshift |
| packages/nixpkgs/python314Packages.mypy-boto3-firehose | Type annotations for boto3 firehose |
| packages/nixpkgs/python314Packages.mypy-boto3-codestar | Type annotations for boto3 codestar |
| packages/nixpkgs/python314Packages.mypy-boto3-forecast | Type annotations for boto3 forecast |
| packages/nixpkgs/python314Packages.mypy-boto3-dynamodb | Type annotations for boto3 dynamodb |
| packages/nixpkgs/python314Packages.mypy-boto3-panorama | Type annotations for boto3 panorama |
| packages/nixpkgs/python314Packages.mypy-boto3-workmail | Type annotations for boto3 workmail |
| packages/nixpkgs/python314Packages.mypy-boto3-cloudhsm | Type annotations for boto3 cloudhsm |
| packages/nixpkgs/python314Packages.mypy-boto3-textract | Type annotations for boto3 textract |
| packages/nixpkgs/python314Packages.mypy-boto3-datasync | Type annotations for boto3 datasync |
| packages/nixpkgs/python314Packages.mypy-boto3-transfer | Type annotations for boto3 transfer |
| packages/nixpkgs/python314Packages.mypy-boto3-finspace | Type annotations for boto3 finspace |
| packages/nixpkgs/python314Packages.mypy-boto3-memorydb | Type annotations for boto3 memorydb |
| packages/nixpkgs/python314Packages.mypy-boto3-pinpoint | Type annotations for boto3 pinpoint |
| packages/nixpkgs/python314Packages.mypy-boto3-location | Type annotations for boto3 location |
| packages/nixpkgs/python314Packages.mypy-boto3-snowball | Type annotations for boto3 snowball |
| packages/nixpkgs/python314Packages.mypy-boto3-workdocs | Type annotations for boto3 workdocs |
| packages/nixpkgs/haskellPackages.AERN-Basics | foundational type classes for approximating exact real numbers |
| packages/nixpkgs/haskellPackages.json-tracer | A polymorphic, type-safe, json-structured tracing library |
| packages/nixpkgs/haskellPackages.textual | Textual type class for data that represent text |
| packages/nixpkgs/haskellPackages.subhask | Type safe interface for programming in subcategories of Hask |
| packages/nixpkgs/haskellPackages.th-bang-compat | Compatibility for bang-type template |
| packages/nixpkgs/haskellPackages.smtlib2 | A type-safe interface to communicate with an SMT solver |
| packages/nixpkgs/texlivePackages.skaknew | The skak chess fonts redone in Adobe Type 1 |
| packages/nixpkgs/haskellPackages.failure | A simple type class for success/failure computations. (deprecated) |
| packages/nixpkgs/haskellPackages.cfuture | A Future type that is easy to represent and handle in C/C++ |
| packages/nixpkgs/haskellPackages.libcspm | A library providing a parser, type checker and evaluator for CSPM |
| packages/nixpkgs/haskellPackages.text-render | A type class for rendering objects as text, pretty-printing, etc |
| packages/nixpkgs/haskellPackages.notzero | A data type for representing numeric values, except zero |
| packages/nixpkgs/haskellPackages.tagged-list | Lists tagged with a type-level natural number representing their length |
| packages/nixpkgs/texlivePackages.mpfonts | Computer Modern Type 3 fonts converted using MetaPost |
| packages/nixpkgs/texlivePackages.t1utils | Simple Type 1 font manipulation programs |
| packages/nixpkgs/haskellPackages.control-iso | A typeclass for type isomorphisms |
| packages/nixpkgs/haskellPackages.FontyFruity | A true type file format loader |
| packages/nixpkgs/haskellPackages.ghost-buster | Existential type utilites |
| packages/nixpkgs/haskellPackages.fastsum | A fast open-union type suitable for 100+ contained alternatives |
| packages/nixpkgs/haskellPackages.attempt | Concrete data type for handling extensible exceptions as failures. (deprecated) |
| packages/nixpkgs/haskellPackages.capped-list | A list-like type for lazy sequences, with a user-defined termination value |
| packages/nixpkgs/haskellPackages.hslua-typing | Type specifiers for Lua |
| packages/nixpkgs/haskellPackages.typical | Type level numbers, vectors, list |
| packages/nixpkgs/haskellPackages.xformat | Extensible, type-safe formatting with scanf- and printf-like functions |
| packages/nixpkgs/haskellPackages.th-expand-syns | Expands type synonyms in Template Haskell ASTs |
| packages/nixpkgs/haskellPackages.varargs | Utilities for working with variadic functions using type-level lists |
| packages/nixpkgs/haskellPackages.snap-web-routes | Type safe URLs for Snap |
| packages/nixpkgs/python312Packages.mypy-boto3-devops-guru | Type annotations for boto3 devops-guru |
| packages/nixpkgs/python313Packages.mypy-boto3-lexv2-runtime | Type annotations for boto3 lexv2-runtime |
| packages/nixpkgs/python313Packages.mypy-boto3-docdb-elastic | Type annotations for boto3 docdb-elastic |
| packages/nixpkgs/python314Packages.mypy-boto3-lexv2-runtime | Type annotations for boto3 lexv2-runtime |
| packages/nixpkgs/python314Packages.mypy-boto3-docdb-elastic | Type annotations for boto3 docdb-elastic |
| packages/nixpkgs/haskellPackages.io-classes | Type classes for concurrency with STM, ST and timing |
| packages/nixpkgs/haskellPackages.servant-nix | Servant Nix content-type |
| packages/nixpkgs/haskellPackages.trasa-reflex | Reactive Type Safe Routing |
| packages/nixpkgs/haskellPackages.to-haskell | A type class and some utilities for generating Haskell code |
| packages/nixpkgs/haskellPackages.monoid | Monoid type classes, designed in modular way, distinguish Monoid from Mempty and Semigroup |
| packages/nixpkgs/haskellPackages.trasa-server | Type safe web server |
| packages/nixpkgs/haskellPackages.trasa-client | Type safe http requests |
| packages/nixpkgs/haskellPackages.warlock | Automatic type-safe conversion between Haskell data types using Template Haskell |
| packages/nixpkgs/python312Packages.mypy-boto3-route53 | Type annotations for boto3 route53 |
| packages/nixpkgs/python312Packages.mypy-boto3-connect | Type annotations for boto3 connect |
| packages/nixpkgs/python312Packages.mypy-boto3-amplify | Type annotations for boto3 amplify |