| packages/nixpkgs/texlivePackages.miller | Typeset miller indices |
| packages/nixpkgs/texlivePackages.galois | Typeset Galois connections |
| packages/nixpkgs/texlivePackages.method | Typeset method and variable declarations |
| packages/nixpkgs/texlivePackages.faktor | Typeset quotient structures with LaTeX |
| packages/nixpkgs/texlivePackages.recipe | A LaTeX class to typeset recipes |
| packages/nixpkgs/texlivePackages.coolfn | Typeset long legal footnotes |
| packages/nixpkgs/texlivePackages.rcs-multi | Typeset RCS version control in multiple-file documents |
| packages/nixpkgs/texlivePackages.natded | Typeset natural deduction proofs |
| packages/nixpkgs/texlivePackages.conteq | Typeset multiline continued equalities |
| packages/nixpkgs/texlivePackages.aomart | Typeset articles for the Annals of Mathematics |
| packages/nixpkgs/haskellPackages.hpath | Support for well-typed paths |
| packages/nixpkgs/haskellPackages.serv-wai | Dependently typed API servers with Serv |
| packages/nixpkgs/texlivePackages.kotex-plain | Macros for typesetting Korean under Plain TeX |
| packages/nixpkgs/texlivePackages.kotex-utils | Utility scripts and support files for typesetting Korean |
| packages/nixpkgs/texlivePackages.ling-macros | Macros for typesetting formal linguistics |
| packages/nixpkgs/texlivePackages.isotope | A package for typesetting isotopes |
| packages/nixpkgs/texlivePackages.mattens | Matrices/tensor typesetting |
| packages/nixpkgs/texlivePackages.commath | Mathematics typesetting support |
| packages/nixpkgs/texlivePackages.program | Typesetting programs and algorithms |
| packages/nixpkgs/texlivePackages.fcolumn | Typesetting financial tables |
| packages/nixpkgs/texlivePackages.cutwin | Cut a window in a paragraph, typeset material in it |
| packages/nixpkgs/texlivePackages.knuth-pdf | PDF collection of typeset C/WEB sources in TeX Live |
| packages/nixpkgs/texlivePackages.musuos | Typeset papers for the department of music, Osnabruck |
| packages/nixpkgs/texlivePackages.staves | Typeset Icelandic staves and runic letters |
| packages/nixpkgs/texlivePackages.octave | Typeset musical pitches with octave designations |
| packages/nixpkgs/texlivePackages.gene-logic | Typeset logic formulae, etc |
| packages/nixpkgs/texlivePackages.ibygrk | Fonts and macros to typeset ancient Greek |
| packages/nixpkgs/texlivePackages.metrix | Typeset metric marks for Latin text |
| packages/nixpkgs/texlivePackages.bpchem | Typeset chemical names, formulae, etc |
| packages/nixpkgs/haskellPackages.bpath | A minimal typed unix path library |
| packages/nixpkgs/haskellPackages.haiji | A typed template engine, subset of jinja2 |
| packages/nixpkgs/haskellPackages.forml | A statically typed, functional programming language |
| packages/nixpkgs/haskellPackages.zinza | Typed templates with jinja like syntax |
| packages/nixpkgs/haskellPackages.nanoAgda | A toy dependently-typed language |
| packages/nixpkgs/python312Packages.hid-parser | Typed pure Python library to parse HID report descriptors |
| packages/nixpkgs/texlivePackages.bagpipe | Support for typesetting bagpipe music |
| packages/nixpkgs/texlivePackages.toptesi | Bundle for typesetting multilanguage theses |
| packages/nixpkgs/texlivePackages.teubner | Philological typesetting of classical Greek |
| packages/nixpkgs/texlivePackages.arabtex | Macros and fonts for typesetting Arabic |
| packages/nixpkgs/texlivePackages.active-conf | Class for typesetting ACTIVE conference papers |
| packages/nixpkgs/texlivePackages.titling | Control over the typesetting of the \maketitle command |
| packages/nixpkgs/texlivePackages.objectz | Macros for typesetting Object Z |
| packages/nixpkgs/texlivePackages.gmverse | A package for typesetting (short) poems |
| packages/nixpkgs/texlivePackages.dvdcoll | A class for typesetting DVD archives |
| packages/nixpkgs/texlivePackages.latex-git-log | Typeset git log information |
| packages/nixpkgs/texlivePackages.kanbun | Typeset kanbun-kundoku with support for kanbun annotation |
| packages/nixpkgs/texlivePackages.polski | Typeset Polish documents with LaTeX and Polish fonts |
| packages/nixpkgs/texlivePackages.memoir | Typeset fiction, non-fiction and mathematical books |
| packages/nixpkgs/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" |
| packages/nixpkgs/texlivePackages.octavo | Typeset books following classical design and layout |
| packages/nixpkgs/texlivePackages.mfnfss | Packages to typeset oldgerman and pandora fonts in LaTeX |
| packages/nixpkgs/haskellPackages.Frank | An experimental programming language with typed algebraic effects |
| packages/nixpkgs/nim | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| packages/nixpkgs/ats | Functional programming language with dependent types |
| packages/nixpkgs/lilypond-unstable | Music typesetting system |
| packages/nixpkgs/texlivePackages.cslatex | LaTeX support for Czech/Slovak typesetting |
| packages/nixpkgs/texlivePackages.metauml | MetaPost library for typesetting UML diagrams |
| packages/nixpkgs/texlivePackages.theatre | A sophisticated package for typesetting stage plays |
| packages/nixpkgs/texlivePackages.uassign | Environments and options for typesetting university assignments |
| packages/nixpkgs/texlivePackages.latexmp | Interface for LaTeX-based typesetting in MetaPost |
| packages/nixpkgs/texlivePackages.egameps | LaTeX package for typesetting extensive games |
| packages/nixpkgs/texlivePackages.gitver | Get the current git hash of a project and typeset it in the document |
| packages/nixpkgs/texlivePackages.gaceta | A class to typeset La Gaceta de la RSME |
| packages/nixpkgs/texlivePackages.mhchem | Typeset chemical formulae/equations and H and P statements |
| packages/nixpkgs/haskellPackages.ftree | Depth-typed functor-based trees, both top-down and bottom-up |
| packages/nixpkgs/ocamlPackages_latest.file_path | Library for typed manipulation of UNIX-style file paths |
| packages/nixpkgs/ocamlPackages.janeStreet.file_path | Library for typed manipulation of UNIX-style file paths |
| packages/nixpkgs/python312Packages.libtmux | Typed scripting library / ORM / API wrapper for tmux |
| packages/nixpkgs/texlivePackages.ekdosis | Typesetting TEI-xml compliant Critical Editions |
| packages/nixpkgs/texlivePackages.hletter | Flexible letter typesetting with flexible page headings |
| packages/nixpkgs/texlivePackages.suftesi | A document class for typesetting theses, books and articles |
| packages/nixpkgs/texlivePackages.c-pascal | Typeset Python, C and Pascal programs |
| packages/nixpkgs/nim-2_0 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| packages/nixpkgs/nim-1_0 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| packages/nixpkgs/python312Packages.returns | Make your functions return something meaningful, typed, and safe |
| packages/nixpkgs/texlivePackages.knuth-hint | HINT collection of typeset C/WEB sources in TeX Live |
| packages/nixpkgs/showmethekey | Show keys you typed on screen |
| packages/nixpkgs/haskellPackages.lhs2tex | Preprocessor for typesetting Haskell sources with LaTeX |
| packages/nixpkgs/texlivePackages.tablvar | Typesetting pretty tables of signs and variations according to French usage |
| packages/nixpkgs/texlivePackages.asana-math | A font to typeset maths in Xe(La)TeX and Lua(La)TeX |
| packages/nixpkgs/texlivePackages.babel-slovak | Babel support for typesetting Slovak |
| packages/nixpkgs/texlivePackages.chinese-jfm | Luatexja-jfm files for Chinese typesetting |
| packages/nixpkgs/texlivePackages.cuisine | Typeset recipes |
| packages/nixpkgs/texlivePackages.tensind | Typeset tensors |
| packages/nixpkgs/texlivePackages.begriff | Typeset Begriffschrift |
| packages/nixpkgs/texlivePackages.cooking | Typeset recipes |
| packages/nixpkgs/haskellPackages.units-list | Extensible typed Dimensions |
| packages/nixpkgs/haskellPackages.named-sop | Dependently-typed sums and products, tagged by field name |
| packages/nixpkgs/idrisPackages.smproc | Well-typed symmetric-monoidal category of concurrent processes |
| packages/nixpkgs/python313Packages.simple-parsing | Simple, Elegant, Typed Argument Parsing with argparse |
| packages/nixpkgs/python314Packages.simple-parsing | Simple, Elegant, Typed Argument Parsing with argparse |
| packages/nixpkgs/atkinson-hyperlegible | Typeface designed to offer greater legibility and readability for low vision readers |
| packages/nixpkgs/texlivePackages.eledmac | Typeset scholarly editions |
| packages/nixpkgs/texlivePackages.labbook | Typeset laboratory journals |
| packages/nixpkgs/texlivePackages.setdeck | Typeset cards for Set |
| packages/nixpkgs/texlivePackages.algobox | Typeset Algobox programs |
| packages/nixpkgs/texlivePackages.gchords | Typeset guitar chords |
| packages/nixpkgs/texlivePackages.minutes | Typeset the minutes of meetings |
| packages/nixpkgs/texlivePackages.sidecap | Typeset captions sideways |
| packages/nixpkgs/texlivePackages.simurgh | Typeset Parsi in LuaLaTeX |