| 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/haskellPackages.units-list | Extensible typed Dimensions |
| packages/nixpkgs/atkinson-hyperlegible | Typeface designed to offer greater legibility and readability for low vision readers |
| packages/nixpkgs/texlivePackages.svninfo | Typeset Subversion keywords |
| packages/nixpkgs/texlivePackages.simurgh | Typeset Parsi in LuaLaTeX |
| packages/nixpkgs/texlivePackages.scrjrnl | Typeset diaries or journals |
| packages/nixpkgs/texlivePackages.onedown | Typeset Bridge Diagrams |
| packages/nixpkgs/texlivePackages.setdeck | Typeset cards for Set |
| packages/nixpkgs/texlivePackages.minutes | Typeset the minutes of meetings |
| packages/nixpkgs/texlivePackages.algobox | Typeset Algobox programs |
| packages/nixpkgs/texlivePackages.gchords | Typeset guitar chords |
| packages/nixpkgs/texlivePackages.labbook | Typeset laboratory journals |
| packages/nixpkgs/texlivePackages.sidecap | Typeset captions sideways |
| packages/nixpkgs/texlivePackages.bizcard | Typeset business cards |
| packages/nixpkgs/texlivePackages.eledmac | Typeset scholarly editions |
| packages/nixpkgs/agdaPackages.agda | A dependently typed functional programming language and proof assistant |
| packages/nixpkgs/haskellPackages.formal | A statically typed, functional programming language |
| packages/nixpkgs/haskellPackages.morloc | A multi-lingual, typed, workflow language |
| packages/nixpkgs/texlivePackages.pstring | Typeset sequences with justification pointers |
| packages/nixpkgs/texlivePackages.imsproc | Typeset IMS conference proceedings |
| packages/nixpkgs/texlivePackages.example | Typeset examples for TeX courses |
| packages/nixpkgs/texlivePackages.musical | Typeset (musical) theatre scripts |
| packages/nixpkgs/texlivePackages.tutodoc | Typeset tutorial-like documentations |
| packages/nixpkgs/texlivePackages.unifith | Typeset theses for University of Florence (Italy) |
| packages/nixpkgs/texlivePackages.xetexko | Typeset Korean with Xe(La)TeX |
| packages/nixpkgs/texlivePackages.askmaps | Typeset American style Karnaugh maps |
| packages/nixpkgs/texlivePackages.leipzig | Typeset and index linguistic gloss abbreviations |
| packages/nixpkgs/texlivePackages.harmony | Typeset harmony symbols, etc., for musicology |
| packages/nixpkgs/texlivePackages.voss-mathcol | Typesetting mathematics in colour, in (La)TeX |
| packages/nixpkgs/haskellPackages.winery | A compact, well-typed seralisation format for Haskell values |
| packages/nixpkgs/texlivePackages.sistyle | Package to typeset SI units, numbers and angles |
| packages/nixpkgs/texlivePackages.volumes | Typeset only parts of a document, with complete indexes etc |
| packages/nixpkgs/texlivePackages.factura | Typeset and calculate invoices according to Venezuelan law |
| packages/nixpkgs/texlivePackages.mahjong | Typeset Mahjong Tiles using MPSZ Notation |
| packages/nixpkgs/texlivePackages.marathi | Typeset Marathi language using XeLaTeX or LuaLaTeX |
| packages/nixpkgs/texlivePackages.langsci | Typeset books for publication with Language Science Press |
| packages/nixpkgs/texlivePackages.spalign | Typeset matrices and arrays with spaces and semicolons as delimiters |
| packages/nixpkgs/texlivePackages.iso10303 | Typesetting the STEP standards |
| packages/nixpkgs/texlivePackages.musixtex | Sophisticated music typesetting |
| packages/nixpkgs/texlivePackages.epigraph | A package for typesetting epigraphs |
| packages/nixpkgs/texlivePackages.indextra | Enhanced index typesetting |
| packages/nixpkgs/texlivePackages.unitsdef | Typesetting units in LaTeX |
| packages/nixpkgs/texlivePackages.mathexam | Package for typesetting exams |
| packages/nixpkgs/texlivePackages.hvarabic | Macros for RTL typesetting |
| packages/nixpkgs/texlivePackages.catechis | Macros for typesetting catechisms |
| packages/nixpkgs/lilypond-unstable-with-fonts | Music typesetting system |
| packages/nixpkgs/texlivePackages.poemscol | Typesetting Critical Editions of Poetry |
| packages/nixpkgs/texlivePackages.showexpl | Typesetting LaTeX source code |
| packages/nixpkgs/texlivePackages.qobitree | LaTeX macros for typesetting trees |
| packages/nixpkgs/texlivePackages.abstract | Control the typesetting of the abstract environment |
| packages/nixpkgs/texlivePackages.moremath | Additional commands for typesetting maths |
| packages/nixpkgs/texlivePackages.guitlogo | Macros for typesetting the GuIT logo |
| packages/nixpkgs/texlivePackages.crosswrd | Macros for typesetting crossword puzzles |
| packages/nixpkgs/texlivePackages.menucard | Typesetting menu cards with LaTeX |
| packages/nixpkgs/texlivePackages.thaispec | Thai Language Typesetting in XeLaTeX |
| packages/nixpkgs/texlivePackages.epiolmec | Typesetting the Epi-Olmec Language |
| packages/nixpkgs/texlivePackages.exesheet | Typesetting exercise or exam sheets |
| packages/nixpkgs/texlivePackages.juramisc | Typesetting German juridical documents |
| packages/nixpkgs/haskellPackages.shake-plus | Re-export of Shake using well-typed paths and ReaderT |
| packages/nixpkgs/texlivePackages.kblocks | Easily typeset Control Block Diagrams and Signal Flow Graphs |
| packages/nixpkgs/texlivePackages.abntex2 | Typeset technical and scientific Brazilian documents based on ABNT rules |
| packages/nixpkgs/texlivePackages.around-the-bend | Typeset exercises in TeX, with answers |
| packages/nixpkgs/texlivePackages.chletter | Class for typesetting letters to Swiss rules |
| packages/nixpkgs/texlivePackages.physics2 | Macros for typesetting maths faster and more simply |
| packages/nixpkgs/texlivePackages.gckanbun | Kanbun typesetting for (u)pLaTeX and LuaLaTeX |
| packages/nixpkgs/texlivePackages.subfiles | Individual typesetting of subfiles of a "main" document |
| packages/nixpkgs/texlivePackages.easybook | Easily typesetting Chinese theses or books |
| packages/nixpkgs/texlivePackages.greektex | Fonts for typesetting Greek/English documents |
| packages/nixpkgs/texlivePackages.identkey | Typesetting bracketed dichotomous identification keys |
| packages/nixpkgs/haskellPackages.bv-sized-lens | Well-typed lenses for bv-sized bitvectors |
| packages/nixpkgs/texlivePackages.dozenal | Typeset documents using base twelve numbering (also called "dozenal") |
| packages/nixpkgs/texlivePackages.songbook | Package for typesetting song lyrics and chord books |
| packages/nixpkgs/texlivePackages.serbian-date-lat | Updated date typesetting for Serbian |
| packages/nixpkgs/haskellPackages.xml-tydom-core | Typed XML encoding (core library) |
| packages/nixpkgs/haskellPackages.prompt-hs | A user-friendly, dependently-typed library for asking your users questions |
| packages/nixpkgs/texlivePackages.babel-swedish | Babel support for typesetting Swedish |
| packages/nixpkgs/haskellPackages.binary-ext | An alternate with strong-typed errors for `Data |
| packages/nixpkgs/haskellPackages.strong-path | Strongly typed paths in Haskell |
| packages/nixpkgs/haskellPackages.safe-tensor | Dependently typed tensor algebra |
| packages/nixpkgs/haskellPackages.HJavaScript | HJavaScript is an abstract syntax for a typed subset of JavaScript |
| packages/nixpkgs/haskellPackages.pisigma | A dependently typed core language |
| packages/nixpkgs/haskellPackages.longboi | Dependently-typed linked list implementation |
| packages/nixpkgs/haskellPackages.safe-printf | Well-typed, flexible and variadic printf for Haskell |
| packages/nixpkgs/texlivePackages.velthuis | Typeset Devanagari |
| packages/nixpkgs/texlivePackages.fancynum | Typeset numbers |
| packages/nixpkgs/haskellPackages.reroute | abstract implementation of typed and untyped web routing |
| packages/nixpkgs/texlivePackages.lettrine | Typeset dropped capitals |
| packages/nixpkgs/texlivePackages.reledmac | Typeset scholarly editions |
| packages/nixpkgs/texlivePackages.nomentbl | Nomenclature typeset in a longtable |
| packages/nixpkgs/texlivePackages.trfsigns | Typeset transform signs |
| packages/nixpkgs/texlivePackages.currvita | Typeset a curriculum vitae |
| packages/nixpkgs/texlivePackages.short-math-guide | Guide to using amsmath and related packages to typeset mathematical notation with LaTeX |
| packages/nixpkgs/texlivePackages.youngtab | Typeset Young-Tableaux |
| packages/nixpkgs/texlivePackages.cjhebrew | Typeset Hebrew with LaTeX |
| packages/nixpkgs/texlivePackages.parallel | Typeset parallel texts |
| packages/nixpkgs/texlivePackages.synttree | Typeset syntactic trees |
| packages/nixpkgs/texlivePackages.combelow | Typeset "comma-below" letters, as in Romanian |
| packages/nixpkgs/texlivePackages.karnaugh | Typeset Karnaugh-Veitch-maps |
| packages/nixpkgs/texlivePackages.gamebook | Typeset gamebooks and other interactive novels |