| packages/nixpkgs/python313Packages.dtfabric | Project to manage data types and structures, as used in the libyal projects |
| packages/nixpkgs/python314Packages.dtfabric | Project to manage data types and structures, as used in the libyal projects |
| packages/nixpkgs/python312Packages.morphys | Smart conversions between unicode and bytes types |
| packages/nixpkgs/python313Packages.pydantic-scim | Pydantic types for SCIM |
| packages/nixpkgs/python314Packages.pydantic-scim | Pydantic types for SCIM |
| packages/nixpkgs/python312Packages.into-dbus-python | Transformer to dbus-python types |
| packages/nixpkgs/python312Packages.docling-core | Python library to define and validate data types in Docling |
| packages/nixpkgs/python312Packages.attrs-strict | Python package which contains runtime validation for attrs data classes based on the types existing in the typing module |
| packages/nixpkgs/python312Packages.dtfabric | Project to manage data types and structures, as used in the libyal projects |
| packages/nixpkgs/python313Packages.annotated-doc | Document parameters, class attributes, return types, and variables inline, with Annotated |
| packages/nixpkgs/python313Packages.argparse-addons | Additional Python argparse types and actions |
| packages/nixpkgs/python314Packages.argparse-addons | Additional Python argparse types and actions |
| packages/nixpkgs/python314Packages.annotated-doc | Document parameters, class attributes, return types, and variables inline, with Annotated |
| packages/nixpkgs/python312Packages.pydantic-scim | Pydantic types for SCIM |
| packages/nixpkgs/erg | Statically typed language that can deeply improve the Python ecosystem |
| packages/nixpkgs/python313Packages.geoarrow-pyarrow | PyArrow implementation of geospatial data types |
| packages/nixpkgs/python314Packages.geoarrow-pyarrow | PyArrow implementation of geospatial data types |
| packages/nixpkgs/python312Packages.argparse-addons | Additional Python argparse types and actions |
| packages/nixpkgs/python313Packages.xml-marshaller | This module allows one to marshal simple Python data types into a custom XML format |
| packages/nixpkgs/python314Packages.xml-marshaller | This module allows one to marshal simple Python data types into a custom XML format |
| packages/nixpkgs/python312Packages.geoarrow-pyarrow | PyArrow implementation of geospatial data types |
| packages/nixpkgs/python313Packages.beacontools | Python library for working with various types of Bluetooth LE Beacons |
| packages/nixpkgs/python314Packages.beacontools | Python library for working with various types of Bluetooth LE Beacons |
| packages/nixpkgs/turbo-unwrapped | High-performance build system for JavaScript and TypeScript codebases |
| packages/nixpkgs/python313Packages.dataclass-factory | Modern way to convert python dataclasses or other objects to and from more common types like dicts or json-like structures |
| packages/nixpkgs/python314Packages.dataclass-factory | Modern way to convert python dataclasses or other objects to and from more common types like dicts or json-like structures |
| packages/nixpkgs/typst | New markup-based typesetting system that is powerful and easy to learn |
| packages/nixpkgs/python312Packages.xml-marshaller | This module allows one to marshal simple Python data types into a custom XML format |
| packages/nixpkgs/python312Packages.beacontools | Python library for working with various types of Bluetooth LE Beacons |
| packages/nixpkgs/python312Packages.dataclass-factory | Modern way to convert python dataclasses or other objects to and from more common types like dicts or json-like structures |
| packages/nixpkgs/gleam | Statically typed language for the Erlang VM |
| packages/nixpkgs/python313Packages.convertertools | Tools for converting python data types |
| packages/nixpkgs/python314Packages.convertertools | Tools for converting python data types |
| packages/nixpkgs/python312Packages.convertertools | Tools for converting python data types |
| packages/nixpkgs/python312Packages.typical | Python library for runtime analysis, inference and validation of Python types |
| packages/nixpkgs/python313Packages.typical | Python library for runtime analysis, inference and validation of Python types |
| packages/nixpkgs/python313Packages.sortedcontainers | Python Sorted Container Types: SortedList, SortedDict, and SortedSet |
| packages/nixpkgs/python314Packages.sortedcontainers | Python Sorted Container Types: SortedList, SortedDict, and SortedSet |
| packages/nixpkgs/luaPackages.cassowary | The cassowary constraint solver |
| packages/nixpkgs/python312Packages.sortedcontainers | Python Sorted Container Types: SortedList, SortedDict, and SortedSet |
| packages/nixpkgs/python312Packages.bkcharts | High level chart types built on top of Bokeh |
| packages/nixpkgs/python313Packages.bkcharts | High level chart types built on top of Bokeh |
| packages/nixpkgs/lua53Packages.cassowary | The cassowary constraint solver |
| packages/nixpkgs/lua52Packages.cassowary | The cassowary constraint solver |
| packages/nixpkgs/lua55Packages.cassowary | The cassowary constraint solver |
| packages/nixpkgs/lua54Packages.cassowary | The cassowary constraint solver |
| packages/nixpkgs/lua51Packages.cassowary | The cassowary constraint solver |
| packages/nixpkgs/haskellPackages.var-monad | The VarMonad typeclass, generalizing types of references |
| packages/nixpkgs/prisma | Next-generation ORM for Node.js and TypeScript |
| packages/nixpkgs/erlang_29 | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/haskellPackages.confide | derive typeclass instances for decoding types from HOCON conf |
| packages/nixpkgs/tectonic | TeX/LaTeX engine, wrapped with a compatible biber |
| packages/nixpkgs/haskellPackages.convertible | Typeclasses and instances for converting between types |
| packages/nixpkgs/haskellPackages.concurrency | Typeclasses, functions, and data types for concurrency and STM |
| packages/nixpkgs/tectonic-unwrapped | Modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive |
| packages/nixpkgs/beam28Packages.erlang | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/beam27Packages.erlang | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/beam26Packages.erlang | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/prisma_7 | Next-generation ORM for Node.js and TypeScript |
| packages/nixpkgs/prisma_6 | Next-generation ORM for Node.js and TypeScript |
| packages/nixpkgs/haskellPackages.convertible-text | Typeclasses and instances for converting between types (deprecated) |
| packages/nixpkgs/haskellPackages.partial-order | Provides typeclass suitable for types admitting a partial order |
| packages/nixpkgs/beamMinimal27Packages.erlang | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/beamMinimal28Packages.erlang | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/beamMinimal26Packages.erlang | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/haskellPackages.base-generics | This library provides some instances for extra GHC |
| packages/nixpkgs/haskellPackages.lawful-conversions | Lawful typeclasses for bidirectional conversion between types |
| packages/nixpkgs/leo2 | High-performance typed higher order prover |
| packages/nixpkgs/magika-cli | Determines file content types using AI |
| packages/nixpkgs/ante | Low-level functional language for exploring refinement types, lifetime inference, and algebraic effects |
| packages/nixpkgs/luaPackages.tl | Teal, a typed dialect of Lua |
| packages/nixpkgs/typical | Data interchange with algebraic data types |
| packages/nixpkgs/lua55Packages.tl | Teal, a typed dialect of Lua |
| packages/nixpkgs/lua53Packages.tl | Teal, a typed dialect of Lua |
| packages/nixpkgs/lua54Packages.tl | Teal, a typed dialect of Lua |
| packages/nixpkgs/lua52Packages.tl | Teal, a typed dialect of Lua |
| packages/nixpkgs/lua51Packages.tl | Teal, a typed dialect of Lua |
| packages/nixpkgs/wit-bindgen | Language binding generator for WebAssembly interface types |
| packages/nixpkgs/coqPackages.mtac2 | Typed tactic language for Coq |
| packages/nixpkgs/carp | Statically typed lisp, without a GC, for real-time applications |
| packages/nixpkgs/polarity | Language with Dependent Data and Codata Types |
| packages/nixpkgs/perl5Packages.MP3Tag | Module for reading tags of MP3 audio files |
| packages/nixpkgs/coqPackages.rewriter | Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting, experimental and tailored for use in Fiat Cryptography |
| packages/nixpkgs/haskellPackages.edis | Statically typechecked client for Redis |
| packages/nixpkgs/haskellPackages.lawful-conversions_0_3_0_1 | Lawful typeclasses for bidirectional conversion between types |
| packages/nixpkgs/haskellPackages.hocon | Small library for typesafe's configuration specification |
| packages/nixpkgs/chickenPackages_5.chickenEggs.simple-cells | Implementation of typed cells to replace general set! operators |
| packages/nixpkgs/haskellPackages.th-tc | Typechecking in Template Haskell |
| packages/nixpkgs/haskellPackages.contracheck-applicative | Validation types/typeclass based on the contravariance |
| packages/nixpkgs/haskellPackages.helf | Typechecking terms of the Edinburgh Logical Framework (LF) |
| packages/nixpkgs/ats2 | Functional programming language with dependent types |
| packages/nixpkgs/boxed-cpp | Boxing primitive types in C++ |
| packages/nixpkgs/haiti | CLI tool to identify hash types |
| packages/nixpkgs/ruby | Object-oriented language for quick and easy programming |
| packages/nixpkgs/netperf | Benchmark to measure the performance of many different types of networking |
| packages/nixpkgs/gdk-pixbuf-xlib | Deprecated API for integrating GdkPixbuf with Xlib data types |
| packages/nixpkgs/shared-mime-info | Database of common MIME types |
| packages/nixpkgs/graphene | Thin layer of graphic data types |
| packages/nixpkgs/nim2 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| packages/nixpkgs/nim-2_2 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |