| idrisPackages.idris-no-deps | Functional Programming Language with Dependent Types |
| haskellPackages.oops | Combinators for handling errors of many types in a composable way |
| haskellPackages.curry | Curry types |
| haskellPackages.data-fix | Fixpoint data types |
| haskellPackages.aws-arn | Types and optics for manipulating Amazon Resource Names (ARNs) |
| haskellPackages.facts | Refined types |
| haskellPackages.rpm-nvr | RPM package name-version-release data types |
| python313Packages.docling-core | Python library to define and validate data types in Docling |
| python313Packages.attrs-strict | Python package which contains runtime validation for attrs data classes based on the types existing in the typing module |
| python314Packages.docling-core | Python library to define and validate data types in Docling |
| python314Packages.attrs-strict | Python package which contains runtime validation for attrs data classes based on the types existing in the typing module |
| bat-extras.batpipe | Less (and soon bat) preprocessor for viewing more types of files in the terminal |
| haskellPackages.int-cast | Checked conversions between integral types |
| haskellPackages.ten-lens | Lenses for the types in the ten package |
| haskellPackages.smash | Combinators for Maybe types |
| haskellPackages.open-adt | Open algebraic data types |
| haskellPackages.teeth | Dental data types |
| ocamlPackages.streamable | Collection of types suitable for incremental serialization |
| ec2-instance-selector | Recommends instance types based on resource criteria like vcpus and memory |
| haskellPackages.OddWord | Provides a wrapper for deriving word types with fewer bits |
| haskellPackages.aws-easy | Helper function and types for working with amazonka |
| haskellPackages.ddate | Discordian Date Types for Haskell |
| haskellPackages.basic | Lifting values from base types |
| haskellPackages.sized | Sized sequence data-types |
| ocamlPackages.ppx_stable | Stable types conversions generator |
| perl540Packages.FFIC | C data types for FFI |
| perl538Packages.FFIC | C data types for FFI |
| chickenPackages_5.chickenEggs.srfi-19 | Time Data Types and Procedures |
| chickenPackages_5.chickenEggs.srfi-99 | SRFI-99 record types |
| docker-language-server | Language server for providing language features for file types in the Docker ecosystem (Dockerfiles, Compose files, and Bake files) |
| haskellPackages.dia-base | An EDSL for teaching Haskell with diagrams - data types |
| haskellPackages.bimap | Bidirectional mapping between two key types |
| haskellPackages.vault | a persistent store for values of arbitrary types |
| python313Packages.dtfabric | Project to manage data types and structures, as used in the libyal projects |
| python314Packages.dtfabric | Project to manage data types and structures, as used in the libyal projects |
| python312Packages.morphys | Smart conversions between unicode and bytes types |
| haskellPackages.hs2ps | Translate Haskell types to PureScript |
| haskellPackages.braid | Types and functions to work with braids and Khovanov homology |
| haskellPackages.hdiff | Pattern-Expression-based differencing of arbitrary types |
| haskellPackages.pure-sum | Derive fromString/toString-like for pure sum types |
| perlPackages.FileLibMagic | Determine MIME types of data or files using libmagic |
| hash-identifier | Identify the different types of hashes used to encrypt data and especially passwords |
| ocamlPackages_latest.ocaml-protoc-plugin | Maps google protobuf compiler to Ocaml types |
| perl540Packages.enum | C style enumerated types and bitmask flags in Perl |
| perl538Packages.enum | C style enumerated types and bitmask flags in Perl |
| chickenPackages_5.chickenEggs.srfi-137 | SRFI-137: Minimal Unique Types |
| idrisPackages.yampa | Idris implementation of Yampa FRP library as described in Reactive Programming through Dependent Types |
| haskellPackages.shade | A control structure used to combine heterogenous types with delayed effects |
| ocamlPackages_latest.janeStreet.ppx_diff | Generation of diffs and update functions for ocaml types |
| python312Packages.typical | Python library for runtime analysis, inference and validation of Python types |
| python313Packages.typical | Python library for runtime analysis, inference and validation of Python types |
| haskellPackages.ema-extra | Useful route types for Ema |
| haskellPackages.enum-text | A text rendering and parsing toolkit for enumerated types |
| haskellPackages.idris | Functional Programming Language with Dependent Types |
| haskellPackages.enum-utf8 | An experimental Utf8 parsing toolkit for enumerated types |
| haskellPackages.data-fix-cse | Common subexpression elimination for the fixploint types |
| haskellPackages.key-vault | Store of values of arbitrary types |
| haskellPackages.stm-chans | Additional types of channels for STM |
| perl5Packages.FileLibMagic | Determine MIME types of data or files using libmagic |
| perlPackages.autobox | Call methods on native types |
| python313Packages.pydantic-scim | Pydantic types for SCIM |
| python314Packages.pydantic-scim | Pydantic types for SCIM |
| chickenPackages_5.chickenEggs.macaw | Efficient color types and math |
| haskellPackages.star-to-star | the * -> * types, operators, and covariant instances |
| haskellPackages.snap-core | Snap: A Haskell Web Framework (core interfaces and types) |
| haskellPackages.boring | Boring and Absurd types |
| haskellPackages.Tensor | Tensor data types |
| haskellPackages.forest | Tree and Forest types |
| haskellPackages.avers-api | Types describing the core and extended Avers APIs |
| haskellPackages.index-core | Indexed Types |
| haskellPackages.basics | Modules for primitive types |
| haskellPackages.wide-word | Data types for large but fixed width signed and unsigned integers |
| haskellPackages.finite | Finite ranges via types |
| haskellPackages.orbits | Types and functions for Kepler orbits |
| haskellPackages.wiring | Wiring, promotion and demotion of types |
| perl5Packages.autobox | Call methods on native types |
| haskellPackages.data-base | Utilities for accessing and comparing types based on so called bases - representations with limited polymorphism |
| haskellPackages.circus | Types and a small DSL for working with netlistsvg |
| haskellPackages.data-named | Data types for named entities |
| haskellPackages.kind-apply | Utilities to work with lists of types |
| haskellPackages.strict | Strict data types and String IO |
| haskellPackages.uuid-aeson | Aeson types for UUID instances |
| haskellPackages.poker-base | A library for core poker types |
| haskellPackages.target | Generate test-suites from refinement types |
| python312Packages.into-dbus-python | Transformer to dbus-python types |
| haskellPackages.intern | Efficient hash-consing for arbitrary data types |
| haskellPackages.binrep | Encode precise binary representations directly in types |
| haskellPackages.derive | A program and library to derive instances for data types |
| haskellPackages.dep-t-value | Pair resources files with types within your program |
| haskellPackages.schema | Encoding-independent schemas for Haskell data types |
| haskellPackages.srcloc | Data types for managing source code locations |
| haskellPackages.tracer | Tracing utilities for Functor/Applicative/Monad types |
| haskellPackages.word24 | 24-bit word and int types for GHC |
| tracefilegen | Automatically generate all types of basic memory management operations and write into trace files |
| chickenPackages_5.chickenEggs.llrb-tree | LLRB tree general and customized to key types. |
| haskellPackages.AC-Colour | Efficient RGB colour types |
| haskellPackages.bit-array | A bit array (aka bitset, bitmap, bit vector) API for numeric types |
| haskellPackages.extra-data-yj | Additional data types |
| haskellPackages.asn1-parse | Simple monadic parser for ASN1 stream types |
| haskellPackages.gogol-core | Core data types and functionality for Gogol libraries |