| packages/nixpkgs/perlPackages.MooXTypeTiny | Tiny, yet Moo(se)-compatible type constraint |
| packages/nixpkgs/texlivePackages.libertinust1math | A Type 1 font and LaTeX support for Libertinus Math |
| packages/nixpkgs/perl5Packages.MooXTypeTiny | Tiny, yet Moo(se)-compatible type constraint |
| packages/nixpkgs/perl538Packages.MooXTypeTiny | Tiny, yet Moo(se)-compatible type constraint |
| packages/nixpkgs/perl540Packages.MooXTypeTiny | Tiny, yet Moo(se)-compatible type constraint |
| packages/nixpkgs/perlPackages.MooXTypesMooseLike | Some Moosish types and a type builder |
| packages/nixpkgs/perl5Packages.MooXTypesMooseLike | Some Moosish types and a type builder |
| packages/nixpkgs/haskellPackages.TypeCompose | Type composition classes & instances |
| packages/nixpkgs/perlPackages.MooseXTypesCommon | Library of commonly used type constraints |
| packages/nixpkgs/perlPackages.MooseXTypesPathClass | Path::Class type library for Moose |
| packages/nixpkgs/perl5Packages.MooseXTypesCommon | Library of commonly used type constraints |
| packages/nixpkgs/perl5Packages.MooseXTypesPathClass | Path::Class type library for Moose |
| packages/nixpkgs/perl538Packages.MooXTypesMooseLike | Some Moosish types and a type builder |
| packages/nixpkgs/perl540Packages.MooXTypesMooseLike | Some Moosish types and a type builder |
| packages/nixpkgs/perl540Packages.MooseXTypesCommon | Library of commonly used type constraints |
| packages/nixpkgs/perl538Packages.MooseXTypesCommon | Library of commonly used type constraints |
| packages/nixpkgs/perl540Packages.MooseXTypesPathClass | Path::Class type library for Moose |
| packages/nixpkgs/perl538Packages.MooseXTypesPathClass | Path::Class type library for Moose |
| packages/nixpkgs/perlPackages.MooseXTypesLoadableClass | ClassName type constraint with coercion to load the class |
| packages/nixpkgs/perl5Packages.MooseXTypesLoadableClass | ClassName type constraint with coercion to load the class |
| packages/nixpkgs/perlPackages.MooseXTypesStructured | Structured Type Constraints for Moose |
| packages/nixpkgs/perlPackages.MooseXTypesStringlike | Moose type constraints for strings or string-like objects |
| packages/nixpkgs/perl5Packages.MooseXTypesStructured | Structured Type Constraints for Moose |
| packages/nixpkgs/perl538Packages.MooseXTypesLoadableClass | ClassName type constraint with coercion to load the class |
| packages/nixpkgs/perl540Packages.MooseXTypesLoadableClass | ClassName type constraint with coercion to load the class |
| packages/nixpkgs/haskellPackages.TypeIlluminator | TypeIlluminator is a prototype tool exploring debugging of type errors/ |
| packages/nixpkgs/perl5Packages.MooseXTypesStringlike | Moose type constraints for strings or string-like objects |
| packages/nixpkgs/perl538Packages.MooseXTypesStructured | Structured Type Constraints for Moose |
| packages/nixpkgs/perl540Packages.MooseXTypesStructured | Structured Type Constraints for Moose |
| packages/nixpkgs/perl538Packages.MooseXTypesStringlike | Moose type constraints for strings or string-like objects |
| packages/nixpkgs/perl540Packages.MooseXTypesStringlike | Moose type constraints for strings or string-like objects |
| packages/nixpkgs/sile | Typesetting system |
| packages/nixpkgs/iosevka | Versatile typeface for code, from code |
| packages/nixpkgs/iosevka-bin | Versatile typeface for code, from code |
| packages/nixpkgs/smiley-sans | Condensed and oblique Chinese typeface seeking a visual balance between the humanist and the geometric |
| packages/nixpkgs/gnome2.ORBit2 | CORBA 2.4-compliant Object Request Broker |
| packages/nixpkgs/daktilo | Turn your keyboard into a typewriter |
| packages/nixpkgs/aegisub | Advanced subtitle editor |
| packages/nixpkgs/fraunces | Display, “Old Style” soft-serif typeface inspired by early 20th century typefaces |
| packages/nixpkgs/leo-lang | Functional, statically-typed programming language built for writing private applications |
| packages/nixpkgs/ezno | JavaScript compiler and TypeScript checker with a focus on static analysis and runtime performance |
| packages/nixpkgs/rslint | Fast, customizable, and easy to use JavaScript and TypeScript linter |
| packages/nixpkgs/nyan | Typesafe hierarchical key-value database |
| packages/nixpkgs/erg | Statically typed language that can deeply improve the Python ecosystem |
| 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/cpp-hocon | C++ port of the Typesafe Config library |
| packages/nixpkgs/haskellPackages.pi-forall | Demo implementation of typechecker for dependently-typed language |
| packages/nixpkgs/tectonic | TeX/LaTeX engine, wrapped with a compatible biber |
| packages/nixpkgs/tectonic-unwrapped | Modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive |
| packages/nixpkgs/luaPackages.cassowary | The cassowary constraint solver |
| packages/nixpkgs/magika-cli | Determines file content types using AI |
| packages/nixpkgs/lua54Packages.cassowary | The cassowary constraint solver |
| packages/nixpkgs/lua53Packages.cassowary | The cassowary constraint solver |
| packages/nixpkgs/lua55Packages.cassowary | The cassowary constraint solver |
| packages/nixpkgs/lua51Packages.cassowary | The cassowary constraint solver |
| packages/nixpkgs/lua52Packages.cassowary | The cassowary constraint solver |
| packages/nixpkgs/prisma | Next-generation ORM for Node.js and TypeScript |
| packages/nixpkgs/ante | Low-level functional language for exploring refinement types, lifetime inference, and algebraic effects |
| packages/nixpkgs/erlang_29 | Programming language used for massively scalable soft real-time systems |
| 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/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/beam28Packages.erlang | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/prisma_6 | Next-generation ORM for Node.js and TypeScript |
| packages/nixpkgs/prisma_7 | Next-generation ORM for Node.js and TypeScript |
| packages/nixpkgs/beamMinimal28Packages.erlang | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/beamMinimal27Packages.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/texlivePackages.manuscript | Emulate look of a document typed on a typewriter |
| packages/nixpkgs/leo2 | High-performance typed higher order prover |
| packages/nixpkgs/luaPackages.tl | Teal, a typed dialect of Lua |
| packages/nixpkgs/lua55Packages.tl | Teal, a typed dialect of Lua |
| packages/nixpkgs/lua54Packages.tl | Teal, a typed dialect of Lua |
| packages/nixpkgs/lua51Packages.tl | Teal, a typed dialect of Lua |
| packages/nixpkgs/lua53Packages.tl | Teal, a typed dialect of Lua |
| packages/nixpkgs/lua52Packages.tl | Teal, a typed dialect of Lua |
| packages/nixpkgs/coqPackages.mtac2 | Typed tactic language for Coq |
| packages/nixpkgs/carp | Statically typed lisp, without a GC, for real-time applications |
| packages/nixpkgs/satysfi | Statically-typed, functional typesetting system |
| 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/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/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/chickenPackages_5.chickenEggs.srfi-99 | SRFI-99 record types |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-19 | Time Data Types and Procedures |
| 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/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/haskellPackages.var-monad | The VarMonad typeclass, generalizing types of references |
| packages/nixpkgs/chickenPackages_5.chickenEggs.messages | Creating algebraic- and abstract-types based on vectors |