| packages/nixpkgs/haskellPackages.generic-tree | Generic Tree data type |
| packages/nixpkgs/haskellPackages.aztecs-asset | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.servant-avro | Avro content type for Servant |
| packages/nixpkgs/haskellPackages.th-reify-compat | Compatibility for the result type of TH reify |
| packages/nixpkgs/texlivePackages.ocr-b-outline | OCR-B fonts in Type 1 and OpenType |
| packages/nixpkgs/python312Packages.botocore-stubs | Type annotations and code completion for botocore |
| packages/nixpkgs/python312Packages.click-datetime | Datetime type support for click |
| packages/nixpkgs/haskellPackages.AC-Vector-Fancy | Fancy type-system stuff for AC-Vector |
| packages/nixpkgs/haskellPackages.AC-HalfInteger | Efficient half-integer type |
| packages/nixpkgs/haskellPackages.Delta-Lambda | A demonstration interpreter for type system delta-lambda (of N |
| packages/nixpkgs/haskellPackages.data-checked | Type-indexed runtime-checked properties |
| packages/nixpkgs/haskellPackages.data-flagset | An efficient data type for sets of flags |
| packages/nixpkgs/haskellPackages.simple-units | Simple arithmetic with SI units using type-checked dimensional analysis |
| packages/nixpkgs/haskellPackages.text_2_1_3 | An efficient packed Unicode text type |
| packages/nixpkgs/perlPackages.SymbolGlobalName | Finds name and type of a global variable |
| packages/nixpkgs/python312Packages.mypy-boto3-vpc-lattice | Type annotations for boto3 vpc-lattice |
| packages/nixpkgs/python312Packages.mypy-boto3-support-app | Type annotations for boto3 support-app |
| packages/nixpkgs/python312Packages.mypy-boto3-cognito-idp | Type annotations for boto3 cognito-idp |
| packages/nixpkgs/python312Packages.jaxtyping | Type annotations and runtime checking for JAX arrays and PyTrees |
| packages/nixpkgs/python312Packages.mypy-boto3-lex-runtime | Type annotations for boto3 lex-runtime |
| packages/nixpkgs/python312Packages.mypy-boto3-lexv2-models | Type annotations for boto3 lexv2-models |
| packages/nixpkgs/haskellPackages.f-algebra-gen | Generate a special f-algebra combinator from any data type |
| packages/nixpkgs/haskellPackages.kind-integer | Type-level integers |
| packages/nixpkgs/haskellPackages.haskell-docs | A program to find and display the docs and type of a name |
| packages/nixpkgs/haskellPackages.horizon-spec | Horizon Stable Package Set Type Definitions |
| packages/nixpkgs/haskellPackages.smtlib2-pipe | A type-safe interface to communicate with an SMT solver |
| packages/nixpkgs/haskellPackages.multiset | The Data |
| packages/nixpkgs/python313Packages.mypy-boto3-redshift-data | Type annotations for boto3 redshift-data |
| packages/nixpkgs/python313Packages.atomiclong | Long data type with atomic operations using CFFI |
| packages/nixpkgs/python313Packages.mypy-boto3-finspace-data | Type annotations for boto3 finspace-data |
| packages/nixpkgs/python314Packages.mypy-boto3-redshift-data | Type annotations for boto3 redshift-data |
| packages/nixpkgs/python314Packages.atomiclong | Long data type with atomic operations using CFFI |
| packages/nixpkgs/python314Packages.mypy-boto3-finspace-data | Type annotations for boto3 finspace-data |
| packages/nixpkgs/vscode-extensions.ms-pyright.pyright | VS Code static type checking for Python |
| packages/nixpkgs/haskellPackages.higgledy | Partial types as a type constructor |
| packages/nixpkgs/perl540Packages.CairoGObject | Integrate Cairo into the Glib type system |
| packages/nixpkgs/perl538Packages.CairoGObject | Integrate Cairo into the Glib type system |
| packages/nixpkgs/haskellPackages.hssqlppp | SQL parser and type checker |
| packages/nixpkgs/haskellPackages.data-rtuple | Recursive tuple data structure |
| packages/nixpkgs/haskellPackages.finitary | A better, more type-safe Enum |
| packages/nixpkgs/haskellPackages.byteable | Type class for sequence of bytes |
| packages/nixpkgs/haskellPackages.membrain | Type-safe memory units |
| packages/nixpkgs/haskellPackages.possibly | type Possibly a = Either String a |
| packages/nixpkgs/haskellPackages.recover-rtti | Recover run-time type information from the GHC heap |
| packages/nixpkgs/haskellPackages.webgear-core | Composable, type-safe library to build HTTP APIs |
| packages/nixpkgs/python314Packages.psautohint | Script to normalize the XML and other data inside of a UFO |
| packages/nixpkgs/haskellPackages.timelike | Type classes for types representing time |
| packages/nixpkgs/python312Packages.dicttoxml | Converts a Python dictionary or other native data type into a valid XML string |
| packages/nixpkgs/python312Packages.pydantic_1 | Data validation and settings management using Python type hinting |
| packages/nixpkgs/gnomeExtensions.pin-it | Send yourself custom notifications |
| packages/nixpkgs/haskellPackages.joinlist | Join list - symmetric list type |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-glib | A type class for cast functions of Gtk2hs: glib package |
| packages/nixpkgs/haskellPackages.matrix-static | Type-safe matrix operations |
| packages/nixpkgs/haskellPackages.suitable | Abstract over the constraints on the parameters to type constructors |
| packages/nixpkgs/perl5Packages.SymbolGlobalName | Finds name and type of a global variable |
| packages/nixpkgs/python313Packages.mypy-boto3-backup-gateway | Type annotations for boto3 backup-gateway |
| packages/nixpkgs/python313Packages.mypy-boto3-service-quotas | Type annotations for boto3 service-quotas |
| packages/nixpkgs/python313Packages.mypy-boto3-kendra-ranking | Type annotations for boto3 kendra-ranking |
| packages/nixpkgs/python313Packages.dicttoxml2 | Converts a Python dictionary or other native data type into a valid XML string |
| packages/nixpkgs/python314Packages.mypy-boto3-kendra-ranking | Type annotations for boto3 kendra-ranking |
| packages/nixpkgs/python314Packages.mypy-boto3-service-quotas | Type annotations for boto3 service-quotas |
| packages/nixpkgs/python314Packages.dicttoxml2 | Converts a Python dictionary or other native data type into a valid XML string |
| packages/nixpkgs/python314Packages.mypy-boto3-backup-gateway | Type annotations for boto3 backup-gateway |
| packages/nixpkgs/texlivePackages.initials | Adobe Type 1 decorative initial fonts |
| packages/nixpkgs/haskellPackages.data-variant | A variant data type, useful for modeling dynamically-typed programming languages |
| packages/nixpkgs/haskellPackages.ttc_1_5_0_0 | Textual Type Classes |
| packages/nixpkgs/haskellPackages.bind-marshal | Data marshaling library that uses type level equations to optimize buffering |
| packages/nixpkgs/haskellPackages.hslua-classes | Type classes for HsLua |
| packages/nixpkgs/haskellPackages.aztecs-sdl-image | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.language-tl | A Parser for the Type Language |
| packages/nixpkgs/haskellPackages.symbol-parser | Type level string parser combinators |
| packages/nixpkgs/haskellPackages.storable | Storable type class for variable-sized data |
| packages/nixpkgs/haskellPackages.optional | Using type-classes for optional function arguments |
| packages/nixpkgs/perlPackages.DispatchClass | Dispatch on the type (class) of an argument |
| packages/nixpkgs/python313Packages.psautohint | Script to normalize the XML and other data inside of a UFO |
| packages/nixpkgs/texlivePackages.ragged2e | Alternative versions of "ragged"-type commands |
| packages/nixpkgs/python312Packages.mypy-boto3-cognito-sync | Type annotations for boto3 cognito-sync |
| packages/nixpkgs/python312Packages.mypy-boto3-qldb-session | Type annotations for boto3 qldb-session |
| packages/nixpkgs/haskellPackages.COrdering | An algebraic data type similar to Prelude Ordering |
| packages/nixpkgs/haskellPackages.monoid-record | Support for modifying record fields of monoidal type |
| packages/nixpkgs/haskellPackages.timeline | Data type representing a piecewise-constant function over time |
| packages/nixpkgs/haskellPackages.red-black-record | Extensible records and variants indexed by a type-level Red-Black tree |
| packages/nixpkgs/haskellPackages.sequence | A type class for sequences and various sequence data structures |
| packages/nixpkgs/haskellPackages.servant-dhall | Servant Dhall content-type |
| packages/nixpkgs/python313Packages.sqlalchemy-utc | SQLAlchemy type to store aware datetime values |
| packages/nixpkgs/python314Packages.sqlalchemy-utc | SQLAlchemy type to store aware datetime values |
| packages/nixpkgs/texlivePackages.mlmodern | A blacker Type 1 version of Computer Modern, with multilingual support |
| packages/nixpkgs/texlivePackages.lastpage | Reference last page for Page N of M type footers |
| packages/nixpkgs/haskellPackages.numeric-kinds | Type-level numeric types and classes |
| packages/nixpkgs/perl540Packages.DataInteger | Details of the native integer data type |
| packages/nixpkgs/python312Packages.basedmypy | Based Python static type checker with baseline, sane default settings and based typing features |
| packages/nixpkgs/perl538Packages.DataInteger | Details of the native integer data type |
| packages/nixpkgs/python313Packages.basedmypy | Based Python static type checker with baseline, sane default settings and based typing features |
| packages/nixpkgs/haskellPackages.convert-units | Arithmetic and type checked conversions between units |
| packages/nixpkgs/haskellPackages.fluffy-parser | The parser for fluffy to parsec the question bank in .docx type |
| packages/nixpkgs/haskellPackages.envelope | Defines generic 'Envelope' type to wrap reponses from a JSON API |
| packages/nixpkgs/haskellPackages.protocol | Model distributed system as type-level multi-party protocol |
| packages/nixpkgs/haskellPackages.tagged-binary | Provides tools for serializing data tagged with type information |
| packages/nixpkgs/haskellPackages.musicxml | MusicXML format encoded as Haskell type and functions of reading and writting |
| packages/nixpkgs/python313Packages.mypy-boto3-scheduler | Type annotations for boto3 scheduler |