| packages/nixpkgs/haskellPackages.warlock | Automatic type-safe conversion between Haskell data types using Template Haskell |
| packages/nixpkgs/python312Packages.mypy-boto3-route53 | Type annotations for boto3 route53 |
| packages/nixpkgs/python312Packages.mypy-boto3-connect | Type annotations for boto3 connect |
| packages/nixpkgs/python312Packages.mypy-boto3-amplify | Type annotations for boto3 amplify |
| packages/nixpkgs/python312Packages.mypy-boto3-appmesh | Type annotations for boto3 appmesh |
| packages/nixpkgs/python312Packages.mypy-boto3-glacier | Type annotations for boto3 glacier |
| packages/nixpkgs/python312Packages.mypy-boto3-ivschat | Type annotations for boto3 ivschat |
| packages/nixpkgs/python312Packages.mypy-boto3-grafana | Type annotations for boto3 grafana |
| packages/nixpkgs/python312Packages.mypy-boto3-budgets | Type annotations for boto3 budgets |
| packages/nixpkgs/python312Packages.mypy-boto3-schemas | Type annotations for boto3 schemas |
| packages/nixpkgs/python312Packages.mypy-boto3-kinesis | Type annotations for boto3 kinesis |
| packages/nixpkgs/python312Packages.mypy-boto3-pricing | Type annotations for boto3 pricing |
| packages/nixpkgs/python312Packages.mypy-boto3-appflow | Type annotations for boto3 appflow |
| packages/nixpkgs/python312Packages.mypy-boto3-appsync | Type annotations for boto3 appsync |
| packages/nixpkgs/python312Packages.mypy-boto3-neptune | Type annotations for boto3 neptune |
| packages/nixpkgs/python312Packages.mypy-boto3-builder | Type annotations builder for boto3 |
| packages/nixpkgs/python312Packages.mypy-boto3-account | Type annotations for boto3 account |
| packages/nixpkgs/python312Packages.mypy-boto3-support | Type annotations for boto3 support |
| packages/nixpkgs/chickenPackages_5.chickenEggs.records | Procedural record-type interface |
| packages/nixpkgs/haskellPackages.convert | Safe and unsafe data conversion utilities with strong type-level operation. checking. |
| packages/nixpkgs/haskellPackages.setters | Small (TH) library to declare setters for typical `record' data type fields |
| packages/nixpkgs/haskellPackages.servant-xml | Servant support for the XML Content-Type |
| packages/nixpkgs/haskellPackages.simple-index | Allows simple indexation on any data type |
| packages/nixpkgs/haskellPackages.rhine_1_6 | Functional Reactive Programming with type-level clocks |
| packages/nixpkgs/python313Packages.immutables | Immutable mapping type |
| packages/nixpkgs/python313Packages.mypy-boto3-ivs-realtime | Type annotations for boto3 ivs-realtime |
| packages/nixpkgs/python313Packages.mypy-boto3-ssm-contacts | Type annotations for boto3 ssm-contacts |
| packages/nixpkgs/python313Packages.mypy-boto3-waf-regional | Type annotations for boto3 waf-regional |
| packages/nixpkgs/python314Packages.mypy-boto3-waf-regional | Type annotations for boto3 waf-regional |
| packages/nixpkgs/python314Packages.immutables | Immutable mapping type |
| packages/nixpkgs/python314Packages.mypy-boto3-ssm-contacts | Type annotations for boto3 ssm-contacts |
| packages/nixpkgs/python314Packages.mypy-boto3-ivs-realtime | Type annotations for boto3 ivs-realtime |
| packages/nixpkgs/haskellPackages.DataVersion | Type safe data migrations |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-th | A type class for cast functions of Gtk2hs: TH package |
| packages/nixpkgs/haskellPackages.intmap-graph | A graph library that allows to explore edges after their type |
| packages/nixpkgs/haskellPackages.magic-tyfams | Write plugins for magic type families with ease |
| packages/nixpkgs/haskellPackages.data-layer | Data layering utilities |
| packages/nixpkgs/haskellPackages.rio-orphans | Orphan instances for the RIO type in the rio package |
| packages/nixpkgs/python312Packages.mypy-boto3-arc-zonal-shift | Type annotations for boto3 arc-zonal-shift |
| packages/nixpkgs/python312Packages.mypy-boto3-chime-sdk-voice | Type annotations for boto3 chime-sdk-voice |
| packages/nixpkgs/perl538Packages.LWPMediaTypes | Guess media type for a file or a URL |
| packages/nixpkgs/perl540Packages.LWPMediaTypes | Guess media type for a file or a URL |
| packages/nixpkgs/haskellPackages.aztecs-sdl-text | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.simple-c-value | A simple C value type |
| packages/nixpkgs/haskellPackages.text_2_0_2 | An efficient packed Unicode text type |
| packages/nixpkgs/haskellPackages.text_2_1_2 | An efficient packed Unicode text type |
| packages/nixpkgs/haskellPackages.codet-plugin | GHC type-checker plugin for solving LiftT instances from codet |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-gtk | A type class for cast functions of Gtk2hs: gtk package |
| packages/nixpkgs/haskellPackages.generic-tree | Generic Tree data type |
| packages/nixpkgs/haskellPackages.aztecs-asset | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.servant-avro | Avro content type for Servant |
| packages/nixpkgs/haskellPackages.th-reify-compat | Compatibility for the result type of TH reify |
| packages/nixpkgs/texlivePackages.ocr-b-outline | OCR-B fonts in Type 1 and OpenType |
| packages/nixpkgs/python312Packages.botocore-stubs | Type annotations and code completion for botocore |
| packages/nixpkgs/python312Packages.click-datetime | Datetime type support for click |
| packages/nixpkgs/haskellPackages.AC-Vector-Fancy | Fancy type-system stuff for AC-Vector |
| packages/nixpkgs/haskellPackages.AC-HalfInteger | Efficient half-integer type |
| packages/nixpkgs/haskellPackages.Delta-Lambda | A demonstration interpreter for type system delta-lambda (of N |
| packages/nixpkgs/haskellPackages.data-checked | Type-indexed runtime-checked properties |
| packages/nixpkgs/haskellPackages.data-flagset | An efficient data type for sets of flags |
| packages/nixpkgs/haskellPackages.simple-units | Simple arithmetic with SI units using type-checked dimensional analysis |
| packages/nixpkgs/haskellPackages.text_2_1_3 | An efficient packed Unicode text type |
| packages/nixpkgs/perlPackages.SymbolGlobalName | Finds name and type of a global variable |
| packages/nixpkgs/python312Packages.mypy-boto3-vpc-lattice | Type annotations for boto3 vpc-lattice |
| packages/nixpkgs/python312Packages.mypy-boto3-support-app | Type annotations for boto3 support-app |
| packages/nixpkgs/python312Packages.mypy-boto3-cognito-idp | Type annotations for boto3 cognito-idp |
| packages/nixpkgs/python312Packages.jaxtyping | Type annotations and runtime checking for JAX arrays and PyTrees |
| packages/nixpkgs/python312Packages.mypy-boto3-lex-runtime | Type annotations for boto3 lex-runtime |
| packages/nixpkgs/python312Packages.mypy-boto3-lexv2-models | Type annotations for boto3 lexv2-models |
| packages/nixpkgs/python313Packages.mypy-boto3-redshift-data | Type annotations for boto3 redshift-data |
| packages/nixpkgs/python313Packages.atomiclong | Long data type with atomic operations using CFFI |
| packages/nixpkgs/python313Packages.mypy-boto3-finspace-data | Type annotations for boto3 finspace-data |
| packages/nixpkgs/python314Packages.mypy-boto3-redshift-data | Type annotations for boto3 redshift-data |
| packages/nixpkgs/python314Packages.atomiclong | Long data type with atomic operations using CFFI |
| packages/nixpkgs/python314Packages.mypy-boto3-finspace-data | Type annotations for boto3 finspace-data |
| packages/nixpkgs/haskellPackages.f-algebra-gen | Generate a special f-algebra combinator from any data type |
| packages/nixpkgs/haskellPackages.kind-integer | Type-level integers |
| packages/nixpkgs/haskellPackages.haskell-docs | A program to find and display the docs and type of a name |
| packages/nixpkgs/haskellPackages.horizon-spec | Horizon Stable Package Set Type Definitions |
| packages/nixpkgs/haskellPackages.smtlib2-pipe | A type-safe interface to communicate with an SMT solver |
| packages/nixpkgs/haskellPackages.multiset | The Data |
| packages/nixpkgs/haskellPackages.higgledy | Partial types as a type constructor |
| packages/nixpkgs/python314Packages.psautohint | Script to normalize the XML and other data inside of a UFO |
| packages/nixpkgs/perl540Packages.CairoGObject | Integrate Cairo into the Glib type system |
| packages/nixpkgs/perl538Packages.CairoGObject | Integrate Cairo into the Glib type system |
| packages/nixpkgs/haskellPackages.hssqlppp | SQL parser and type checker |
| packages/nixpkgs/haskellPackages.data-rtuple | Recursive tuple data structure |
| packages/nixpkgs/haskellPackages.finitary | A better, more type-safe Enum |
| packages/nixpkgs/haskellPackages.byteable | Type class for sequence of bytes |
| packages/nixpkgs/haskellPackages.membrain | Type-safe memory units |
| packages/nixpkgs/haskellPackages.possibly | type Possibly a = Either String a |
| packages/nixpkgs/haskellPackages.recover-rtti | Recover run-time type information from the GHC heap |
| packages/nixpkgs/haskellPackages.webgear-core | Composable, type-safe library to build HTTP APIs |
| packages/nixpkgs/haskellPackages.timelike | Type classes for types representing time |
| packages/nixpkgs/python312Packages.dicttoxml | Converts a Python dictionary or other native data type into a valid XML string |
| packages/nixpkgs/python312Packages.pydantic_1 | Data validation and settings management using Python type hinting |
| packages/nixpkgs/python313Packages.mypy-boto3-backup-gateway | Type annotations for boto3 backup-gateway |
| packages/nixpkgs/python313Packages.mypy-boto3-service-quotas | Type annotations for boto3 service-quotas |
| packages/nixpkgs/python313Packages.mypy-boto3-kendra-ranking | Type annotations for boto3 kendra-ranking |
| packages/nixpkgs/python313Packages.dicttoxml2 | Converts a Python dictionary or other native data type into a valid XML string |