| packages/nixpkgs/python314Packages.mypy-boto3-osis | Type annotations for boto3 osis |
| packages/nixpkgs/python314Packages.mypy-boto3-qldb | Type annotations for boto3 qldb |
| packages/nixpkgs/typstPackages.prooftrees | [Deprecated in favour of `curryst`; this package is no longer maintained.] Proof trees for natural deduction and type theories |
| packages/nixpkgs/json2ts | Compile JSON Schema to TypeScript type declarations |
| packages/nixpkgs/python312Packages.afdko | Adobe Font Development Kit for OpenType |
| packages/nixpkgs/ocamlPackages_latest.ppx_repr | PPX deriver for type representations |
| packages/nixpkgs/python313Packages.mypy-boto3-acm-pca | Type annotations for boto3 acm-pca |
| packages/nixpkgs/python313Packages.mypy-boto3-ssm-sap | Type annotations for boto3 ssm-sap |
| packages/nixpkgs/python313Packages.pytest-mypy | Mypy static type checker plugin for Pytest |
| packages/nixpkgs/python313Packages.trio-typing | Type hints for Trio and related projects |
| packages/nixpkgs/python314Packages.mypy-boto3-ssm-sap | Type annotations for boto3 ssm-sap |
| packages/nixpkgs/python314Packages.mypy-boto3-acm-pca | Type annotations for boto3 acm-pca |
| packages/nixpkgs/python314Packages.pytest-mypy | Mypy static type checker plugin for Pytest |
| packages/nixpkgs/python314Packages.trio-typing | Type hints for Trio and related projects |
| packages/nixpkgs/ocamlPackages.conan-database | Database of decision trees to recognize MIME type |
| packages/nixpkgs/python313Packages.visions | Type system for data analysis in Python |
| packages/nixpkgs/python314Packages.visions | Type system for data analysis in Python |
| packages/nixpkgs/python313Packages.prodict | Access Python dictionary as a class with type hinting and autocompletion |
| packages/nixpkgs/python314Packages.prodict | Access Python dictionary as a class with type hinting and autocompletion |
| packages/nixpkgs/haskellPackages.id | Id (f a) data type |
| packages/nixpkgs/ocamlPackages.json-data-encoding | Type-safe encoding to and decoding from JSON |
| packages/nixpkgs/ocamlPackages_latest.ppx_tydi | Let expressions, inferring pattern type from expression |
| packages/nixpkgs/ocamlPackages.janeStreet.ppx_tydi | Let expressions, inferring pattern type from expression |
| packages/nixpkgs/postgresqlPackages.ip4r | IPv4/v6 and IPv4/v6 range index type for PostgreSQL |
| packages/nixpkgs/python314Packages.cffsubr | Standalone CFF subroutinizer based on AFDKO tx |
| packages/nixpkgs/typstPackages.pointless-size | 中文字号的号数制及字体度量单位 Chinese size system (hào-system) and type-related measurements units |
| packages/nixpkgs/haskellPackages.ty | Typed type representations and equality proofs |
| packages/nixpkgs/haskellPackages.ttc | Textual Type Classes |
| packages/nixpkgs/haskellPackages.op2 | Functions of the type `a -> a -> b` |
| packages/nixpkgs/haskellPackages.to | Simple, safe, boring type conversions |
| packages/nixpkgs/ocamlPackages.psmt2-frontend | Simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language |
| packages/nixpkgs/python313Packages.cffsubr | Standalone CFF subroutinizer based on AFDKO tx |
| packages/nixpkgs/python313Packages.mypy-boto3-sso-oidc | Type annotations for boto3 sso-oidc |
| packages/nixpkgs/python313Packages.pandas-stubs | Type annotations for Pandas |
| packages/nixpkgs/python313Packages.mypy-boto3-rds-data | Type annotations for boto3 rds-data |
| packages/nixpkgs/python313Packages.mypy-boto3-iot-data | Type annotations for boto3 iot-data |
| packages/nixpkgs/python314Packages.mypy-boto3-rds-data | Type annotations for boto3 rds-data |
| packages/nixpkgs/python314Packages.pandas-stubs | Type annotations for Pandas |
| packages/nixpkgs/python314Packages.mypy-boto3-iot-data | Type annotations for boto3 iot-data |
| packages/nixpkgs/python314Packages.mypy-boto3-sso-oidc | Type annotations for boto3 sso-oidc |
| packages/nixpkgs/haskellPackages.asn | asn type and encoding/decoding |
| packages/nixpkgs/haskellPackages.tao | Type-level assertion operators |
| packages/nixpkgs/haskellPackages.srt | The data type for SRT files |
| packages/nixpkgs/ocamlPackages.janeStreet.ppx_hash | PPX rewriter that generates hash functions from type expressions and definitions |
| packages/nixpkgs/ocamlPackages_latest.ppx_hash | PPX rewriter that generates hash functions from type expressions and definitions |
| 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-batch | Type annotations for boto3 batch |
| packages/nixpkgs/python313Packages.mypy-boto3-chime | Type annotations for boto3 chime |
| packages/nixpkgs/python313Packages.mypy-boto3-pipes | Type annotations for boto3 pipes |
| packages/nixpkgs/python313Packages.mypy-boto3-omics | Type annotations for boto3 omics |
| packages/nixpkgs/python313Packages.mypy-boto3-wafv2 | Type annotations for boto3 wafv2 |
| packages/nixpkgs/python313Packages.mypy-boto3-mturk | Type annotations for boto3 mturk |
| packages/nixpkgs/python313Packages.mypy-boto3-kafka | Type annotations for boto3 kafka |
| packages/nixpkgs/python313Packages.mypy-boto3-elbv2 | Type annotations for boto3 elbv2 |
| packages/nixpkgs/python313Packages.mypy-boto3-sesv2 | Type annotations for boto3 sesv2 |
| packages/nixpkgs/python314Packages.mypy-boto3-elbv2 | Type annotations for boto3 elbv2 |
| packages/nixpkgs/python314Packages.mypy-boto3-chime | Type annotations for boto3 chime |
| packages/nixpkgs/python314Packages.mypy-boto3-omics | Type annotations for boto3 omics |
| packages/nixpkgs/python313Packages.typing-utils | Utils to inspect Python type annotations |
| packages/nixpkgs/python314Packages.mypy-boto3-docdb | Type annotations for boto3 docdb |
| packages/nixpkgs/python314Packages.mypy-boto3-pipes | Type annotations for boto3 pipes |
| packages/nixpkgs/python314Packages.mypy-boto3-wafv2 | Type annotations for boto3 wafv2 |
| packages/nixpkgs/python314Packages.mypy-boto3-kafka | Type annotations for boto3 kafka |
| packages/nixpkgs/python314Packages.mypy-boto3-mturk | Type annotations for boto3 mturk |
| packages/nixpkgs/python314Packages.mypy-boto3-polly | Type annotations for boto3 polly |
| packages/nixpkgs/python314Packages.mypy-boto3-batch | Type annotations for boto3 batch |
| packages/nixpkgs/python314Packages.mypy-boto3-sesv2 | Type annotations for boto3 sesv2 |
| packages/nixpkgs/python314Packages.typing-utils | Utils to inspect Python type annotations |
| packages/nixpkgs/python312Packages.result | Rust-like result type for Python |
| 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.oneOfN | Anonymous coproduct type |
| packages/nixpkgs/haskellPackages.mod | Fast type-safe modular arithmetic |
| packages/nixpkgs/haskellPackages.nf | NF data type to statically enforce normal form |
| 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 |
| options/nixos/services.filesender.settings.storage_filesystem_path | When using storage type filesystem this is the absolute path to the file system where uploaded files are stored until they expire
|
| 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.VecN | a simple peano-indexed vector type |
| packages/nixpkgs/haskellPackages.cfg | Type directed application configuration parsing and accessors |
| packages/nixpkgs/haskellPackages.qd | double-double and quad-double number type via libqd |
| packages/nixpkgs/haskellPackages.some | Existential type: Some |
| packages/nixpkgs/haskellPackages.rle | A data type of run-length-encoded lists |
| 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/haskellPackages.str | A type class to abstract between many different string types |
| 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/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/haskellPackages.from | Typeclasses for type conversion mappings |
| packages/nixpkgs/python312Packages.mypy-boto3-ce | Type annotations for boto3 ce |