| texlivePackages.abstract | Control the typesetting of the abstract environment |
| texlivePackages.moremath | Additional commands for typesetting maths |
| haskellPackages.shake-plus | Re-export of Shake using well-typed paths and ReaderT |
| texlivePackages.around-the-bend | Typeset exercises in TeX, with answers |
| texlivePackages.kblocks | Easily typeset Control Block Diagrams and Signal Flow Graphs |
| texlivePackages.abntex2 | Typeset technical and scientific Brazilian documents based on ABNT rules |
| texlivePackages.subfiles | Individual typesetting of subfiles of a "main" document |
| texlivePackages.gckanbun | Kanbun typesetting for (u)pLaTeX and LuaLaTeX |
| texlivePackages.greektex | Fonts for typesetting Greek/English documents |
| texlivePackages.physics2 | Macros for typesetting maths faster and more simply |
| texlivePackages.easybook | Easily typesetting Chinese theses or books |
| texlivePackages.identkey | Typesetting bracketed dichotomous identification keys |
| texlivePackages.chletter | Class for typesetting letters to Swiss rules |
| haskellPackages.bv-sized-lens | Well-typed lenses for bv-sized bitvectors |
| texlivePackages.dozenal | Typeset documents using base twelve numbering (also called "dozenal") |
| texlivePackages.songbook | Package for typesetting song lyrics and chord books |
| texlivePackages.serbian-date-lat | Updated date typesetting for Serbian |
| haskellPackages.prompt-hs | A user-friendly, dependently-typed library for asking your users questions |
| haskellPackages.xml-tydom-core | Typed XML encoding (core library) |
| typstPackages.theoretic_0_1_1 | Opinionated tool to typeset theorems, lemmas and such |
| typstPackages.theoretic_0_2_0 | Opinionated tool to typeset theorems, lemmas and such |
| typstPackages.theoretic_0_3_0 | Opinionated tool to typeset theorems, lemmas and such |
| typstPackages.theoretic_0_1_0 | Opinionated tool to typeset theorems, lemmas and such |
| texlivePackages.babel-swedish | Babel support for typesetting Swedish |
| haskellPackages.binary-ext | An alternate with strong-typed errors for `Data.Binary.Get` monad from `binary` package. |
| haskellPackages.safe-tensor | Dependently typed tensor algebra |
| haskellPackages.strong-path | Strongly typed paths in Haskell |
| haskellPackages.HJavaScript | HJavaScript is an abstract syntax for a typed subset of JavaScript |
| haskellPackages.pisigma | A dependently typed core language |
| haskellPackages.longboi | Dependently-typed linked list implementation |
| haskellPackages.safe-printf | Well-typed, flexible and variadic printf for Haskell |
| ocamlPackages_latest.janeStreet.file_path | Library for typed manipulation of UNIX-style file paths |
| texlivePackages.velthuis | Typeset Devanagari |
| texlivePackages.fancynum | Typeset numbers |
| haskellPackages.reroute | abstract implementation of typed and untyped web routing |
| texlivePackages.synttree | Typeset syntactic trees |
| texlivePackages.trfsigns | Typeset transform signs |
| texlivePackages.nomentbl | Nomenclature typeset in a longtable |
| texlivePackages.parallel | Typeset parallel texts |
| texlivePackages.youngtab | Typeset Young-Tableaux |
| texlivePackages.currvita | Typeset a curriculum vitae |
| texlivePackages.reledmac | Typeset scholarly editions |
| texlivePackages.cjhebrew | Typeset Hebrew with LaTeX |
| texlivePackages.short-math-guide | Guide to using amsmath and related packages to typeset mathematical notation with LaTeX |
| texlivePackages.lettrine | Typeset dropped capitals |
| texlivePackages.zhnumber | Typeset Chinese representations of numbers |
| texlivePackages.gamebook | Typeset gamebooks and other interactive novels |
| texlivePackages.frletter | Typeset letters in the French style |
| texlivePackages.combelow | Typeset "comma-below" letters, as in Romanian |
| texlivePackages.makebase | Typeset counters in a different base |
| texlivePackages.karnaugh | Typeset Karnaugh-Veitch-maps |
| texlivePackages.phonrule | Typeset linear phonological rules |
| haskellPackages.glambda | A simply typed lambda calculus interpreter, written with GADTs |
| haskellPackages.express | Dynamically-typed expressions involving function application and variables |
| texlivePackages.flipbook | Typeset flipbook animations, in the corners of documents |
| texlivePackages.anonchap | Make chapters be typeset like sections |
| texlivePackages.exercise | Typeset exercises, problems, etc. and their answers |
| texlivePackages.mathpazo | Fonts to typeset mathematics to match Palatino |
| texlivePackages.backnaur | Typeset Backus Naur Form definitions |
| texlivePackages.textglos | Typeset and index linguistic gloss abbreviations |
| texlivePackages.verifica | Typeset (Italian high school) exercises |
| texlivePackages.shapepar | A macro to typeset paragraphs in specific shapes |
| texlivePackages.luatexja | Typeset Japanese with Lua(La)TeX |
| texlivePackages.luatexko | Typeset Korean with Lua(La)TeX |
| texlivePackages.rotpages | Typeset sets of pages upside-down and backwards |
| haskellPackages.provide | Lightweight dependency injection / namespaced+typed implicit-ish arguments |
| haskellPackages.parsley | A fast parser combinator library backed by Typed Template Haskell |
| texlivePackages.dccpaper | Typeset papers for the International Journal of Digital Curation |
| texlivePackages.listings | Typeset source code listings using LaTeX |
| texlivePackages.register | Typeset programmable elements in digital hardware (registers) |
| perlPackages.MooseXTypesDateTime | DateTime related constraints and coercions for Moose |
| texlivePackages.delimset | Typeset and declare sets of delimiters with convenient size control |
| texlivePackages.contract | Typeset formalized legal documents such as contracts, statutes, etc. |
| texlivePackages.puyotikz | Quickly typeset board states of Puyo Puyo games |
| python312Packages.simple-parsing | Simple, Elegant, Typed Argument Parsing with argparse |
| texlivePackages.ebsthesis | Typesetting theses for economics |
| texlivePackages.bewerbung | Typesetting job applications |
| texlivePackages.zx-calculus | A library to typeset ZX Calculus diagrams |
| texlivePackages.elzcards | Typeset business cards, index cards and flash cards easily |
| haskellPackages.redis-schema | Typed, schema-based, composable Redis library |
| python313Packages.strictyaml | Strict, typed YAML parser |
| python314Packages.strictyaml | Strict, typed YAML parser |
| texlivePackages.nanicolle | Typesetting herbarium specimen labels |
| texlivePackages.changelog | Typesetting keepachangelog.com style changelogs |
| texlivePackages.principia | Notations for typesetting the "Principia Mathematica" |
| texlivePackages.cooking-units | Typeset and convert units for cookery books and recipes |
| haskellPackages.path_0_9_6 | Support for well-typed paths |
| perl5Packages.MooseXTypesDateTime | DateTime related constraints and coercions for Moose |
| texlivePackages.scripture | A LaTeX style for typesetting Bible quotations |
| texlivePackages.widetable | An environment for typesetting tables of specified width |
| texlivePackages.photobook | A document class for typesetting photo books |
| texlivePackages.pagerange | Flexible and configurable page range typesetting |
| haskellPackages.path_0_9_5 | Support for well-typed paths |
| texlivePackages.pythontex | Run Python from within a document, typesetting the results |
| texlivePackages.doulossil | A font for typesetting the International Phonetic Alphabet (IPA) |
| texlivePackages.ftc-notebook | Typeset FIRST Tech Challenge (FTC) notebooks |
| haskellPackages.inferno-core | A statically-typed functional scripting language |
| texlivePackages.kotex-oblivoir | A LaTeX document class for typesetting Korean documents |
| perl540Packages.MooXTypesMooseLikeNumeric | Moo types for numbers |
| perl538Packages.MooXTypesMooseLikeNumeric | Moo types for numbers |