| 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/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/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/satysfi | Statically-typed, functional typesetting system |
| 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/python313Packages.sortedcontainers | Python Sorted Container Types: SortedList, SortedDict, and SortedSet |
| packages/nixpkgs/python314Packages.sortedcontainers | Python Sorted Container Types: SortedList, SortedDict, and SortedSet |
| packages/nixpkgs/python312Packages.sortedcontainers | Python Sorted Container Types: SortedList, SortedDict, and SortedSet |
| 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/erg | Statically typed language that can deeply improve the Python ecosystem |
| 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/turbo-unwrapped | High-performance build system for JavaScript and TypeScript codebases |
| packages/nixpkgs/typst | New markup-based typesetting system that is powerful and easy to learn |
| packages/nixpkgs/gleam | Statically typed language for the Erlang VM |
| packages/nixpkgs/luaPackages.cassowary | The cassowary constraint solver |
| 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/prisma | Next-generation ORM for Node.js and TypeScript |
| packages/nixpkgs/tectonic | TeX/LaTeX engine, wrapped with a compatible biber |
| packages/nixpkgs/erlang_29 | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/tectonic-unwrapped | Modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive |
| packages/nixpkgs/haskellPackages.var-monad | The VarMonad typeclass, generalizing types of references |
| 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/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.confide | derive typeclass instances for decoding types from HOCON conf |
| packages/nixpkgs/magika-cli | Determines file content types using AI |
| packages/nixpkgs/leo2 | High-performance typed higher order prover |
| packages/nixpkgs/haskellPackages.convertible | Typeclasses and instances for converting between types |
| packages/nixpkgs/ante | Low-level functional language for exploring refinement types, lifetime inference, and algebraic effects |
| packages/nixpkgs/haskellPackages.concurrency | Typeclasses, functions, and data types for concurrency and STM |
| 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/typical | Data interchange with algebraic data types |
| packages/nixpkgs/wit-bindgen | Language binding generator for WebAssembly interface types |
| packages/nixpkgs/polarity | Language with Dependent Data and Codata Types |
| packages/nixpkgs/luaPackages.tl | Teal, a typed dialect of Lua |
| 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/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/coqPackages.mtac2 | Typed tactic language for Coq |
| 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/chickenPackages_5.chickenEggs.simple-cells | Implementation of typed cells to replace general set! operators |
| packages/nixpkgs/perl5Packages.MP3Tag | Module for reading tags of MP3 audio files |
| packages/nixpkgs/ats2 | Functional programming language with dependent types |
| packages/nixpkgs/boxed-cpp | Boxing primitive types in C++ |
| 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/haiti | CLI tool to identify hash types |
| packages/nixpkgs/haskellPackages.hocon | Small library for typesafe's configuration specification |
| 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/haskellPackages.th-tc | Typechecking in Template Haskell |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-19 | Time Data Types and Procedures |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-99 | SRFI-99 record 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) |
| packages/nixpkgs/nim1 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| packages/nixpkgs/haskellPackages.contracheck-applicative | Validation types/typeclass based on the contravariance |
| packages/nixpkgs/hash-identifier | Identify the different types of hashes used to encrypt data and especially passwords |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-137 | SRFI-137: Minimal Unique Types |
| packages/nixpkgs/haskellPackages.helf | Typechecking terms of the Edinburgh Logical Framework (LF) |
| packages/nixpkgs/chickenPackages_5.chickenEggs.macaw | Efficient color types and math |
| packages/nixpkgs/chickenPackages_5.chickenEggs.llrb-tree | LLRB tree general and customized to key types. |
| packages/nixpkgs/chickenPackages_5.chickenEggs.messages | Creating algebraic- and abstract-types based on vectors |
| packages/nixpkgs/nim | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| packages/nixpkgs/nim-2_0 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| packages/nixpkgs/nim-1_0 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| packages/nixpkgs/ruby | Object-oriented language for quick and easy programming |
| packages/nixpkgs/chickenPackages_5.chickenEggs.transducers | Transducers for working with foldable data types. |
| packages/nixpkgs/ruby_3_1 | Object-oriented language for quick and easy programming |
| packages/nixpkgs/ruby_3_2 | Object-oriented language for quick and easy programming |
| packages/nixpkgs/haskellPackages.di | Typeful hierarchical structured logging using di, mtl and df1 |
| packages/nixpkgs/haskellPackages.rex | A quasi-quoter for typeful results of regex captures |
| packages/nixpkgs/ruby_3_4 | Object-oriented language for quick and easy programming |
| packages/nixpkgs/ruby_3_5 | Object-oriented language for quick and easy programming |
| packages/nixpkgs/ruby_4_0 | Object-oriented language for quick and easy programming |