| packages/nixpkgs/python314Packages.mypy-boto3-kms | Type annotations for boto3 kms |
| packages/nixpkgs/python314Packages.mypy-boto3-acm | Type annotations for boto3 acm |
| packages/nixpkgs/python314Packages.mypy-boto3-mgn | Type annotations for boto3 mgn |
| packages/nixpkgs/python314Packages.mypy-boto3-dlm | Type annotations for boto3 dlm |
| packages/nixpkgs/python314Packages.mypy-boto3-ram | Type annotations for boto3 ram |
| packages/nixpkgs/python313Packages.boto3-stubs | Type annotations for boto3 |
| packages/nixpkgs/python314Packages.boto3-stubs | Type annotations for boto3 |
| 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.slug | Type-safe slugs for Yesod ecosystem |
| packages/nixpkgs/haskellPackages.ref-fd | A type class for monads with references using functional dependencies |
| packages/nixpkgs/texlivePackages.cm-lgc | Type 1 CM-based fonts for Latin, Greek and Cyrillic |
| packages/nixpkgs/python313Packages.eth-typing | Common type annotations for Ethereum Python packages |
| packages/nixpkgs/python314Packages.eth-typing | Common type annotations for Ethereum Python packages |
| packages/nixpkgs/python313Packages.prisma | Auto-generated and fully type-safe database client for prisma |
| packages/nixpkgs/python314Packages.prisma | Auto-generated and fully type-safe database client for prisma |
| packages/nixpkgs/perl5Packages.Specio | Type constraints and coercions for Perl |
| packages/nixpkgs/perl5Packages.MooXTypeTiny | Tiny, yet Moo(se)-compatible type constraint |
| packages/nixpkgs/haskellPackages.Only | The 1-tuple type or single-value "collection" |
| packages/nixpkgs/haskellPackages.tyro | Type derived JSON parsing using Aeson |
| packages/nixpkgs/haskellPackages.void | A Haskell 98 logically uninhabited data type |
| packages/nixpkgs/haskellPackages.rio-app | Generic App type for rio |
| packages/nixpkgs/python312Packages.afdko | Adobe Font Development Kit for OpenType |
| packages/nixpkgs/texlivePackages.cmexb | cmexb10 metrics and Type 1 |
| packages/nixpkgs/haskellPackages.ivor | Theorem proving library based on dependent type theory |
| packages/nixpkgs/haskellPackages.sext | Lists, Texts, ByteStrings and Vectors with type-encoded length |
| packages/nixpkgs/haskellPackages.tpdb | Data Type for Rewriting Systems |
| packages/nixpkgs/ocamlPackages.conan-database | Database of decision trees to recognize MIME type |
| packages/nixpkgs/perl5Packages.DataFloat | Details of the floating point data type |
| packages/nixpkgs/haskellPackages.apis | A Template Haskell library for generating type safe API calls |
| packages/nixpkgs/haskellPackages.beam | A type-safe SQL mapper for Haskell that doesn't use Template Haskell |
| packages/nixpkgs/haskellPackages.mtlx | Monad transformer library with type indexes, providing 'free' copies |
| packages/nixpkgs/haskellPackages.ref-mtl | A type class for monads with references compatible with the mtl2 library |
| packages/nixpkgs/perl5Packages.FileMMagic | Guess file type from contents |
| packages/nixpkgs/haskellPackages.data-or | A data type for non-exclusive disjunction |
| packages/nixpkgs/haskellPackages.singletons-default | An optional type with type level default |
| packages/nixpkgs/haskellPackages.trivial-constraint | Constraints that any type, resp. no type fulfills |
| packages/nixpkgs/python313Packages.mypy-boto3-glue | Type annotations for boto3 glue |
| packages/nixpkgs/python313Packages.mypy-boto3-rbin | Type annotations for boto3 rbin |
| packages/nixpkgs/python313Packages.mypy-boto3-mwaa | Type annotations for boto3 mwaa |
| packages/nixpkgs/python313Packages.mypy-boto3-xray | Type annotations for boto3 xray |
| packages/nixpkgs/python313Packages.mypy-boto3-logs | Type annotations for boto3 logs |
| packages/nixpkgs/python313Packages.mypy-boto3-qldb | Type annotations for boto3 qldb |
| packages/nixpkgs/python313Packages.mypy-boto3-osis | Type annotations for boto3 osis |
| packages/nixpkgs/python314Packages.mypy-boto3-qldb | Type annotations for boto3 qldb |
| packages/nixpkgs/python314Packages.mypy-boto3-mwaa | Type annotations for boto3 mwaa |
| packages/nixpkgs/python314Packages.mypy-boto3-logs | Type annotations for boto3 logs |
| packages/nixpkgs/python314Packages.mypy-boto3-osis | Type annotations for boto3 osis |
| packages/nixpkgs/python314Packages.mypy-boto3-glue | Type annotations for boto3 glue |
| packages/nixpkgs/python314Packages.mypy-boto3-rbin | Type annotations for boto3 rbin |
| packages/nixpkgs/python314Packages.mypy-boto3-xray | Type annotations for boto3 xray |
| 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/haskellPackages.c-enum | To make a type corresponding to an enum of C language |
| packages/nixpkgs/ocamlPackages.json-data-encoding | Type-safe encoding to and decoding from JSON |
| packages/nixpkgs/haskellPackages.web-view | Type-safe HTML and CSS |
| packages/nixpkgs/haskellPackages.duet | A tiny language, a subset of Haskell (with type classes) aimed at aiding teachers to teach Haskell |
| packages/nixpkgs/haskellPackages.ggtsTC | A type checker and runtime system of rCOS/g (impl. of ggts-FCS). |
| packages/nixpkgs/haskellPackages.llvm-tf | Bindings to the LLVM compiler toolkit using type families |
| packages/nixpkgs/python314Packages.trio-typing | Type hints for Trio and related projects |
| packages/nixpkgs/python313Packages.mypy-boto3-ssm-sap | Type annotations for boto3 ssm-sap |
| packages/nixpkgs/python313Packages.mypy-boto3-acm-pca | Type annotations for boto3 acm-pca |
| packages/nixpkgs/python313Packages.pytest-mypy | Mypy static type checker plugin for Pytest |
| 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/python313Packages.trio-typing | Type hints for Trio and related projects |
| packages/nixpkgs/python314Packages.pytest-mypy | Mypy static type checker plugin for Pytest |
| packages/nixpkgs/ocamlPackages.psmt2-frontend | Simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language |
| packages/nixpkgs/ocamlPackages_latest.ppx_repr | PPX deriver for type representations |
| packages/nixpkgs/haskellPackages.exist | Dependent sum type |
| packages/nixpkgs/haskellPackages.error | The canonical error type |
| packages/nixpkgs/haskellPackages.these | An either-or-both data type |
| packages/nixpkgs/haskellPackages.names | Type level names |
| packages/nixpkgs/texlivePackages.yplan | Daily planner type calendar |
| packages/nixpkgs/akkuPackages.slib-coerce | Implementation of COMMON-LISP COERCE and TYPE-OF |
| packages/nixpkgs/perl5Packages.FileMimeInfo | Determine file type from the file name |
| packages/nixpkgs/haskellPackages.TrieMap | Automatic type inference of generalized tries with Template Haskell |
| packages/nixpkgs/haskellPackages.usb-safe | Type-safe communication with USB devices |
| packages/nixpkgs/haskellPackages.prim-ref | Primitive byte array with type variable |
| packages/nixpkgs/haskellPackages.c2hs | C->Haskell FFI tool that gives some cross-language type safety |
| packages/nixpkgs/haskellPackages.sqlc-hs | Generate type-safe Haskell code from SQL via https://github.com/sqlc-dev/sqlc. |
| packages/nixpkgs/typstPackages.pointless-size | 中文字号的号数制及字体度量单位 Chinese size system (hào-system) and type-related measurements units |
| packages/nixpkgs/python314Packages.visions | Type system for data analysis in Python |
| packages/nixpkgs/python313Packages.visions | Type system for data analysis in Python |
| packages/nixpkgs/ocamlPackages_latest.janeStreet.ppx_tydi | Let expressions, inferring pattern type from expression |
| packages/nixpkgs/haskellPackages.Empty | A type class for empty containers |
| packages/nixpkgs/haskellPackages.cased | Track string casing in its type |
| packages/nixpkgs/haskellPackages.cluss | simple alternative to type classes |
| packages/nixpkgs/haskellPackages.union | Extensible type-safe unions |
| packages/nixpkgs/haskellPackages.trasa | Type Safe Web Routing |
| packages/nixpkgs/haskellPackages.fay-text | Fay Text type represented as JavaScript strings |
| packages/nixpkgs/haskellPackages.deep-map | Deeply-nested, multiple key type maps |
| packages/nixpkgs/haskellPackages.set-with | Set of elements sorted by a different data type |
| packages/nixpkgs/postgresqlPackages.ip4r | IPv4/v6 and IPv4/v6 range index type for PostgreSQL |
| packages/nixpkgs/haskellPackages.effet | An Effect System based on Type Classes |
| packages/nixpkgs/haskellPackages.djinn | Generate Haskell code from a type |
| packages/nixpkgs/haskellPackages.ifcxt | put if statements within type constraints |
| packages/nixpkgs/haskellPackages.bool8 | Alternative Bool type stored as byte |
| packages/nixpkgs/haskellPackages.ioctl | Type-safe I/O control package |
| packages/nixpkgs/haskellPackages.witch | Convert values from one type into another |