| packages/nixpkgs/python312Packages.mypy-boto3-omics | Type annotations for boto3 omics |
| packages/nixpkgs/python312Packages.mypy-boto3-pipes | Type annotations for boto3 pipes |
| packages/nixpkgs/python312Packages.mypy-boto3-docdb | Type annotations for boto3 docdb |
| packages/nixpkgs/python312Packages.mypy-boto3-kafka | Type annotations for boto3 kafka |
| packages/nixpkgs/python312Packages.mypy-boto3-wafv2 | Type annotations for boto3 wafv2 |
| packages/nixpkgs/python312Packages.mypy-boto3-chime | Type annotations for boto3 chime |
| packages/nixpkgs/python312Packages.mypy-boto3-elbv2 | Type annotations for boto3 elbv2 |
| packages/nixpkgs/python312Packages.typing-utils | Utils to inspect Python type annotations |
| packages/nixpkgs/python312Packages.mypy-boto3-polly | Type annotations for boto3 polly |
| packages/nixpkgs/python312Packages.mypy-boto3-sesv2 | Type annotations for boto3 sesv2 |
| packages/nixpkgs/haskellPackages.amqp-worker | Type-safe AMQP workers |
| packages/nixpkgs/haskellPackages.simple-form | Forms that configure themselves based on type |
| packages/nixpkgs/haskellPackages.printf-safe | Type safe interface for Text |
| packages/nixpkgs/haskellPackages.union-angle | Union type that include radian angle and degree angle |
| packages/nixpkgs/haskellPackages.atomic-css | Type-safe, composable CSS utility functions |
| packages/nixpkgs/ocamlPackages_latest.json-data-encoding | Type-safe encoding to and decoding from JSON |
| packages/nixpkgs/python312Packages.django-ninja | Web framework for building APIs with Django and Python type hints |
| packages/nixpkgs/haskellPackages.dynamic | A dynamic type for Haskell |
| packages/nixpkgs/texlivePackages.minibox | A simple type of box for LaTeX |
| packages/nixpkgs/haskellPackages.typson-core | Type-safe PostgreSQL JSON Querying |
| packages/nixpkgs/texlivePackages.basque-book | Class for book-type documents written in Basque |
| packages/nixpkgs/ocamlPackages_latest.psmt2-frontend | Simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language |
| 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.modular | Type-safe modular arithmetic |
| packages/nixpkgs/haskellPackages.ptrdiff | Type-checked pointer diffs |
| packages/nixpkgs/haskellPackages.safeint | overflow-checked Int type |
| packages/nixpkgs/texlivePackages.arsenal | Open Type font by Andrij Shevchenko |
| packages/nixpkgs/texlivePackages.engpron | Helps to type the pronunciation of English words |
| packages/nixpkgs/python312Packages.python-magic | Python interface to the libmagic file type identification library |
| packages/nixpkgs/haskellPackages.json-schema | Types and type classes for defining JSON schemas |
| packages/nixpkgs/haskellPackages.coerce-role | Having trouble deriving instances because of type roles? Solve it here! |
| packages/nixpkgs/haskellPackages.hreq-client | A Type dependent Highlevel HTTP client library |
| packages/nixpkgs/haskellPackages.kleene-list | A list type based on the Kleene star and plus |
| 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.monoid | Monoid type classes, designed in modular way, distinguish Monoid from Mempty and Semigroup |
| packages/nixpkgs/ocamlPackages.resto-directory | Minimal OCaml library for type-safe HTTP/JSON RPCs |
| 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.inflist | An infinite list type and operations thereon |
| packages/nixpkgs/haskellPackages.partial | A nullary type class for partial functions |
| packages/nixpkgs/haskellPackages.nullary | A package for working with nullary type classes |
| 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/python312Packages.mypy-boto3-voice-id | Type annotations for boto3 voice-id |
| packages/nixpkgs/haskellPackages.smtlib2 | A type-safe interface to communicate with an SMT solver |
| packages/nixpkgs/haskellPackages.th-bang-compat | Compatibility for bang-type template |
| 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/texlivePackages.skaknew | The skak chess fonts redone in Adobe Type 1 |
| packages/nixpkgs/haskellPackages.text-render | A type class for rendering objects as text, pretty-printing, etc |
| packages/nixpkgs/haskellPackages.tagged-list | Lists tagged with a type-level natural number representing their length |
| packages/nixpkgs/haskellPackages.data-layer | Data layering utilities |
| packages/nixpkgs/haskellPackages.libcspm | A library providing a parser, type checker and evaluator for CSPM |
| packages/nixpkgs/haskellPackages.cfuture | A Future type that is easy to represent and handle in C/C++ |
| packages/nixpkgs/haskellPackages.failure | A simple type class for success/failure computations. (deprecated) |
| packages/nixpkgs/haskellPackages.notzero | A data type for representing numeric values, except zero |
| 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.capped-list | A list-like type for lazy sequences, with a user-defined termination value |
| packages/nixpkgs/python313Packages.mypy-boto3-devops-guru | Type annotations for boto3 devops-guru |
| packages/nixpkgs/python314Packages.mypy-boto3-devops-guru | Type annotations for boto3 devops-guru |
| packages/nixpkgs/haskellPackages.attempt | Concrete data type for handling extensible exceptions as failures. (deprecated) |
| packages/nixpkgs/haskellPackages.fastsum | A fast open-union type suitable for 100+ contained alternatives |
| packages/nixpkgs/haskellPackages.varargs | Utilities for working with variadic functions using type-level lists |
| packages/nixpkgs/haskellPackages.th-expand-syns | Expands type synonyms in Template Haskell ASTs |
| packages/nixpkgs/haskellPackages.xformat | Extensible, type-safe formatting with scanf- and printf-like functions |
| packages/nixpkgs/haskellPackages.typical | Type level numbers, vectors, list |
| packages/nixpkgs/python312Packages.mypy-boto3-sms-voice | Type annotations for boto3 sms-voice |
| packages/nixpkgs/python312Packages.mypy-boto3-sso-admin | Type annotations for boto3 sso-admin |
| packages/nixpkgs/haskellPackages.snap-web-routes | Type safe URLs for Snap |
| packages/nixpkgs/python313Packages.mypy-boto3-schemas | Type annotations for boto3 schemas |
| packages/nixpkgs/python313Packages.mypy-boto3-budgets | Type annotations for boto3 budgets |
| packages/nixpkgs/python313Packages.mypy-boto3-appflow | Type annotations for boto3 appflow |
| packages/nixpkgs/python313Packages.mypy-boto3-route53 | Type annotations for boto3 route53 |
| packages/nixpkgs/python313Packages.mypy-boto3-account | Type annotations for boto3 account |
| packages/nixpkgs/python313Packages.mypy-boto3-kinesis | Type annotations for boto3 kinesis |
| packages/nixpkgs/python313Packages.mypy-boto3-support | Type annotations for boto3 support |
| packages/nixpkgs/python313Packages.mypy-boto3-appmesh | Type annotations for boto3 appmesh |
| packages/nixpkgs/python313Packages.mypy-boto3-neptune | Type annotations for boto3 neptune |
| packages/nixpkgs/python313Packages.mypy-boto3-connect | Type annotations for boto3 connect |
| packages/nixpkgs/python313Packages.mypy-boto3-grafana | Type annotations for boto3 grafana |
| packages/nixpkgs/python313Packages.mypy-boto3-glacier | Type annotations for boto3 glacier |
| packages/nixpkgs/python313Packages.mypy-boto3-appsync | Type annotations for boto3 appsync |
| packages/nixpkgs/python313Packages.mypy-boto3-pricing | Type annotations for boto3 pricing |
| packages/nixpkgs/python313Packages.mypy-boto3-amplify | Type annotations for boto3 amplify |
| packages/nixpkgs/python313Packages.mypy-boto3-ivschat | Type annotations for boto3 ivschat |
| packages/nixpkgs/python314Packages.mypy-boto3-schemas | Type annotations for boto3 schemas |
| packages/nixpkgs/python314Packages.mypy-boto3-pricing | Type annotations for boto3 pricing |
| packages/nixpkgs/python314Packages.mypy-boto3-amplify | Type annotations for boto3 amplify |
| packages/nixpkgs/python314Packages.mypy-boto3-route53 | Type annotations for boto3 route53 |
| packages/nixpkgs/python314Packages.mypy-boto3-neptune | Type annotations for boto3 neptune |
| packages/nixpkgs/python314Packages.mypy-boto3-grafana | Type annotations for boto3 grafana |
| packages/nixpkgs/python314Packages.mypy-boto3-appmesh | Type annotations for boto3 appmesh |
| packages/nixpkgs/python314Packages.mypy-boto3-connect | Type annotations for boto3 connect |
| packages/nixpkgs/python314Packages.mypy-boto3-kinesis | Type annotations for boto3 kinesis |
| packages/nixpkgs/python314Packages.mypy-boto3-appsync | Type annotations for boto3 appsync |
| packages/nixpkgs/python314Packages.mypy-boto3-budgets | Type annotations for boto3 budgets |