| packages/nixpkgs/perl540Packages.FileType | Uses magic numbers (typically at the start of a file) to determine the MIME type of that file |
| packages/nixpkgs/perl538Packages.TestDeepType | Test::Deep plugin for validating type constraints |
| packages/nixpkgs/perl540Packages.TestDeepType | Test::Deep plugin for validating type constraints |
| packages/nixpkgs/perl540Packages.TypeTiny | Tiny, yet Moo(se)-compatible type constraint |
| packages/nixpkgs/perl538Packages.TypeTiny | Tiny, yet Moo(se)-compatible type constraint |
| packages/nixpkgs/perl540Packages.ScalarType | Figure out what type a scalar is |
| packages/nixpkgs/perl538Packages.ScalarType | Figure out what type a scalar is |
| packages/nixpkgs/haskellPackages.impossible | Set of data and type definitions of impossible types |
| packages/nixpkgs/ty | Extremely fast Python type checker and language server, written in Rust |
| packages/nixpkgs/perlPackages.FFIPlatypusTypeEnum | Custom platypus type for dealing with C enumerated types |
| packages/nixpkgs/perl5Packages.FFIPlatypusTypeEnum | Custom platypus type for dealing with C enumerated types |
| packages/nixpkgs/t1utils | Collection of simple Type 1 font manipulation programs |
| packages/nixpkgs/haskellPackages.hoq | A language based on homotopy type theory with an interval type |
| packages/nixpkgs/haskellPackages.tfp | Type-level integers, booleans, lists using type families |
| packages/nixpkgs/haskellPackages.Sit | Prototypical type checker for Type Theory with Sized Natural Numbers |
| packages/nixpkgs/haskellPackages.ref-tf | A type class for monads with references using type families |
| packages/nixpkgs/sl | Steam Locomotive runs across your terminal when you type 'sl' |
| packages/nixpkgs/texlivePackages.antt | Antykwa Torunska: a Type 1 family of a Polish traditional type |
| packages/nixpkgs/haskellPackages.pear | Pear Trees: An indexed type using type-level binary numbers |
| packages/nixpkgs/mlib | Library of generic and type safe containers in pure C language |
| packages/nixpkgs/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 |
| packages/nixpkgs/vala | Compiler for GObject type system |
| packages/nixpkgs/haskellPackages.say-my-name | Require explicit type application for some type variables |
| packages/nixpkgs/oil-buku | Search-as-you-type cli frontend for the buku bookmarks manager using peco |
| packages/nixpkgs/mimeo | Open files by MIME-type or file name using regular expressions |
| packages/nixpkgs/haskellPackages.ghc-plugs-out | Type checker plugins without the type checking |
| packages/nixpkgs/roogle | Rust API search engine which allows you to search functions by names and type signatures |
| packages/nixpkgs/perl538Packages.FFIPlatypusTypeEnum | Custom platypus type for dealing with C enumerated types |
| packages/nixpkgs/perl540Packages.FFIPlatypusTypeEnum | Custom platypus type for dealing with C enumerated types |
| packages/nixpkgs/redprl | Proof assistant for Nominal Computational Type Theory |
| packages/nixpkgs/perlPackages.FFIPlatypusTypePtrObject | Platypus custom type for an object wrapped around an opaque pointer |
| packages/nixpkgs/haskellPackages.accuerr | Data type like Either but with accumulating error type |
| packages/nixpkgs/perl5Packages.FFIPlatypusTypePtrObject | Platypus custom type for an object wrapped around an opaque pointer |
| packages/nixpkgs/coqPackages.HoTT | Homotopy Type Theory library |
| packages/nixpkgs/offzip | Tool to unpack the zip data contained in any type of file |
| packages/nixpkgs/vala_0_56 | Compiler for GObject type system |
| packages/nixpkgs/cargo-typify | JSON Schema to Rust type converter |
| packages/nixpkgs/haskellPackages.comfort-array | Arrays where the index type is a function of the shape type |
| packages/nixpkgs/zsh-autocomplete | Real-time type-ahead completion for Zsh |
| packages/nixpkgs/haskellPackages.vector-heterogenous | A type-safe library for vectors whose elements can be of any type, or any type satisfying some constraints |
| packages/nixpkgs/ngrrram | TUI tool to help you type faster and learn new layouts |
| packages/nixpkgs/jtds_jdbc | Pure Java (type 4) JDBC 3.0 driver for Microsoft SQL Server |
| packages/nixpkgs/haskellPackages.literally | Type-safe conversion of type literals into runtime values |
| packages/nixpkgs/haskellPackages.luminance | Type-safe, type-level and stateless graphics framework |
| packages/nixpkgs/haskellPackages.extend-record-data-th | TH to define a new record data type that extends the existing record data type |
| packages/nixpkgs/clorinde | Generate type-checked Rust from your PostgreSQL |
| packages/nixpkgs/file | Program that shows the type of files |
| packages/nixpkgs/cedille | Interactive theorem-prover and dependently typed programming language, based on extrinsic (aka Curry-style) type theory |
| packages/nixpkgs/agdaPackages._1lab | Formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory |
| packages/nixpkgs/tnef | Unpacks MIME attachments of type application/ms-tnef |
| packages/nixpkgs/perl540Packages.FFIPlatypusTypePtrObject | Platypus custom type for an object wrapped around an opaque pointer |
| packages/nixpkgs/perl538Packages.FFIPlatypusTypePtrObject | Platypus custom type for an object wrapped around an opaque pointer |
| packages/nixpkgs/aws-c-event-stream | C99 implementation of the vnd.amazon.eventstream content-type |
| packages/nixpkgs/xits-math | OpenType implementation of STIX fonts with math support |
| packages/nixpkgs/besley | Besley an antique slab serif font by indestructible type* |
| packages/nixpkgs/cooper | Cooper* a revival of the Cooper font family by indestructible type* |
| packages/nixpkgs/comic-neue | Casual type face: Make your lemonade stand look like a fortune 500 company |
| packages/nixpkgs/haskellPackages.singletons-default | An optional type with type level default |
| packages/nixpkgs/haskellPackages.trivial-constraint | Constraints that any type, resp. no type fulfills |
| packages/nixpkgs/agdaPackages.cubical | Cubical type theory library for use with the Agda compiler |
| packages/nixpkgs/mailcap | Helper application and MIME type associations for file types |
| packages/nixpkgs/bodoni-moda | Bodoni Moda a modern no-compromises Bodoni family by indestructible type* |
| packages/nixpkgs/json2ts | Compile JSON Schema to TypeScript type declarations |
| packages/nixpkgs/postgresqlPackages.ip4r | IPv4/v6 and IPv4/v6 range index type for PostgreSQL |
| packages/nixpkgs/haskellPackages.id | Id (f a) data type |
| packages/nixpkgs/haskellPackages.ty | Typed type representations and equality proofs |
| packages/nixpkgs/haskellPackages.to | Simple, safe, boring type conversions |
| packages/nixpkgs/haskellPackages.ttc | Textual Type Classes |
| packages/nixpkgs/haskellPackages.op2 | Functions of the type `a -> a -> b` |
| packages/nixpkgs/haskellPackages.asn | asn type and encoding/decoding |
| packages/nixpkgs/haskellPackages.tao | Type-level assertion operators |
| packages/nixpkgs/haskellPackages.srt | The data type for SRT files |
| packages/nixpkgs/haskellPackages.key | Type-safe unconstrained dynamic typing |
| packages/nixpkgs/haskellPackages.ess | The type-level S combinator in Haskell |
| packages/nixpkgs/haskellPackages.eio | IO with Exceptions tracked on the type-level |
| packages/nixpkgs/haskellPackages.nf | NF data type to statically enforce normal form |
| packages/nixpkgs/haskellPackages.oneOfN | Anonymous coproduct type |
| packages/nixpkgs/haskellPackages.mod | Fast type-safe modular arithmetic |
| packages/nixpkgs/haskellPackages.DrIFT | Program to derive type class instances |
| packages/nixpkgs/haskellPackages.VecN | a simple peano-indexed vector type |
| packages/nixpkgs/haskellPackages.cfg | Type directed application configuration parsing and accessors |
| packages/nixpkgs/haskellPackages.some | Existential type: Some |
| packages/nixpkgs/haskellPackages.rle | A data type of run-length-encoded lists |
| packages/nixpkgs/haskellPackages.qd | double-double and quad-double number type via libqd |
| packages/nixpkgs/haskellPackages.str | A type class to abstract between many different string types |
| packages/nixpkgs/akkuPackages.slib-color | Color data type |
| packages/nixpkgs/haskellPackages.CTRex | Open records using closed type families |
| packages/nixpkgs/haskellPackages.flag | A simple flag type |
| packages/nixpkgs/haskellPackages.dag | Compile-time, type-safe directed acyclic graphs |
| packages/nixpkgs/haskellPackages.ten | Functors et al. over arity-1 type constructors |
| packages/nixpkgs/haskellPackages.rpc | type safe rpcs provided as basic IO actions |
| packages/nixpkgs/haskellPackages.from | Typeclasses for type conversion mappings |
| packages/nixpkgs/haskellPackages.OptDir | The OptDir type for representing optimization directions |
| packages/nixpkgs/texlivePackages.cmexb | cmexb10 metrics and Type 1 |
| packages/nixpkgs/haskellPackages.hole | Higher kinded type removal |
| packages/nixpkgs/haskellPackages.df1 | Type, render and parse the df1 hierarchical structured log format |
| packages/nixpkgs/haskellPackages.mtl-tf | Monad Transformer Library with Type Families |
| packages/nixpkgs/haskellPackages.inch | A type-checker for Haskell with integer constraints |
| packages/nixpkgs/haskellPackages.clif | A Clifford algebra number type for Haskell |
| packages/nixpkgs/haskellPackages.ml-w | Minimal ML language to to demonstrate the W type infererence algorithm |