| 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/chickenPackages_5.chickenEggs.srfi-259 | Tagged procedures with type safety (with SRFI-229 compatability) |
| packages/nixpkgs/haskellPackages.colors | A type for colors |
| packages/nixpkgs/haskellPackages.url-bytes | Memory efficient url type and parser |
| packages/nixpkgs/haskellPackages.path-like | PathLike, FileLike and DirLike type classes for the Path library |
| packages/nixpkgs/python312Packages.django-ninja | Web framework for building APIs with Django and Python type hints |
| 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/postgresql14Packages.ip4r | IPv4/v6 and IPv4/v6 range index type for PostgreSQL |
| packages/nixpkgs/postgresql17Packages.ip4r | IPv4/v6 and IPv4/v6 range index type for PostgreSQL |
| packages/nixpkgs/postgresql15Packages.ip4r | IPv4/v6 and IPv4/v6 range index type for PostgreSQL |
| packages/nixpkgs/postgresql18Packages.ip4r | IPv4/v6 and IPv4/v6 range index type for PostgreSQL |
| packages/nixpkgs/postgresql16Packages.ip4r | IPv4/v6 and IPv4/v6 range index type for PostgreSQL |
| packages/nixpkgs/haskellPackages.core-text | A rope type based on a finger tree over UTF-8 fragments |
| packages/nixpkgs/haskellPackages.haste-app | Framework for type-safe, distributed web applications |
| packages/nixpkgs/haskellPackages.sheets | Spreadsheet type for composite |
| packages/nixpkgs/haskellPackages.thrist | Type-threaded list |
| packages/nixpkgs/haskellPackages.text-utf8 | An efficient packed UTF-8 backed Unicode text type |
| packages/nixpkgs/perlPackages.LWPMediaTypes | Guess media type for a file or a URL |
| packages/nixpkgs/python312Packages.python-magic | Python interface to the libmagic file type identification library |
| 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 |
| packages/nixpkgs/python314Packages.mypy-boto3-glacier | Type annotations for boto3 glacier |
| packages/nixpkgs/python314Packages.mypy-boto3-ivschat | Type annotations for boto3 ivschat |
| packages/nixpkgs/python314Packages.mypy-boto3-support | Type annotations for boto3 support |
| packages/nixpkgs/python314Packages.mypy-boto3-appflow | Type annotations for boto3 appflow |
| packages/nixpkgs/python314Packages.mypy-boto3-account | Type annotations for boto3 account |
| packages/nixpkgs/haskellPackages.beam-core | Type-safe, feature-complete SQL query and manipulation interface for Haskell |
| packages/nixpkgs/haskellPackages.free-foil | Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads) |
| packages/nixpkgs/haskellPackages.reader | A reader data type with all the bits |
| packages/nixpkgs/python312Packages.mypy-boto3-voice-id | Type annotations for boto3 voice-id |
| packages/nixpkgs/haskellPackages.ClassLaws | Stating and checking laws for type class methods |
| packages/nixpkgs/haskellPackages.HappyTree | Type Safe and End to End Decision Tree |
| packages/nixpkgs/haskellPackages.hdbc-tuple | Type save tuples for HDBC |
| packages/nixpkgs/haskellPackages.data-clist | Simple functional ring type |
| packages/nixpkgs/haskellPackages.fixed-list | A fixed length list type |
| packages/nixpkgs/haskellPackages.hybrid | A implementation of a type-checker for Lambda-H |
| packages/nixpkgs/haskellPackages.djinn-lib | Generate Haskell code from a type |
| packages/nixpkgs/haskellPackages.djinn-ghc | Generate Haskell code from a type |
| packages/nixpkgs/haskellPackages.basic-lens | Basic lens type and functions |
| packages/nixpkgs/haskellPackages.symbol | A 'Symbol' type for fast symbol comparison |
| packages/nixpkgs/haskellPackages.sorted | Efficient, type-safe sorted sequences |
| packages/nixpkgs/idrisPackages.derive | Type class deriving with elaboration reflection |
| packages/nixpkgs/haskellPackages.minlen | Express the minimum length of a container in its type |
| packages/nixpkgs/python313Packages.mypy-boto3-chime-sdk-voice | Type annotations for boto3 chime-sdk-voice |
| packages/nixpkgs/python313Packages.mypy-boto3-arc-zonal-shift | Type annotations for boto3 arc-zonal-shift |
| packages/nixpkgs/python313Packages.mypy-boto3-builder | Type annotations builder for boto3 |
| packages/nixpkgs/python314Packages.mypy-boto3-chime-sdk-voice | Type annotations for boto3 chime-sdk-voice |
| packages/nixpkgs/python314Packages.mypy-boto3-builder | Type annotations builder for boto3 |
| packages/nixpkgs/python314Packages.mypy-boto3-arc-zonal-shift | Type annotations for boto3 arc-zonal-shift |
| packages/nixpkgs/haskellPackages.MultiChor | Type-safe and efficient choreographies with location-set polymorphism |
| packages/nixpkgs/haskellPackages.ascii-char | A Char type representing an ASCII character |
| packages/nixpkgs/haskellPackages.mangle | Convert C++ type signatures to their mangled form |
| packages/nixpkgs/haskellPackages.hslua-list | Opinionated, but extensible Lua list type |
| packages/nixpkgs/haskellPackages.error-list | A useful type for collecting error messages |
| packages/nixpkgs/haskellPackages.static | Type-safe and interoperable static values and closures |
| packages/nixpkgs/haskellPackages.open-union | Extensible, type-safe unions |
| packages/nixpkgs/haskellPackages.prim-array | Primitive byte array with type variable |
| packages/nixpkgs/haskellPackages.userid | The UserId type and useful instances for web development |
| packages/nixpkgs/haskellPackages.unitym | A monad type class shared between web services |
| packages/nixpkgs/haskellPackages.ribbit | [Unmaintained] Type-level Relational DB combinators |
| packages/nixpkgs/haskellPackages.tensor | A completely type-safe library for linear algebra |
| packages/nixpkgs/perl5Packages.LWPMediaTypes | Guess media type for a file or a URL |
| packages/nixpkgs/haskellPackages.spooky | Unified API for phantom typed newtypes and type aliases |
| packages/nixpkgs/ocamlPackages.resto-directory | Minimal OCaml library for type-safe HTTP/JSON RPCs |
| 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/python312Packages.nptyping | Type hints for numpy |
| packages/nixpkgs/akkuPackages.slib-dynamic | Dynamic data type |
| packages/nixpkgs/haskellPackages.ghc-dump-tree | Dump GHC's parsed, renamed, and type checked ASTs |
| packages/nixpkgs/haskellPackages.layers | Modular type class machinery for monad transformer stacks |
| packages/nixpkgs/haskellPackages.data-ascii | Type-safe, bytestring-based ASCII values |