| perlPackages.TypesSerialiser | Simple data types for common serialisation formats |
| haskellPackages.linear-socket | Typed sockets |
| haskellPackages.monopati | Well-typed paths |
| haskellPackages.Contract | Practical typed lazy contracts |
| haskellPackages.mathflow | Dependently typed tensorflow modeler |
| haskellPackages.shapely-data | Generics using @(,)@ and @Either@, with algebraic operations and typed conversions |
| haskellPackages.zeolite-lang | Zeolite is a statically-typed, general-purpose programming language |
| perl5Packages.TypesSerialiser | Simple data types for common serialisation formats |
| texlivePackages.tikz-karnaugh | Typeset Karnaugh maps using TikZ |
| texlivePackages.formal-grammar | Typeset formal grammars |
| haskellPackages.parsley-core | A fast parser combinator library backed by Typed Template Haskell |
| texlivePackages.context-squares | Typesetting Magic and Latin squares |
| iat | Tool for detecting the structure of many types of CD/DVD images |
| chickenPackages_5.chickenEggs.simple-cells | Implementation of typed cells to replace general set! operators |
| texlivePackages.grading-scheme | Typeset grading schemes in tabular format |
| ocamlPackages.junit_ounit | OCaml package for the creation of JUnit XML reports, proving a typed API to produce valid reports acceptable to Jenkins, comes with packages supporting OUnit and Alcotest |
| texlivePackages.syllogism | Typeset syllogisms in LaTeX |
| texlivePackages.pracjourn | Typeset articles for PracTeX |
| texlivePackages.crossword | Typeset crossword puzzles |
| texlivePackages.poetrytex | Typeset anthologies of poetry |
| texlivePackages.rbt-mathnotes | Rebecca Turner's personal macros and styles for typesetting mathematics notes |
| haskellPackages.symantic | Library for Typed Tagless-Final Higher-Order Composable DSL |
| texlivePackages.turnstile | Typeset the (logic) turnstile notation |
| texlivePackages.dramatist | Typeset dramas, both in verse and in prose |
| texlivePackages.newspaper | Typeset newsletters to resemble newspapers |
| texlivePackages.book-of-common-prayer | Typeset in the style of "Book of Common Prayer" |
| texlivePackages.dirtytalk | A package to typeset quotations easier |
| texlivePackages.swungdash | Typeset a swung dash in LaTeX |
| texlivePackages.edichokey | Typeset dichotomous identification keys |
| texlivePackages.alchemist | Typeset alchemist and astrological symbols |
| texlivePackages.resumecls | Typeset a resume both in English and Chinese |
| texlivePackages.signchart | Create beautifully typeset sign charts |
| texlivePackages.sapthesis | Typeset theses for Sapienza-University, Rome |
| haskellPackages.clr-bindings | Glue between clr-host and clr-typed |
| texlivePackages.exercises | Typeset exercises and solutions with automatic addition of points |
| texlivePackages.korigamik | Typeset articles using KorigamiK's document class |
| texlivePackages.sidenotes | Typeset notes containing rich content, in the margin |
| texlivePackages.unswcover | Typeset a dissertation cover page following UNSW guidelines |
| texlivePackages.verifiche | A LaTeX package to typeset (Italian) high school tests |
| texlivePackages.annee-scolaire | Automatically typeset the academic year (French way) |
| texlivePackages.schwalbe-chess | Typeset the German chess magazine "Die Schwalbe" |
| perlPackages.MouseXTypesPathClass | Cross-platform path specification manipulation |
| texlivePackages.babel-slovenian | Babel support for typesetting Slovenian |
| texlivePackages.leadsheets | Typesetting leadsheets and songbooks |
| texlivePackages.flashcards | A class for typesetting flashcards |
| perl5Packages.MouseXTypesPathClass | Cross-platform path specification manipulation |
| texlivePackages.vdmlisting | Typesetting VDM in ASCII syntax |
| texlivePackages.examdesign | LaTeX class for typesetting exams |
| texlivePackages.basicarith | Macros for typesetting basic arithmetic |
| texlivePackages.colorblind | Easy colorblind-safe typesetting |
| haskellPackages.full-sessions | a monad for protocol-typed network programming |
| haskellPackages.unliftio-path | UnliftIO using well-typed Paths |
| haskellPackages.xml-tydom-conduit | Typed XML encoding for an xml-conduit backend |
| texlivePackages.anonymous-acm | Typeset anonymous versions for ACM articles |
| texlivePackages.totalcount | Commands for typesetting total values of counters |
| texlivePackages.frenchmath | Typesetting mathematics according to French rules |
| texlivePackages.passivetex | Support package for XML/SGML typesetting |
| texlivePackages.nicematrix | Improve the typesetting of mathematical matrices with PGF |
| texlivePackages.juraabbrev | Abbreviations for typesetting (German) juridical documents |
| texlivePackages.logictools | Additional tools for typesetting formal logic |
| python312Packages.strictyaml | Strict, typed YAML parser |
| texlivePackages.algorithms | A suite of tools for typesetting algorithms in pseudo-code |
| texlivePackages.multinotes | Typesetting multilingual lecture notes and exercise sheets |
| texlivePackages.assignment | A class file for typesetting homework and lab assignments |
| texlivePackages.chemmacros | A collection of macros to support typesetting chemistry documents |
| texlivePackages.parsinevis | "Scheherazade New" adapted for Persian typesetting and scientific writings |
| haskellPackages.dirforest | Typed directory forest |
| haskellPackages.decidable | Combinators for manipulating dependently-typed predicates |
| texlivePackages.cryptocode | Typesetting pseudocode, protocols, game-based proofs and black-box reductions in cryptography |
| perl538Packages.TypesSerialiser | Simple data types for common serialisation formats |
| perl540Packages.TypesSerialiser | Simple data types for common serialisation formats |
| texlivePackages.collection-games | Games typesetting |
| haskellPackages.hasktorch | Haskell bindings to libtorch, supporting both typed and untyped tensors |
| typstPackages.tonguetoquill-usaf-memo | Typeset memos that are fully compliant with AFH 33-337 'The Tongue and Quill |
| perlPackages.MooseXTypesDateTimeMoreCoercions | Extensions to MooseX::Types::DateTime |
| texlivePackages.polynomial | Typeset (univariate) polynomials |
| ocamlPackages_latest.junit_ounit | OCaml package for the creation of JUnit XML reports, proving a typed API to produce valid reports acceptable to Jenkins, comes with packages supporting OUnit and Alcotest |
| texlivePackages.philokalia | A font to typeset the Philokalia Books |
| texlivePackages.cesenaexam | A class file to typeset exams |
| texlivePackages.variations | Typeset tables of variations of functions |
| texlivePackages.screenplay | A class file to typeset screenplays |
| texlivePackages.bangorexam | Typeset an examination at Bangor University |
| texlivePackages.bitpattern | Typeset bit pattern diagrams |
| texlivePackages.tabularray | Typeset tabulars and arrays with LaTeX3 |
| texlivePackages.timbreicmc | Typeset documents with ICMC/USP watermarks |
| texlivePackages.cclicenses | Typeset Creative Commons licence logos |
| texlivePackages.statistics | Compute and typeset statistics tables and graphics |
| texlivePackages.productbox | Typeset a three-dimensional product box |
| perl5Packages.MooseXTypesDateTimeMoreCoercions | Extensions to MooseX::Types::DateTime |
| typstPackages.algorithmic_0_1_0 | Algorithm pseudocode typesetting for Typst, inspired by algorithmicx in LaTeX |
| haskellPackages.ollama-holes-plugin | A typed-hole plugin that uses LLMs to generate valid hole-fits |
| haskellPackages.prompt-hs_1_1_0_2 | A user-friendly, dependently-typed library for asking your users questions |
| haskellPackages.prompt-hs_1_1_0_1 | A user-friendly, dependently-typed library for asking your users questions |
| perl540Packages.MooseXTypesDateTime | DateTime related constraints and coercions for Moose |
| perl538Packages.MooseXTypesDateTime | DateTime related constraints and coercions for Moose |
| texlivePackages.recipecard | Typeset recipes in note-card-sized boxes |
| texlivePackages.gfnotation | Typeset Gottlob Frege's notation in plain TeX |
| texlivePackages.visualtoks | Typeset TeXbook-style visualisations of token lists |
| typstPackages.algorithmic_1_0_6 | Algorithm pseudocode typesetting for Typst, inspired by algorithmicx in LaTeX |
| typstPackages.algorithmic_1_0_3 | Algorithm pseudocode typesetting for Typst, inspired by algorithmicx in LaTeX |