| haskellPackages.time-units | A basic library for defining units of time as types |
| haskellPackages.vinyl-json | Provide json instances automagically to vinyl types |
| haskellPackages.valida | Simple applicative validation for product types, batteries included! |
| perl538Packages.DataUtil | Selection of utilities for data and data types |
| perl540Packages.DataUtil | Selection of utilities for data and data types |
| haskellPackages.SciBaseTypes | Base types and classes for statistics, sciences and humanities |
| haskellPackages.c2hs-extra | Convenient marshallers for complicate C types |
| haskellPackages.http-api-data-qq | Quasiquoter for building URLs with ToHttpApiData types |
| haskellPackages.sugar-data | Convert sugar to common data types for code generation |
| perl540Packages.DataPerl | Base classes wrapping fundamental Perl data types |
| perl538Packages.DataPerl | Base classes wrapping fundamental Perl data types |
| haskellPackages.binary-io | Read and write values of types that implement Binary |
| haskellPackages.th-compat | Backward- (and forward-)compatible Quote and Code types |
| haskellPackages.xml-isogen | Generate XML-isomorphic types |
| haskellPackages.tagged | Haskell 98 phantom types to avoid unsafely passing dummy arguments |
| python312Packages.docling-core | Python library to define and validate data types in Docling |
| haskellPackages.dom-events | DOM Events expressed as Haskell types |
| python312Packages.attrs-strict | Python package which contains runtime validation for attrs data classes based on the types existing in the typing module |
| haskellPackages.generic-lexicographic-order | Derive Bounded and Enum for sum types and Enum for product types |
| haskellPackages.elm-export | A library to generate Elm types from Haskell source |
| haskellPackages.linear-smc | Build SMC morphisms using linear types |
| haskellPackages.nat-optics | Refinement types for natural numbers with an optics interface |
| ocamlPackages_latest.streamable | Collection of types suitable for incremental serialization |
| ocamlPackages.janeStreet.streamable | Collection of types suitable for incremental serialization |
| yaziPlugins.rich-preview | Preview file types using rich in Yazi |
| haskellPackages.primitive-unlifted_2_2_0_0 | Primitive GHC types with unlifted types inside |
| haskellPackages.primitive-unlifted_0_1_3_1 | Primitive GHC types with unlifted types inside |
| haskellPackages.world-peace | Open Union and Open Product Types |
| ocamlPackages_latest.ppx_stable | Stable types conversions generator |
| ocamlPackages.janeStreet.ppx_stable | Stable types conversions generator |
| python312Packages.bkcharts | High level chart types built on top of Bokeh |
| python313Packages.bkcharts | High level chart types built on top of Bokeh |
| python312Packages.dtfabric | Project to manage data types and structures, as used in the libyal projects |
| haskellPackages.from-string | Instances of 'From' for common string types |
| haskellPackages.hslua-aeson | Allow aeson data types to be used with Lua |
| haskellPackages.linear-base | Standard library for linear types |
| haskellPackages.text-binary | Binary instances for text types |
| haskellPackages.string-conv | Standardized conversion between string types |
| haskellPackages.numbers | Various number types |
| haskellPackages.polynom | Polynomial types and operations |
| haskellPackages.strict-lens | Lenses for types in strict package |
| haskellPackages.repa-scalar | Scalar data types and conversions |
| haskellPackages.witness | values that witness types |
| haskellPackages.delta-store | Facilities for storing a Haskell value, using delta types |
| haskellPackages.http-common | Common types for HTTP clients and servers |
| haskellPackages.binary-enum | Simple wrappers around enum types |
| haskellPackages.http-kinder | Generic kinds and types for working with HTTP |
| haskellPackages.hnix-store-json | JSON serialization for core types |
| haskellPackages.checked | Bounds-checking integer types |
| haskellPackages.cereal-time | Serialize instances for types from `time` package |
| haskellPackages.present | Make presentations for data types |
| haskellPackages.strict-base | Strict versions of base data types |
| ocamlPackages.ppx_compare | Generation of comparison functions from types |
| haskellPackages.benri-hspec | Simplify tests where Either or Maybe types are returned from monadic code |
| haskellPackages.gendocs | Library for generating interface documentation from types |
| haskellPackages.hschema | Describe schemas for your Haskell data types |
| haskellPackages.refined | Refinement types with static and runtime checking |
| haskellPackages.mutable | Automatic piecewise-mutable references for your types |
| haskellPackages.pure-sum-aeson | Derive fromString/toString-like for pure sum types (aeson instances) |
| haskellPackages.stringz | Optics for string-like data types |
| haskellPackages.MissingK | Useful types and definitions missing from other libraries |
| haskellPackages.barbies | Classes for working with types that can change clothes |
| haskellPackages.unboxed | All the standard sum types but strict and unboxed as possible |
| haskellPackages.valida-base | Simple applicative validation for product types, batteries included! |
| python313Packages.annotated-doc | Document parameters, class attributes, return types, and variables inline, with Annotated |
| python313Packages.argparse-addons | Additional Python argparse types and actions |
| python314Packages.argparse-addons | Additional Python argparse types and actions |
| python314Packages.annotated-doc | Document parameters, class attributes, return types, and variables inline, with Annotated |
| haskellPackages.chatty-text | Provides some classes and types for dealing with text, using the fundaments of Chatty |
| haskellPackages.hw-streams | Primitive functions and data types |
| haskellPackages.string-like | A package that aims to provide a uniform interface to string-like types |
| haskellPackages.rgb-color-model | Haskell types for working with RGB colors |
| perl538Packages.FileLibMagic | Determine MIME types of data or files using libmagic |
| perl540Packages.FileLibMagic | Determine MIME types of data or files using libmagic |
| python312Packages.pydantic-scim | Pydantic types for SCIM |
| haskellPackages.rollbar-hs | Core Rollbar data types and APIs |
| idris2Packages.idris2 | Purely functional programming language with first class types |
| haskellPackages.rounded-hw | Directed rounding for built-in floating types |
| haskellPackages.servant-db | Servant types for defining API with relational DBs |
| haskellPackages.finite-table | Types isomorphic to Fin, and Tables indexed by them |
| haskellPackages.clash-finite | A class for types with only finitely many inhabitants |
| haskellPackages.colour-space | Instances of the manifold-classes for colour types |
| haskellPackages.sized-vector | Size-parameterized vector types and functions |
| haskellPackages.record-aeson | Instances of "aeson" classes for the "record" types |
| perl540Packages.autobox | Call methods on native types |
| perl538Packages.autobox | Call methods on native types |
| haskellPackages.evm-opcodes | Opcode types for Ethereum Virtual Machine (EVM) |
| haskellPackages.parsec-class | Class of types that can be constructed from their text representation |
| haskellPackages.tedious-web | Easily define multiple interrelated data types |
| haskellPackages.time-parsers | Parsers for types in `time` |
| haskellPackages.data-default | A class for types with a default value |
| haskellPackages.easy-bitcoin | types and functions for bitcoin applications |
| haskellPackages.to-string-class | Converting string-like types to Strings |
| haskellPackages.special-keys | Simple data types that help me here and there |
| haskellPackages.testing-feat | Functional Enumeration of Algebraic Types |
| perlPackages.ClassMakeMethods | Generate common types of methods |
| perlPackages.GooCanvas2CairoTypes | Bridge between GooCanvas2 and Cairo types |
| haskellPackages.fields-and-cases | Codegen Haskell types to other languages |
| haskellPackages.bson-mapping | Mapping between BSON and algebraic data types |
| haskellPackages.refined-with | Refinement types with an "refinement applied" switch |