| packages/nixpkgs/haskellPackages.ttc | Textual Type Classes |
| packages/nixpkgs/haskellPackages.to | Simple, safe, boring type conversions |
| packages/nixpkgs/ocamlPackages_latest.ppx_hash | PPX rewriter that generates hash functions from type expressions and definitions |
| packages/nixpkgs/ocamlPackages.janeStreet.ppx_hash | PPX rewriter that generates hash functions from type expressions and definitions |
| packages/nixpkgs/python314Packages.typing-utils | Utils to inspect Python type annotations |
| packages/nixpkgs/python313Packages.mypy-boto3-batch | Type annotations for boto3 batch |
| packages/nixpkgs/python313Packages.mypy-boto3-sesv2 | Type annotations for boto3 sesv2 |
| packages/nixpkgs/python313Packages.mypy-boto3-kafka | Type annotations for boto3 kafka |
| packages/nixpkgs/python313Packages.mypy-boto3-wafv2 | Type annotations for boto3 wafv2 |
| packages/nixpkgs/python313Packages.mypy-boto3-pipes | Type annotations for boto3 pipes |
| packages/nixpkgs/python313Packages.mypy-boto3-polly | Type annotations for boto3 polly |
| packages/nixpkgs/python313Packages.mypy-boto3-docdb | Type annotations for boto3 docdb |
| packages/nixpkgs/python313Packages.mypy-boto3-mturk | Type annotations for boto3 mturk |
| packages/nixpkgs/python313Packages.mypy-boto3-elbv2 | Type annotations for boto3 elbv2 |
| packages/nixpkgs/python313Packages.mypy-boto3-omics | Type annotations for boto3 omics |
| packages/nixpkgs/python313Packages.mypy-boto3-chime | Type annotations for boto3 chime |
| packages/nixpkgs/python314Packages.mypy-boto3-batch | Type annotations for boto3 batch |
| packages/nixpkgs/python314Packages.mypy-boto3-pipes | Type annotations for boto3 pipes |
| packages/nixpkgs/python314Packages.mypy-boto3-elbv2 | Type annotations for boto3 elbv2 |
| packages/nixpkgs/python314Packages.mypy-boto3-omics | Type annotations for boto3 omics |
| packages/nixpkgs/python314Packages.mypy-boto3-mturk | Type annotations for boto3 mturk |
| packages/nixpkgs/python313Packages.typing-utils | Utils to inspect Python type annotations |
| packages/nixpkgs/python314Packages.mypy-boto3-sesv2 | Type annotations for boto3 sesv2 |
| packages/nixpkgs/python314Packages.mypy-boto3-docdb | Type annotations for boto3 docdb |
| packages/nixpkgs/python314Packages.mypy-boto3-kafka | Type annotations for boto3 kafka |
| packages/nixpkgs/python314Packages.mypy-boto3-chime | Type annotations for boto3 chime |
| packages/nixpkgs/python314Packages.mypy-boto3-polly | Type annotations for boto3 polly |
| packages/nixpkgs/python314Packages.mypy-boto3-wafv2 | Type annotations for boto3 wafv2 |
| packages/nixpkgs/haskellPackages.asn | asn type and encoding/decoding |
| packages/nixpkgs/haskellPackages.srt | The data type for SRT files |
| packages/nixpkgs/haskellPackages.tao | Type-level assertion operators |
| packages/nixpkgs/python312Packages.result | Rust-like result type for Python |
| packages/nixpkgs/python313Packages.django-ninja | Web framework for building APIs with Django and Python type hints |
| packages/nixpkgs/python314Packages.django-ninja | Web framework for building APIs with Django and Python type hints |
| packages/nixpkgs/haskellPackages.ess | The type-level S combinator in Haskell |
| packages/nixpkgs/haskellPackages.key | Type-safe unconstrained dynamic typing |
| packages/nixpkgs/haskellPackages.eio | IO with Exceptions tracked on the type-level |
| packages/nixpkgs/haskellPackages.nf | NF data type to statically enforce normal form |
| packages/nixpkgs/haskellPackages.mod | Fast type-safe modular arithmetic |
| packages/nixpkgs/haskellPackages.oneOfN | Anonymous coproduct type |
| packages/nixpkgs/python313Packages.python-magic | Python interface to the libmagic file type identification library |
| packages/nixpkgs/python314Packages.python-magic | Python interface to the libmagic file type identification library |
| packages/nixpkgs/python312Packages.lxml-stubs | Type stubs for the lxml package |
| packages/nixpkgs/python313Packages.lxml-stubs | Type stubs for the lxml package |
| packages/nixpkgs/haskellPackages.DrIFT | Program to derive type class instances |
| packages/nixpkgs/haskellPackages.cfg | Type directed application configuration parsing and accessors |
| packages/nixpkgs/haskellPackages.VecN | a simple peano-indexed vector type |
| packages/nixpkgs/haskellPackages.rle | A data type of run-length-encoded lists |
| packages/nixpkgs/haskellPackages.some | Existential type: Some |
| packages/nixpkgs/haskellPackages.qd | double-double and quad-double number type via libqd |
| packages/nixpkgs/haskellPackages.str | A type class to abstract between many different string types |
| packages/nixpkgs/python313Packages.mypy-boto3-voice-id | Type annotations for boto3 voice-id |
| packages/nixpkgs/python314Packages.mypy-boto3-voice-id | Type annotations for boto3 voice-id |
| packages/nixpkgs/akkuPackages.slib-color | Color data type |
| packages/nixpkgs/haskellPackages.CTRex | Open records using closed type families |
| packages/nixpkgs/haskellPackages.dag | Compile-time, type-safe directed acyclic graphs |
| packages/nixpkgs/haskellPackages.flag | A simple flag type |
| packages/nixpkgs/haskellPackages.rpc | type safe rpcs provided as basic IO actions |
| packages/nixpkgs/haskellPackages.ten | Functors et al. over arity-1 type constructors |
| packages/nixpkgs/haskellPackages.from | Typeclasses for type conversion mappings |
| packages/nixpkgs/python312Packages.mypy-boto3-ce | Type annotations for boto3 ce |
| packages/nixpkgs/python312Packages.mypy-boto3-ds | Type annotations for boto3 ds |
| packages/nixpkgs/python312Packages.mypy-boto3-m2 | Type annotations for boto3 m2 |
| packages/nixpkgs/python312Packages.mypy-boto3-es | Type annotations for boto3 es |
| packages/nixpkgs/python312Packages.mypy-boto3-s3 | Type annotations for boto3 s3 |
| packages/nixpkgs/python312Packages.mypy-boto3-pi | Type annotations for boto3 pi |
| packages/nixpkgs/python312Packages.mypy-boto3-mq | Type annotations for boto3 mq |
| packages/nixpkgs/haskellPackages.OptDir | The OptDir type for representing optimization directions |
| packages/nixpkgs/haskellPackages.hole | Higher kinded type removal |
| packages/nixpkgs/haskellPackages.df1 | Type, render and parse the df1 hierarchical structured log format |
| packages/nixpkgs/haskellPackages.mtl-tf | Monad Transformer Library with Type Families |
| packages/nixpkgs/texlivePackages.cmexb | cmexb10 metrics and Type 1 |
| packages/nixpkgs/python313Packages.mypy-boto3-sms-voice | Type annotations for boto3 sms-voice |
| packages/nixpkgs/python313Packages.nptyping | Type hints for numpy |
| packages/nixpkgs/python313Packages.mypy-boto3-sso-admin | Type annotations for boto3 sso-admin |
| packages/nixpkgs/python314Packages.nptyping | Type hints for numpy |
| packages/nixpkgs/python314Packages.mypy-boto3-sso-admin | Type annotations for boto3 sso-admin |
| packages/nixpkgs/python314Packages.mypy-boto3-sms-voice | Type annotations for boto3 sms-voice |
| packages/nixpkgs/haskellPackages.inch | A type-checker for Haskell with integer constraints |
| packages/nixpkgs/haskellPackages.clif | A Clifford algebra number type for Haskell |
| packages/nixpkgs/haskellPackages.raaz | Fast and type safe cryptography |
| 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/python312Packages.boto3-stubs | Type annotations for boto3 |
| packages/nixpkgs/python312Packages.mypy-boto3-tnb | Type annotations for boto3 tnb |
| packages/nixpkgs/python312Packages.mypy-boto3-sms | Type annotations for boto3 sms |
| packages/nixpkgs/python312Packages.mypy-boto3-swf | Type annotations for boto3 swf |
| packages/nixpkgs/python312Packages.mypy-boto3-elb | Type annotations for boto3 elb |
| packages/nixpkgs/python312Packages.mypy-boto3-waf | Type annotations for boto3 waf |
| packages/nixpkgs/python312Packages.mypy-boto3-sns | Type annotations for boto3 sns |
| packages/nixpkgs/python312Packages.mypy-boto3-dax | Type annotations for boto3 dax |
| packages/nixpkgs/python312Packages.mypy-boto3-ssm | Type annotations for boto3 ssm |
| packages/nixpkgs/python312Packages.mypy-boto3-ecr | Type annotations for boto3 ecr |
| packages/nixpkgs/python312Packages.mypy-boto3-rds | Type annotations for boto3 rds |
| packages/nixpkgs/python312Packages.mypy-boto3-iam | Type annotations for boto3 iam |
| packages/nixpkgs/python312Packages.mypy-boto3-mgh | Type annotations for boto3 mgh |
| packages/nixpkgs/python312Packages.mypy-boto3-drs | Type annotations for boto3 drs |
| packages/nixpkgs/python312Packages.mypy-boto3-ebs | Type annotations for boto3 ebs |
| packages/nixpkgs/python312Packages.mypy-boto3-sdb | Type annotations for boto3 sdb |