| 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 |
| packages/nixpkgs/texlivePackages.makebase | Typeset counters in a different base |
| packages/nixpkgs/texlivePackages.frletter | Typeset letters in the French style |
| packages/nixpkgs/texlivePackages.phonrule | Typeset linear phonological rules |
| packages/nixpkgs/texlivePackages.zhnumber | Typeset Chinese representations of numbers |
| packages/nixpkgs/haskellPackages.glambda | A simply typed lambda calculus interpreter, written with GADTs |
| packages/nixpkgs/haskellPackages.express | Dynamically-typed expressions involving function application and variables |
| packages/nixpkgs/texlivePackages.verifica | Typeset (Italian high school) exercises |
| packages/nixpkgs/texlivePackages.exercise | Typeset exercises, problems, etc. and their answers |
| packages/nixpkgs/texlivePackages.textglos | Typeset and index linguistic gloss abbreviations |
| packages/nixpkgs/texlivePackages.mathpazo | Fonts to typeset mathematics to match Palatino |
| packages/nixpkgs/texlivePackages.flipbook | Typeset flipbook animations, in the corners of documents |
| packages/nixpkgs/texlivePackages.backnaur | Typeset Backus Naur Form definitions |
| packages/nixpkgs/texlivePackages.shapepar | A macro to typeset paragraphs in specific shapes |
| packages/nixpkgs/texlivePackages.luatexko | Typeset Korean with Lua(La)TeX |
| packages/nixpkgs/texlivePackages.rotpages | Typeset sets of pages upside-down and backwards |
| packages/nixpkgs/texlivePackages.luatexja | Typeset Japanese with Lua(La)TeX |
| packages/nixpkgs/texlivePackages.anonchap | Make chapters be typeset like sections |
| packages/nixpkgs/haskellPackages.provide | Lightweight dependency injection / namespaced+typed implicit-ish arguments |
| packages/nixpkgs/haskellPackages.parsley | A fast parser combinator library backed by Typed Template Haskell |
| packages/nixpkgs/texlivePackages.listings | Typeset source code listings using LaTeX |
| packages/nixpkgs/texlivePackages.dccpaper | Typeset papers for the International Journal of Digital Curation |
| packages/nixpkgs/texlivePackages.register | Typeset programmable elements in digital hardware (registers) |
| packages/nixpkgs/texlivePackages.contract | Typeset formalized legal documents such as contracts, statutes, etc. |
| packages/nixpkgs/texlivePackages.delimset | Typeset and declare sets of delimiters with convenient size control |
| packages/nixpkgs/texlivePackages.puyotikz | Quickly typeset board states of Puyo Puyo games |
| packages/nixpkgs/texlivePackages.bewerbung | Typesetting job applications |
| packages/nixpkgs/texlivePackages.ebsthesis | Typesetting theses for economics |
| packages/nixpkgs/texlivePackages.zx-calculus | A library to typeset ZX Calculus diagrams |
| packages/nixpkgs/texlivePackages.elzcards | Typeset business cards, index cards and flash cards easily |
| packages/nixpkgs/haskellPackages.redis-schema | Typed, schema-based, composable Redis library |
| packages/nixpkgs/texlivePackages.principia | Notations for typesetting the "Principia Mathematica" |
| packages/nixpkgs/texlivePackages.nanicolle | Typesetting herbarium specimen labels |
| packages/nixpkgs/texlivePackages.changelog | Typesetting keepachangelog.com style changelogs |
| packages/nixpkgs/texlivePackages.cooking-units | Typeset and convert units for cookery books and recipes |
| packages/nixpkgs/texlivePackages.pagerange | Flexible and configurable page range typesetting |
| packages/nixpkgs/texlivePackages.scripture | A LaTeX style for typesetting Bible quotations |
| packages/nixpkgs/texlivePackages.widetable | An environment for typesetting tables of specified width |
| packages/nixpkgs/texlivePackages.photobook | A document class for typesetting photo books |
| packages/nixpkgs/haskellPackages.path_0_9_5 | Support for well-typed paths |
| packages/nixpkgs/texlivePackages.pythontex | Run Python from within a document, typesetting the results |
| packages/nixpkgs/texlivePackages.doulossil | A font for typesetting the International Phonetic Alphabet (IPA) |
| packages/nixpkgs/texlivePackages.ftc-notebook | Typeset FIRST Tech Challenge (FTC) notebooks |
| packages/nixpkgs/haskellPackages.inferno-core | A statically-typed functional scripting language |
| packages/nixpkgs/texlivePackages.kotex-oblivoir | A LaTeX document class for typesetting Korean documents |
| packages/nixpkgs/haskellPackages.linear-socket | Typed sockets |
| packages/nixpkgs/haskellPackages.monopati | Well-typed paths |
| packages/nixpkgs/haskellPackages.Contract | Practical typed lazy contracts |
| packages/nixpkgs/haskellPackages.mathflow | Dependently typed tensorflow modeler |
| packages/nixpkgs/haskellPackages.shapely-data | Generics using @(,)@ and @Either@, with algebraic operations and typed conversions |
| packages/nixpkgs/haskellPackages.zeolite-lang | Zeolite is a statically-typed, general-purpose programming language |
| packages/nixpkgs/texlivePackages.formal-grammar | Typeset formal grammars |
| packages/nixpkgs/texlivePackages.tikz-karnaugh | Typeset Karnaugh maps using TikZ |
| packages/nixpkgs/haskellPackages.parsley-core | A fast parser combinator library backed by Typed Template Haskell |
| packages/nixpkgs/texlivePackages.context-squares | Typesetting Magic and Latin squares |