| packages/nixpkgs/haskellPackages.multi-instance | Typeclasses augmented with a phantom type parameter |
| packages/nixpkgs/telepathy-farstream | GObject-based C library that uses Telepathy GLib, Farstream and GStreamer to handle the media streaming part of channels of type Call |
| packages/nixpkgs/akkuPackages.dataframe | A dataframe record type for Scheme (R6RS) with procedures to select, drop, and rename columns, and filter, sort, split, bind, append, join, reshape, and aggregate dataframes. |
| packages/nixpkgs/haskellPackages.lambda-options | Declarative command-line parser with type-driven pattern matching |
| packages/nixpkgs/haskellPackages.fixedprec | A fixed-precision real number type |
| packages/nixpkgs/haskellPackages.enumerate | enumerate all the values in a finite type (automatically) |
| packages/nixpkgs/haskellPackages.libffi-dynamic | LibFFI interface with dynamic bidirectional type-driven binding generation |
| packages/nixpkgs/haskellPackages.saferoute | A simple type-safe routing library |
| packages/nixpkgs/haskellPackages.servant-proto-lens | Servant Content-Type for proto-lens protobuf modules |
| packages/nixpkgs/haskellPackages.symparsec | Type level string parser combinators |
| packages/nixpkgs/haskellPackages.open-adt-tutorial | Open algebraic data type examples |
| packages/nixpkgs/haskellPackages.unpacked-maybe | An unpacked maybe data type |
| packages/nixpkgs/haskellPackages.webgear-server | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.separated | A data type with elements separated by values |
| packages/nixpkgs/python312Packages.psautohint | Script to normalize the XML and other data inside of a UFO |
| packages/nixpkgs/haskellPackages.groundhog | Type-safe datatype-database mapping library |
| packages/nixpkgs/haskellPackages.functora-witch | Convert values from one type into another |
| packages/nixpkgs/haskellPackages.numbering | Combinators for creating bijections from some type to the natural numbers |
| packages/nixpkgs/haskellPackages.streaming | an elementary streaming prelude and general stream type |
| packages/nixpkgs/haskellPackages.vector-space-points | A type for points, as distinct from vectors |
| packages/nixpkgs/haskellPackages.Coroutine | Type-safe coroutines using lightweight session types |
| packages/nixpkgs/haskellPackages.aeson-deriving | data types for compositional, type-directed serialization |
| packages/nixpkgs/python312Packages.dicttoxml2 | Converts a Python dictionary or other native data type into a valid XML string |
| packages/nixpkgs/python312Packages.mypy-boto3-service-quotas | Type annotations for boto3 service-quotas |
| packages/nixpkgs/python312Packages.mypy-boto3-kendra-ranking | Type annotations for boto3 kendra-ranking |
| packages/nixpkgs/python312Packages.mypy-boto3-backup-gateway | Type annotations for boto3 backup-gateway |
| packages/nixpkgs/python313Packages.pytest-fixture-classes | Fixtures as classes that work well with dependency injection, autocompletetion, type checkers, and language servers |
| packages/nixpkgs/python314Packages.pytest-fixture-classes | Fixtures as classes that work well with dependency injection, autocompletetion, type checkers, and language servers |
| packages/nixpkgs/perl540Packages.SymbolGlobalName | Finds name and type of a global variable |
| packages/nixpkgs/perl538Packages.SymbolGlobalName | Finds name and type of a global variable |
| packages/nixpkgs/haskellPackages.composite-xml | RecXML Type |
| packages/nixpkgs/haskellPackages.exference | Tool to search/generate (haskell) expressions with a given type |
| packages/nixpkgs/haskellPackages.deriving-aeson | Type driven generic aeson instance customisation |
| packages/nixpkgs/haskellPackages.happs-tutorial | A Happstack Tutorial that is its own web 2.0-type demo. |
| packages/nixpkgs/haskellPackages.esqueleto | Type-safe EDSL for SQL queries on persistent backends |
| packages/nixpkgs/haskellPackages.web-routes-regular | portable, type-safe URL routing |
| packages/nixpkgs/haskellPackages.semialign | Align and Zip type-classes from the common Semialign ancestor |
| packages/nixpkgs/haskellPackages.hyperbole | Interactive HTML apps using type-safe serverside Haskell |
| packages/nixpkgs/haskellPackages.dependent-sum | Dependent sum type |
| packages/nixpkgs/idrisPackages.rationals | Idris rational number type built from paths in the Stern Brocot tree |
| packages/nixpkgs/python312Packages.sqlalchemy-utc | SQLAlchemy type to store aware datetime values |
| packages/nixpkgs/python313Packages.typing-extensions | Backported and Experimental Type Hints for Python |
| packages/nixpkgs/python314Packages.typing-extensions | Backported and Experimental Type Hints for Python |
| packages/nixpkgs/haskellPackages.AlgorithmW | Example implementation of Algorithm W for Hindley-Milner type inference |
| packages/nixpkgs/haskellPackages.groundhog-th | Type-safe datatype-database mapping library |
| packages/nixpkgs/haskellPackages.network-uri-static | A small utility to declare type-safe static URIs |
| packages/nixpkgs/python312Packages.mypy-boto3-appconfig | Type annotations for boto3 appconfig |
| packages/nixpkgs/python312Packages.mypy-boto3-codebuild | Type annotations for boto3 codebuild |
| packages/nixpkgs/python312Packages.mypy-boto3-iotevents | Type annotations for boto3 iotevents |
| packages/nixpkgs/python312Packages.mypy-boto3-translate | Type annotations for boto3 translate |
| packages/nixpkgs/python312Packages.mypy-boto3-evidently | Type annotations for boto3 evidently |
| packages/nixpkgs/python312Packages.mypy-boto3-appfabric | Type annotations for boto3 appfabric |
| packages/nixpkgs/python312Packages.mypy-boto3-detective | Type annotations for boto3 detective |
| packages/nixpkgs/python312Packages.mypy-boto3-guardduty | Type annotations for boto3 guardduty |
| packages/nixpkgs/python312Packages.mypy-boto3-discovery | Type annotations for boto3 discovery |
| packages/nixpkgs/python312Packages.mypy-boto3-apprunner | Type annotations for boto3 apprunner |
| packages/nixpkgs/python312Packages.mypy-boto3-scheduler | Type annotations for boto3 scheduler |
| packages/nixpkgs/python312Packages.mypy-boto3-inspector | Type annotations for boto3 inspector |
| packages/nixpkgs/python312Packages.mypy-boto3-appstream | Type annotations for boto3 appstream |
| packages/nixpkgs/python312Packages.mypy-boto3-sagemaker | Type annotations for boto3 sagemaker |
| packages/nixpkgs/python312Packages.mypy-boto3-medialive | Type annotations for boto3 medialive |
| packages/nixpkgs/python312Packages.mypy-boto3-robomaker | Type annotations for boto3 robomaker |
| packages/nixpkgs/python312Packages.mypy-boto3-lightsail | Type annotations for boto3 lightsail |
| packages/nixpkgs/python312Packages.mypy-boto3-keyspaces | Type annotations for boto3 keyspaces |
| packages/nixpkgs/python313Packages.mypy-boto3-cloudtrail | Type annotations for boto3 cloudtrail |
| packages/nixpkgs/python313Packages.mypy-boto3-workspaces | Type annotations for boto3 workspaces |
| packages/nixpkgs/python313Packages.mypy-boto3-cloudhsmv2 | Type annotations for boto3 cloudhsmv2 |
| packages/nixpkgs/python313Packages.mypy-boto3-inspector2 | Type annotations for boto3 inspector2 |
| packages/nixpkgs/python313Packages.mypy-boto3-apigateway | Type annotations for boto3 apigateway |
| packages/nixpkgs/python313Packages.mypy-boto3-quicksight | Type annotations for boto3 quicksight |
| packages/nixpkgs/python313Packages.mypy-boto3-connect-contact-lens | Type annotations for boto3 connect-contact-lens |
| packages/nixpkgs/python313Packages.mypy-boto3-comprehend | Type annotations for boto3 comprehend |
| packages/nixpkgs/python313Packages.mypy-boto3-cleanrooms | Type annotations for boto3 cleanrooms |
| packages/nixpkgs/python313Packages.mypy-boto3-synthetics | Type annotations for boto3 synthetics |
| packages/nixpkgs/python313Packages.mypy-boto3-greengrass | Type annotations for boto3 greengrass |
| packages/nixpkgs/python313Packages.mypy-boto3-codecommit | Type annotations for boto3 codecommit |
| packages/nixpkgs/python313Packages.mypy-boto3-devicefarm | Type annotations for boto3 devicefarm |
| packages/nixpkgs/python313Packages.mypy-boto3-cloudwatch | Type annotations for boto3 cloudwatch |
| packages/nixpkgs/python313Packages.mypy-boto3-transcribe | Type annotations for boto3 transcribe |
| packages/nixpkgs/python313Packages.mypy-boto3-healthlake | Type annotations for boto3 healthlake |
| packages/nixpkgs/python313Packages.mypy-boto3-opensearch | Type annotations for boto3 opensearch |
| packages/nixpkgs/python313Packages.mypy-boto3-cloudfront | Type annotations for boto3 cloudfront |
| packages/nixpkgs/python313Packages.mypy-boto3-opsworkscm | Type annotations for boto3 opsworkscm |
| packages/nixpkgs/python313Packages.mypy-boto3-mediastore | Type annotations for boto3 mediastore |
| packages/nixpkgs/python313Packages.mypy-boto3-codedeploy | Type annotations for boto3 codedeploy |
| packages/nixpkgs/python314Packages.mypy-boto3-comprehend | Type annotations for boto3 comprehend |
| packages/nixpkgs/python314Packages.mypy-boto3-connect-contact-lens | Type annotations for boto3 connect-contact-lens |
| packages/nixpkgs/python314Packages.mypy-boto3-greengrass | Type annotations for boto3 greengrass |
| packages/nixpkgs/python314Packages.mypy-boto3-synthetics | Type annotations for boto3 synthetics |
| packages/nixpkgs/python314Packages.mypy-boto3-cloudtrail | Type annotations for boto3 cloudtrail |
| packages/nixpkgs/python314Packages.mypy-boto3-cloudfront | Type annotations for boto3 cloudfront |
| packages/nixpkgs/python314Packages.mypy-boto3-workspaces | Type annotations for boto3 workspaces |
| packages/nixpkgs/python314Packages.mypy-boto3-quicksight | Type annotations for boto3 quicksight |
| packages/nixpkgs/python314Packages.mypy-boto3-transcribe | Type annotations for boto3 transcribe |
| packages/nixpkgs/python314Packages.mypy-boto3-opensearch | Type annotations for boto3 opensearch |
| packages/nixpkgs/python314Packages.mypy-boto3-cloudwatch | Type annotations for boto3 cloudwatch |
| packages/nixpkgs/python314Packages.mypy-boto3-codedeploy | Type annotations for boto3 codedeploy |
| packages/nixpkgs/python314Packages.mypy-boto3-codecommit | Type annotations for boto3 codecommit |
| packages/nixpkgs/python314Packages.mypy-boto3-mediastore | Type annotations for boto3 mediastore |
| packages/nixpkgs/python314Packages.mypy-boto3-healthlake | Type annotations for boto3 healthlake |