| packages/nixpkgs/ocamlPackages_latest.conan-unix | Identify type of your file (such as the MIME type) |
| packages/nixpkgs/typstPackages.zen-zine | Excellently type-set a fun little zine |
| packages/nixpkgs/haskellPackages.impossible | Set of data and type definitions of impossible types |
| packages/nixpkgs/ocamlPackages.dyn | Dynamic type |
| 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/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/ocamlPackages.atd | Syntax for cross-language type definitions |
| packages/nixpkgs/haskellPackages.ref-tf | A type class for monads with references using type families |
| 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/ocamlPackages.uopt | [option]-like type that incurs no allocation |
| packages/nixpkgs/ocamlPackages.repr | Dynamic type representations |
| packages/nixpkgs/coqPackages.HoTT | Homotopy Type Theory library |
| packages/nixpkgs/haskellPackages.say-my-name | Require explicit type application for some type variables |
| packages/nixpkgs/python312Packages.xen | Type-1 hypervisor intended for embedded and hyperscale use cases |
| packages/nixpkgs/python313Packages.xen | Type-1 hypervisor intended for embedded and hyperscale use cases |
| packages/nixpkgs/ocamlPackages.janeStreet.uopt | [option]-like type that incurs no allocation |
| packages/nixpkgs/haskellPackages.ghc-plugs-out | Type checker plugins without the type checking |
| packages/nixpkgs/ocamlPackages.seqes | Variations of the Seq module with monads folded into the type |
| packages/nixpkgs/ocamlPackages_latest.dyn | Dynamic type |
| packages/nixpkgs/kdePackages.kmouth | Type-and-say front end for speech synthesizers |
| packages/nixpkgs/typstPackages.valkyrie_0_2_0 | Type safe type validation |
| packages/nixpkgs/typstPackages.valkyrie_0_2_2 | Type safe type validation |
| packages/nixpkgs/typstPackages.valkyrie_0_2_1 | Type safe type validation |
| packages/nixpkgs/haskellPackages.accuerr | Data type like Either but with accumulating error type |
| packages/nixpkgs/ocamlPackages.optint | Abstract type of integer between x64 and x86 architecture |
| packages/nixpkgs/ocamlPackages.resto | Minimal OCaml library for type-safe HTTP/JSON RPCs |
| packages/nixpkgs/gnomeExtensions.tactile | Tile windows on a custom grid using your keyboard |
| packages/nixpkgs/ocamlPackages_latest.atd | Syntax for cross-language type definitions |
| packages/nixpkgs/ocamlPackages.cooltt | Cool implementation of normalization by evaluation (nbe) & elaboration for Cartesian cubical type theory |
| packages/nixpkgs/ocamlPackages_latest.uopt | [option]-like type that incurs no allocation |
| packages/nixpkgs/ocamlPackages_latest.repr | Dynamic type representations |
| packages/nixpkgs/haskellPackages.comfort-array | Arrays where the index type is a function of the shape type |
| packages/nixpkgs/ocamlPackages.resto-acl | Minimal OCaml library for type-safe HTTP/JSON RPCs |
| packages/nixpkgs/elmPackages.elm-graphql | Autogenerate type-safe GraphQL queries in Elm |
| packages/nixpkgs/ocamlPackages_latest.janeStreet.uopt | [option]-like type that incurs no allocation |
| packages/nixpkgs/typstPackages.zen-zine_0_1_0 | Excellently type-set a fun little zine |
| packages/nixpkgs/typstPackages.zen-zine_0_2_0 | Excellently type-set a fun little zine |
| packages/nixpkgs/typstPackages.zen-zine_0_2_1 | Excellently type-set a fun little zine |
| packages/nixpkgs/ocamlPackages.resto-json | Minimal OCaml library for type-safe HTTP/JSON RPCs |
| 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/ocamlPackages_latest.seqes | Variations of the Seq module with monads folded into the type |
| 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/python313Packages.tlv8 | Type-Length-Value8 (TLV8) for Python |
| packages/nixpkgs/python314Packages.tlv8 | Type-Length-Value8 (TLV8) for Python |
| packages/nixpkgs/python313Packages.svg-py | Type-safe Python library to generate SVG files |
| packages/nixpkgs/python314Packages.svg-py | Type-safe Python library to generate SVG files |
| packages/nixpkgs/python313Packages.targ | Python CLI using type hints and docstrings |
| packages/nixpkgs/python314Packages.targ | Python CLI using type hints and docstrings |
| packages/nixpkgs/ocamlPackages_latest.optint | Abstract type of integer between x64 and x86 architecture |
| packages/nixpkgs/ocamlPackages.ppx_repr | PPX deriver for type representations |
| packages/nixpkgs/agdaPackages.cubical | Cubical type theory library for use with the Agda compiler |
| packages/nixpkgs/ocamlPackages_latest.cooltt | Cool implementation of normalization by evaluation (nbe) & elaboration for Cartesian cubical type theory |
| packages/nixpkgs/ocamlPackages.ppx_tydi | Let expressions, inferring pattern type from expression |
| packages/nixpkgs/python314Packages.afdko | Adobe Font Development Kit for OpenType |
| packages/nixpkgs/ocamlPackages.resto-cohttp | Minimal OCaml library for type-safe HTTP/JSON RPCs |
| packages/nixpkgs/ocamlPackages.janeStreet.ppx_tydi | Let expressions, inferring pattern type from expression |
| packages/nixpkgs/ocamlPackages.ppx_hash | PPX rewriter that generates hash functions from type expressions and definitions |
| packages/nixpkgs/ocamlPackages.janeStreet.ppx_hash | PPX rewriter that generates hash functions from type expressions and definitions |
| packages/nixpkgs/python314Packages.xen | Type-1 hypervisor intended for embedded and hyperscale use cases |
| packages/nixpkgs/haskellPackages.id | Id (f a) data type |
| packages/nixpkgs/haskellPackages.to | Simple, safe, boring type conversions |
| packages/nixpkgs/haskellPackages.ty | Typed type representations and equality proofs |
| packages/nixpkgs/python312Packages.tlv8 | Type-Length-Value8 (TLV8) for Python |
| packages/nixpkgs/haskellPackages.ttc | Textual Type Classes |
| packages/nixpkgs/haskellPackages.op2 | Functions of the type `a -> a -> b` |
| packages/nixpkgs/python313Packages.result | Rust-like result type for Python |
| packages/nixpkgs/python314Packages.result | Rust-like result type for Python |
| packages/nixpkgs/python312Packages.svg-py | Type-safe Python library to generate SVG files |
| packages/nixpkgs/akkuPackages.slib-color | Color data type |
| packages/nixpkgs/python312Packages.targ | Python CLI using type hints and docstrings |
| packages/nixpkgs/haskellPackages.nf | NF data type to statically enforce normal form |
| 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.qd | double-double and quad-double number type via libqd |
| 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.mod | Fast type-safe modular arithmetic |
| packages/nixpkgs/perlPackages.MooXTypeTiny | Tiny, yet Moo(se)-compatible type constraint |
| packages/nixpkgs/perlPackages.Specio | Type constraints and coercions for Perl |
| packages/nixpkgs/haskellPackages.cfg | Type directed application configuration parsing and accessors |
| packages/nixpkgs/haskellPackages.rle | A data type of run-length-encoded lists |
| packages/nixpkgs/haskellPackages.oneOfN | Anonymous coproduct type |
| packages/nixpkgs/haskellPackages.DrIFT | Program to derive type class instances |
| packages/nixpkgs/haskellPackages.VecN | a simple peano-indexed vector 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.str | A type class to abstract between many different string types |
| packages/nixpkgs/python313Packages.mypy-boto3-es | Type annotations for boto3 es |
| packages/nixpkgs/python313Packages.mypy-boto3-m2 | Type annotations for boto3 m2 |
| packages/nixpkgs/python313Packages.mypy-boto3-pi | Type annotations for boto3 pi |
| packages/nixpkgs/python313Packages.mypy-boto3-mq | Type annotations for boto3 mq |
| packages/nixpkgs/python313Packages.mypy-boto3-ds | Type annotations for boto3 ds |