| packages/nixpkgs/ocamlPackages.janeStreet.uopt | [option]-like type that incurs no allocation |
| packages/nixpkgs/ocamlPackages_latest.uopt | [option]-like type that incurs no allocation |
| packages/nixpkgs/ngrrram | TUI tool to help you type faster and learn new layouts |
| packages/nixpkgs/ocamlPackages_latest.repr | Dynamic type representations |
| packages/nixpkgs/jtds_jdbc | Pure Java (type 4) JDBC 3.0 driver for Microsoft SQL Server |
| packages/nixpkgs/haskellPackages.luminance | Type-safe, type-level and stateless graphics framework |
| packages/nixpkgs/haskellPackages.literally | Type-safe conversion of type literals into runtime values |
| packages/nixpkgs/ocamlPackages.resto | Minimal OCaml library for type-safe HTTP/JSON RPCs |
| packages/nixpkgs/ocamlPackages.cooltt | Cool implementation of normalization by evaluation (nbe) & elaboration for Cartesian cubical type theory |
| 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/elmPackages.elm-graphql | Autogenerate type-safe GraphQL queries in Elm |
| packages/nixpkgs/ocamlPackages.resto-acl | Minimal OCaml library for type-safe HTTP/JSON RPCs |
| 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/ocamlPackages_latest.seqes | Variations of the Seq module with monads folded into the type |
| packages/nixpkgs/poliedros | Multi-type dice roller |
| packages/nixpkgs/unconvert | Remove unnecessary type conversions from Go source |
| packages/nixpkgs/aws-c-event-stream | C99 implementation of the vnd.amazon.eventstream content-type |
| packages/nixpkgs/ocamlPackages.resto-json | Minimal OCaml library for type-safe HTTP/JSON RPCs |
| packages/nixpkgs/python314Packages.tlv8 | Type-Length-Value8 (TLV8) for Python |
| packages/nixpkgs/python313Packages.tlv8 | Type-Length-Value8 (TLV8) for Python |
| packages/nixpkgs/python314Packages.svg-py | Type-safe Python library to generate SVG files |
| packages/nixpkgs/python314Packages.targ | Python CLI using type hints and docstrings |
| packages/nixpkgs/python313Packages.targ | Python CLI using type hints and docstrings |
| packages/nixpkgs/python313Packages.svg-py | Type-safe Python library to generate SVG files |
| packages/nixpkgs/ocamlPackages_latest.optint | Abstract type of integer between x64 and x86 architecture |
| packages/nixpkgs/ocamlPackages_latest.janeStreet.uopt | [option]-like type that incurs no allocation |
| packages/nixpkgs/xits-math | OpenType implementation of STIX fonts with math support |
| packages/nixpkgs/ocamlPackages_latest.cooltt | Cool implementation of normalization by evaluation (nbe) & elaboration for Cartesian cubical type theory |
| packages/nixpkgs/ocamlPackages.ppx_repr | PPX deriver for type representations |
| packages/nixpkgs/python314Packages.afdko | Adobe Font Development Kit for OpenType |
| packages/nixpkgs/basedmypy | Based Python static type checker with baseline, sane default settings and based typing features |
| packages/nixpkgs/besley | Besley an antique slab serif font by indestructible type* |
| packages/nixpkgs/ocamlPackages.ppx_tydi | Let expressions, inferring pattern type from expression |
| 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/ocamlPackages.ppx_hash | PPX rewriter that generates hash functions from type expressions and definitions |
| packages/nixpkgs/ocamlPackages.resto-cohttp | Minimal OCaml library for type-safe HTTP/JSON RPCs |
| packages/nixpkgs/python314Packages.result | Rust-like result type for Python |
| packages/nixpkgs/python313Packages.result | Rust-like result type for Python |
| 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/python312Packages.tlv8 | Type-Length-Value8 (TLV8) for Python |
| packages/nixpkgs/python313Packages.mypy-boto3-mq | Type annotations for boto3 mq |
| packages/nixpkgs/python313Packages.mypy-boto3-s3 | Type annotations for boto3 s3 |
| packages/nixpkgs/python313Packages.mypy-boto3-es | Type annotations for boto3 es |
| packages/nixpkgs/python313Packages.mypy-boto3-ce | Type annotations for boto3 ce |
| packages/nixpkgs/python313Packages.mypy-boto3-ds | Type annotations for boto3 ds |
| packages/nixpkgs/python313Packages.mypy-boto3-pi | Type annotations for boto3 pi |
| packages/nixpkgs/python313Packages.mypy-boto3-m2 | Type annotations for boto3 m2 |
| packages/nixpkgs/python314Packages.mypy-boto3-m2 | Type annotations for boto3 m2 |
| packages/nixpkgs/python314Packages.mypy-boto3-es | Type annotations for boto3 es |
| packages/nixpkgs/python314Packages.mypy-boto3-mq | Type annotations for boto3 mq |
| packages/nixpkgs/python314Packages.mypy-boto3-ds | Type annotations for boto3 ds |
| packages/nixpkgs/python314Packages.mypy-boto3-pi | Type annotations for boto3 pi |
| packages/nixpkgs/python314Packages.mypy-boto3-s3 | Type annotations for boto3 s3 |
| packages/nixpkgs/python314Packages.mypy-boto3-ce | Type annotations for boto3 ce |
| packages/nixpkgs/python312Packages.svg-py | Type-safe Python library to generate SVG files |
| packages/nixpkgs/python312Packages.targ | Python CLI using type hints and docstrings |
| packages/nixpkgs/mailcap | Helper application and MIME type associations for file types |
| packages/nixpkgs/python313Packages.mypy-boto3-rum | Type annotations for boto3 rum |
| packages/nixpkgs/python313Packages.mypy-boto3-fsx | Type annotations for boto3 fsx |
| packages/nixpkgs/python313Packages.mypy-boto3-iam | Type annotations for boto3 iam |
| packages/nixpkgs/python313Packages.mypy-boto3-tnb | Type annotations for boto3 tnb |
| packages/nixpkgs/python313Packages.mypy-boto3-sdb | Type annotations for boto3 sdb |
| packages/nixpkgs/python313Packages.mypy-boto3-efs | Type annotations for boto3 efs |
| packages/nixpkgs/python313Packages.mypy-boto3-elb | Type annotations for boto3 elb |
| packages/nixpkgs/python313Packages.mypy-boto3-swf | Type annotations for boto3 swf |
| packages/nixpkgs/python313Packages.mypy-boto3-dax | Type annotations for boto3 dax |
| packages/nixpkgs/python313Packages.mypy-boto3-ram | Type annotations for boto3 ram |
| packages/nixpkgs/python313Packages.mypy-boto3-emr | Type annotations for boto3 emr |
| packages/nixpkgs/python313Packages.mypy-boto3-ses | Type annotations for boto3 ses |
| packages/nixpkgs/python313Packages.mypy-boto3-sso | Type annotations for boto3 sso |
| packages/nixpkgs/python313Packages.mypy-boto3-amp | Type annotations for boto3 amp |
| packages/nixpkgs/python313Packages.mypy-boto3-ecr | Type annotations for boto3 ecr |
| packages/nixpkgs/python313Packages.mypy-boto3-dms | Type annotations for boto3 dms |
| packages/nixpkgs/python313Packages.mypy-boto3-sts | Type annotations for boto3 sts |
| packages/nixpkgs/python313Packages.mypy-boto3-cur | Type annotations for boto3 cur |
| packages/nixpkgs/python313Packages.mypy-boto3-eks | Type annotations for boto3 eks |
| packages/nixpkgs/python313Packages.mypy-boto3-rds | Type annotations for boto3 rds |
| packages/nixpkgs/python313Packages.mypy-boto3-waf | Type annotations for boto3 waf |
| packages/nixpkgs/python313Packages.mypy-boto3-sqs | Type annotations for boto3 sqs |
| packages/nixpkgs/python313Packages.mypy-boto3-mgn | Type annotations for boto3 mgn |
| packages/nixpkgs/python313Packages.mypy-boto3-ec2 | Type annotations for boto3 ec2 |
| packages/nixpkgs/python313Packages.mypy-boto3-ebs | Type annotations for boto3 ebs |
| packages/nixpkgs/python313Packages.mypy-boto3-dlm | Type annotations for boto3 dlm |
| packages/nixpkgs/python313Packages.mypy-boto3-oam | Type annotations for boto3 oam |
| packages/nixpkgs/python313Packages.mypy-boto3-ssm | Type annotations for boto3 ssm |
| packages/nixpkgs/python313Packages.mypy-boto3-ivs | Type annotations for boto3 ivs |
| packages/nixpkgs/python313Packages.mypy-boto3-acm | Type annotations for boto3 acm |
| packages/nixpkgs/python313Packages.mypy-boto3-kms | Type annotations for boto3 kms |
| packages/nixpkgs/python313Packages.mypy-boto3-fis | Type annotations for boto3 fis |
| packages/nixpkgs/python313Packages.mypy-boto3-ecs | Type annotations for boto3 ecs |
| packages/nixpkgs/python313Packages.mypy-boto3-fms | Type annotations for boto3 fms |