| perl540Packages.TypeTiny | Tiny, yet Moo(se)-compatible type constraint |
| perl538Packages.TypeTiny | Tiny, yet Moo(se)-compatible type constraint |
| stc | C99 container library with generic and type-safe data structures |
| perlPackages.FFIPlatypusTypeEnum | Custom platypus type for dealing with C enumerated types |
| perl5Packages.FFIPlatypusTypeEnum | Custom platypus type for dealing with C enumerated types |
| perl538Packages.FFIPlatypusTypeEnum | Custom platypus type for dealing with C enumerated types |
| perl540Packages.FFIPlatypusTypeEnum | Custom platypus type for dealing with C enumerated types |
| perlPackages.FFIPlatypusTypePtrObject | Platypus custom type for an object wrapped around an opaque pointer |
| perl5Packages.FFIPlatypusTypePtrObject | Platypus custom type for an object wrapped around an opaque pointer |
| perl538Packages.FFIPlatypusTypePtrObject | Platypus custom type for an object wrapped around an opaque pointer |
| perl540Packages.FFIPlatypusTypePtrObject | Platypus custom type for an object wrapped around an opaque pointer |
| ttf2pt1 | True Type to Postscript Type 3 converter, fpdf |
| ocamlPackages.conan | Identify type of your file (such as the MIME type) |
| alioth | Experimental Type-2 Hypervisor in Rust implemented from scratch |
| dex | Program to generate and execute DesktopEntry files of the Application type |
| ocamlPackages.conan-lwt | Identify type of your file (such as the MIME type) |
| ocamlPackages.conan-cli | Identify type of your file (such as the MIME type) |
| flow | Static type checker for JavaScript |
| typstPackages.valkyrie | Type safe type validation |
| ocamlPackages.conan-unix | Identify type of your file (such as the MIME type) |
| copper | Simple imperative language, statically typed with type inference and genericity |
| dee | Library that uses DBus to provide objects allowing you to create Model-View-Controller type programs across DBus |
| ocamlPackages_latest.conan | Identify type of your file (such as the MIME type) |
| fanwood | Serif based on the work of a famous Czech-American type designer of yesteryear |
| sqlc | Generate type-safe code from SQL |
| ocamlPackages_latest.conan-lwt | Identify type of your file (such as the MIME type) |
| ocamlPackages_latest.conan-cli | Identify type of your file (such as the MIME type) |
| crystal | Compiled language with Ruby like syntax and type inference |
| gpart | Guess PC-type hard disk partitions |
| ocamlPackages_latest.conan-unix | Identify type of your file (such as the MIME type) |
| haskellPackages.impossible | Set of data and type definitions of impossible types. Impossible types are useful when declaring type classes / type families instances that should not be expanded by GHC until a specific type is provided in order to keep the types nice and readable. |
| go-jet | Type safe SQL builder with code generation and automatic query result data mapping |
| virt-what | Detect if running in a virtual machine and prints its type |
| anders | Modal Homotopy Type System |
| typstPackages.zen-zine | Excellently type-set a fun little zine |
| ty | Extremely fast Python type checker and language server, written in Rust |
| go-camo | Camo server is a special type of image proxy that proxies non-secure images over SSL/TLS |
| t1utils | Collection of simple Type 1 font manipulation programs |
| variant-lite | C++17-like variant, a type-safe union for C++98, C++11 and later in a single-file header-only library |
| xen | Type-1 hypervisor intended for embedded and hyperscale use cases |
| ocamlPackages.dyn | Dynamic type |
| pyright | Type checker for the Python language |
| pyrefly | Fast type checker and IDE for Python |
| haskellPackages.hoq | A language based on homotopy type theory with an interval type |
| haskellPackages.tfp | Type-level integers, booleans, lists using type families |
| haskellPackages.Sit | Prototypical type checker for Type Theory with Sized Natural Numbers |
| haskellPackages.ref-tf | A type class for monads with references using type families |
| docify | Script to add docstrings to Python type stubs using reflection |
| sl | Steam Locomotive runs across your terminal when you type 'sl' |
| texlivePackages.antt | Antykwa Torunska: a Type 1 family of a Polish traditional type |
| haskellPackages.pear | Pear Trees: An indexed type using type-level binary numbers |
| yaziPlugins.mime-ext | Mime-type provider based on a file extension database, replacing the builtin file to speed up mime-type retrieval at the expense of accuracy |
| python312Packages.xen | Type-1 hypervisor intended for embedded and hyperscale use cases |
| mlib | Library of generic and type safe containers in pure C language |
| python313Packages.xen | Type-1 hypervisor intended for embedded and hyperscale use cases |
| typstPackages.valkyrie_0_2_1 | Type safe type validation |
| typstPackages.valkyrie_0_2_2 | Type safe type validation |
| typstPackages.valkyrie_0_2_0 | Type safe type validation |
| bakoma_ttf | TrueType versions of the Computer Modern and AMS TeX Fonts |
| vala | Compiler for GObject type system |
| haskellPackages.say-my-name | Require explicit type application for some type variables |
| ocamlPackages.atd | Syntax for cross-language type definitions |
| oil-buku | Search-as-you-type cli frontend for the buku bookmarks manager using peco |
| ocamlPackages.uopt | [option]-like type that incurs no allocation |
| mimeo | Open files by MIME-type or file name using regular expressions |
| ocamlPackages.repr | Dynamic type representations. Provides no stability guarantee |
| haskellPackages.ghc-plugs-out | Type checker plugins without the type checking |
| roogle | Rust API search engine which allows you to search functions by names and type signatures |
| redprl | Proof assistant for Nominal Computational Type Theory |
| copygen | Command-line and programmatic Go code generator that generates custom type-based code |
| haskellPackages.accuerr | Data type like Either but with accumulating error type |
| coqPackages.HoTT | Homotopy Type Theory library |
| ocamlPackages_latest.dyn | Dynamic type |
| compsize | Find compression type/ratio on a file or set of files in the Btrfs filesystem |
| offzip | Tool to unpack the zip data contained in any type of file |
| gnomeExtensions.tactile | Tile windows on a custom grid using your keyboard. Type Super-T to show the grid, then type two tiles (or the same tile twice) to move the active window. |
| ocamlPackages.seqes | Variations of the Seq module with monads folded into the type |
| vala_0_56 | Compiler for GObject type system |
| tsgolint | Type aware linting for oxlint |
| cargo-typify | JSON Schema to Rust type converter |
| kdePackages.kmouth | Type-and-say front end for speech synthesizers |
| haskellPackages.comfort-array | Arrays where the index type is a function of the shape type |
| zsh-autocomplete | Real-time type-ahead completion for Zsh. Asynchronous find-as-you-type autocompletion |
| ocamlPackages_latest.atd | Syntax for cross-language type definitions |
| haskellPackages.vector-heterogenous | A type-safe library for vectors whose elements can be of any type, or any type satisfying some constraints |
| crystal_1_19 | Compiled language with Ruby like syntax and type inference |
| goverter | Generate type-safe Go converters by defining function signatures |
| lefthook | Fast and powerful Git hooks manager for any type of projects |
| ocamlPackages.optint | Abstract type of integer between x64 and x86 architecture |
| typstPackages.zen-zine_0_2_1 | Excellently type-set a fun little zine |
| typstPackages.zen-zine_0_2_0 | Excellently type-set a fun little zine |
| typstPackages.zen-zine_0_1_0 | Excellently type-set a fun little zine |
| crystal_1_11 | Compiled language with Ruby like syntax and type inference |
| crystal_1_16 | Compiled language with Ruby like syntax and type inference |
| crystal_1_14 | Compiled language with Ruby like syntax and type inference |
| crystal_1_17 | Compiled language with Ruby like syntax and type inference |
| crystal_1_15 | Compiled language with Ruby like syntax and type inference |
| crystal_1_18 | Compiled language with Ruby like syntax and type inference |
| ngrrram | TUI tool to help you type faster and learn new layouts. Includes a free cat |
| ocamlPackages.janeStreet.uopt | [option]-like type that incurs no allocation |