| lilypond-with-fonts | Music typesetting system |
| texlivePackages.elvish | Fonts for typesetting Tolkien Elvish scripts |
| texlivePackages.phfqit | Macros for typesetting Quantum Information Theory |
| texlivePackages.poetry | Facilities for typesetting poetry and poetical structure |
| texlivePackages.fandol | Four basic fonts for Chinese typesetting |
| texlivePackages.ethiop | LaTeX macros and fonts for typesetting Amharic |
| texlivePackages.isodoc | A LaTeX class for typesetting letters and invoices |
| texlivePackages.tabvar | Typesetting tables showing variations of functions |
| texlivePackages.liturg | Support for typesetting Catholic liturgical texts |
| texlivePackages.disser | Class and templates for typesetting dissertations in Russian |
| haskellPackages.LATS | Linear Algebra on Typed Spaces |
| haskellPackages.path | Support for well-typed paths |
| haskellPackages.tal | An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew) |
| haskellPackages.serv | Dependently typed API framework |
| texlivePackages.piano | Typeset a basic 2-octave piano diagram |
| texlivePackages.casyl | Typeset Cree/Inuktitut in Canadian Aboriginal Syllabics |
| texlivePackages.cnbwp | Typeset working papers of the Czech National Bank |
| texlivePackages.quran | An easy way to typeset any part of The Holy Quran |
| texlivePackages.yquant | Typesetting quantum circuits in a human-readable language |
| texlivePackages.komacv | Typesetting a beautiful CV with various style options |
| texlivePackages.tikz-relay | TikZ library for typesetting electrical diagrams |
| texlivePackages.lpform | Typesetting linear programming formulations and sets of equations |
| atkinson-monolegible | Mono variant of the Atkinson Hyperlegible typeface |
| typstPackages.game-theoryst_0_1_0 | A package for typesetting games in Typst |
| haskellPackages.uAgda | A simplistic dependently-typed language with parametricity |
| haskellPackages.ntha | A tiny statically typed functional programming language |
| python313Packages.whenever | Strict, predictable, and typed datetimes |
| python314Packages.whenever | Strict, predictable, and typed datetimes |
| texlivePackages.limap | Typeset maps and blocks according to the Information Mapping(r) method |
| texlivePackages.linop | Typeset linear operators as they appear in quantum theory or linear algebra |
| typstPackages.metalogo_1_2_0 | Typeset various LaTeX compiler logos |
| typstPackages.metalogo_1_0_2 | Typeset various LaTeX logos |
| typstPackages.metalogo_1_1_0 | Typeset various LaTeX logos |
| haskellPackages.mono-traversable-instances | Extra typeclass instances for mono-traversable |
| coqPackages.rewriter | Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting, experimental and tailored for use in Fiat Cryptography |
| haskellPackages.tdoc | TDoc is a typed document builder with support for (X)HTML |
| texlivePackages.pst-jtree | Typeset complex trees for linguists |
| typstPackages.atostate_1_0_0 | Conveniently typeset atomic states |
| texlivePackages.ctable | Flexible typesetting of table and figure floats using key/value directives |
| texlivePackages.e-french | Comprehensive LaTeX support for French-language typesetting |
| texlivePackages.kotex-utf | Typeset Hangul, coded in UTF-8 |
| texlivePackages.tensor | Typeset tensors |
| texlivePackages.mensa-tex | Typeset simple school cafeteria menus |
| haskellPackages.Agda | A dependently typed functional programming language and proof assistant |
| texlivePackages.snotez | Typeset notes, in the margin |
| texlivePackages.ledmac | Typeset scholarly editions |
| texlivePackages.mohe-book | Typeset authored, translated, and research books according to mohe rules |
| texlivePackages.thalie | Typeset drama plays |
| texlivePackages.miller | Typeset miller indices |
| texlivePackages.galois | Typeset Galois connections |
| texlivePackages.method | Typeset method and variable declarations |
| texlivePackages.faktor | Typeset quotient structures with LaTeX |
| texlivePackages.recipe | A LaTeX class to typeset recipes |
| texlivePackages.coolfn | Typeset long legal footnotes |
| texlivePackages.rcs-multi | Typeset RCS version control in multiple-file documents |
| texlivePackages.natded | Typeset natural deduction proofs |
| texlivePackages.conteq | Typeset multiline continued equalities |
| texlivePackages.aomart | Typeset articles for the Annals of Mathematics |
| haskellPackages.hpath | Support for well-typed paths |
| haskellPackages.serv-wai | Dependently typed API servers with Serv |
| texlivePackages.kotex-plain | Macros for typesetting Korean under Plain TeX |
| texlivePackages.kotex-utils | Utility scripts and support files for typesetting Korean |
| texlivePackages.ling-macros | Macros for typesetting formal linguistics |
| texlivePackages.isotope | A package for typesetting isotopes |
| texlivePackages.mattens | Matrices/tensor typesetting |
| texlivePackages.commath | Mathematics typesetting support |
| texlivePackages.program | Typesetting programs and algorithms |
| texlivePackages.fcolumn | Typesetting financial tables |
| texlivePackages.cutwin | Cut a window in a paragraph, typeset material in it |
| texlivePackages.knuth-pdf | PDF collection of typeset C/WEB sources in TeX Live |
| texlivePackages.musuos | Typeset papers for the department of music, Osnabruck |
| texlivePackages.staves | Typeset Icelandic staves and runic letters |
| texlivePackages.octave | Typeset musical pitches with octave designations |
| texlivePackages.gene-logic | Typeset logic formulae, etc |
| texlivePackages.ibygrk | Fonts and macros to typeset ancient Greek |
| texlivePackages.metrix | Typeset metric marks for Latin text |
| texlivePackages.bpchem | Typeset chemical names, formulae, etc |
| perl538Packages.MooseXTypesPathTiny | Path::Tiny types and coercions for Moose |
| perl540Packages.MooseXTypesPathTiny | Path::Tiny types and coercions for Moose |
| haskellPackages.bpath | A minimal typed unix path library |
| haskellPackages.haiji | A typed template engine, subset of jinja2 |
| haskellPackages.forml | A statically typed, functional programming language |
| haskellPackages.zinza | Typed templates with jinja like syntax |
| haskellPackages.nanoAgda | A toy dependently-typed language |
| python312Packages.hid-parser | Typed pure Python library to parse HID report descriptors |
| texlivePackages.bagpipe | Support for typesetting bagpipe music |
| texlivePackages.toptesi | Bundle for typesetting multilanguage theses |
| texlivePackages.teubner | Philological typesetting of classical Greek |
| texlivePackages.arabtex | Macros and fonts for typesetting Arabic |
| texlivePackages.active-conf | Class for typesetting ACTIVE conference papers |
| texlivePackages.titling | Control over the typesetting of the \maketitle command |
| texlivePackages.objectz | Macros for typesetting Object Z |
| texlivePackages.gmverse | A package for typesetting (short) poems |
| texlivePackages.dvdcoll | A class for typesetting DVD archives |
| texlivePackages.latex-git-log | Typeset git log information |
| texlivePackages.kanbun | Typeset kanbun-kundoku with support for kanbun annotation |
| texlivePackages.polski | Typeset Polish documents with LaTeX and Polish fonts |
| texlivePackages.memoir | Typeset fiction, non-fiction and mathematical books |
| texlivePackages.byrne | This package provides a set of tools to typeset geometric proofs in the style of Oliver Byrne's 1847 ed. of Euclid's "Elements" |
| texlivePackages.octavo | Typeset books following classical design and layout |