| texlivePackages.mfnfss | Packages to typeset oldgerman and pandora fonts in LaTeX |
| haskellPackages.Frank | An experimental programming language with typed algebraic effects |
| nim | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| ats | Functional programming language with dependent types |
| lilypond-unstable | Music typesetting system |
| texlivePackages.cslatex | LaTeX support for Czech/Slovak typesetting |
| texlivePackages.metauml | MetaPost library for typesetting UML diagrams |
| texlivePackages.theatre | A sophisticated package for typesetting stage plays |
| texlivePackages.uassign | Environments and options for typesetting university assignments |
| texlivePackages.latexmp | Interface for LaTeX-based typesetting in MetaPost |
| texlivePackages.egameps | LaTeX package for typesetting extensive games |
| texlivePackages.gitver | Get the current git hash of a project and typeset it in the document |
| texlivePackages.gaceta | A class to typeset La Gaceta de la RSME |
| texlivePackages.mhchem | Typeset chemical formulae/equations and H and P statements |
| haskellPackages.ftree | Depth-typed functor-based trees, both top-down and bottom-up |
| ocamlPackages_latest.file_path | Library for typed manipulation of UNIX-style file paths |
| ocamlPackages.janeStreet.file_path | Library for typed manipulation of UNIX-style file paths |
| python312Packages.libtmux | Typed scripting library / ORM / API wrapper for tmux |
| texlivePackages.ekdosis | Typesetting TEI-xml compliant Critical Editions |
| texlivePackages.hletter | Flexible letter typesetting with flexible page headings |
| texlivePackages.suftesi | A document class for typesetting theses, books and articles |
| texlivePackages.c-pascal | Typeset Python, C and Pascal programs |
| nim-2_0 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| nim-1_0 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| python312Packages.returns | Make your functions return something meaningful, typed, and safe |
| texlivePackages.knuth-hint | HINT collection of typeset C/WEB sources in TeX Live |
| showmethekey | Show keys you typed on screen |
| haskellPackages.lhs2tex | Preprocessor for typesetting Haskell sources with LaTeX |
| texlivePackages.tablvar | Typesetting pretty tables of signs and variations according to French usage |
| texlivePackages.asana-math | A font to typeset maths in Xe(La)TeX and Lua(La)TeX |
| texlivePackages.babel-slovak | Babel support for typesetting Slovak |
| texlivePackages.chinese-jfm | Luatexja-jfm files for Chinese typesetting |
| texlivePackages.cuisine | Typeset recipes |
| texlivePackages.tensind | Typeset tensors |
| texlivePackages.begriff | Typeset Begriffschrift |
| texlivePackages.cooking | Typeset recipes |
| haskellPackages.units-list | Extensible typed Dimensions |
| haskellPackages.named-sop | Dependently-typed sums and products, tagged by field name |
| idrisPackages.smproc | Well-typed symmetric-monoidal category of concurrent processes |
| python313Packages.simple-parsing | Simple, Elegant, Typed Argument Parsing with argparse |
| python314Packages.simple-parsing | Simple, Elegant, Typed Argument Parsing with argparse |
| atkinson-hyperlegible | Typeface designed to offer greater legibility and readability for low vision readers |
| texlivePackages.eledmac | Typeset scholarly editions |
| texlivePackages.labbook | Typeset laboratory journals |
| texlivePackages.setdeck | Typeset cards for Set |
| texlivePackages.algobox | Typeset Algobox programs |
| texlivePackages.gchords | Typeset guitar chords |
| texlivePackages.minutes | Typeset the minutes of meetings |
| texlivePackages.sidecap | Typeset captions sideways |
| texlivePackages.simurgh | Typeset Parsi in LuaLaTeX |
| texlivePackages.bizcard | Typeset business cards |
| texlivePackages.svninfo | Typeset Subversion keywords |
| texlivePackages.onedown | Typeset Bridge Diagrams |
| texlivePackages.scrjrnl | Typeset diaries or journals |
| agdaPackages.agda | A dependently typed functional programming language and proof assistant |
| haskellPackages.formal | A statically typed, functional programming language |
| haskellPackages.morloc | A multi-lingual, typed, workflow language |
| texlivePackages.musical | Typeset (musical) theatre scripts |
| texlivePackages.example | Typeset examples for TeX courses |
| texlivePackages.imsproc | Typeset IMS conference proceedings |
| texlivePackages.tutodoc | Typeset tutorial-like documentations |
| texlivePackages.pstring | Typeset sequences with justification pointers |
| perlPackages.MooXTypesMooseLikeNumeric | Moo types for numbers |
| texlivePackages.harmony | Typeset harmony symbols, etc., for musicology |
| texlivePackages.leipzig | Typeset and index linguistic gloss abbreviations |
| texlivePackages.xetexko | Typeset Korean with Xe(La)TeX |
| texlivePackages.unifith | Typeset theses for University of Florence (Italy) |
| texlivePackages.askmaps | Typeset American style Karnaugh maps |
| texlivePackages.voss-mathcol | Typesetting mathematics in colour, in (La)TeX |
| haskellPackages.winery | A compact, well-typed seralisation format for Haskell values |
| texlivePackages.factura | Typeset and calculate invoices according to Venezuelan law |
| texlivePackages.mahjong | Typeset Mahjong Tiles using MPSZ Notation |
| texlivePackages.marathi | Typeset Marathi language using XeLaTeX or LuaLaTeX |
| texlivePackages.langsci | Typeset books for publication with Language Science Press |
| texlivePackages.volumes | Typeset only parts of a document, with complete indexes etc |
| texlivePackages.spalign | Typeset matrices and arrays with spaces and semicolons as delimiters |
| texlivePackages.sistyle | Package to typeset SI units, numbers and angles |
| texlivePackages.indextra | Enhanced index typesetting |
| texlivePackages.unitsdef | Typesetting units in LaTeX |
| texlivePackages.musixtex | Sophisticated music typesetting |
| texlivePackages.hvarabic | Macros for RTL typesetting |
| texlivePackages.catechis | Macros for typesetting catechisms |
| texlivePackages.mathexam | Package for typesetting exams |
| texlivePackages.iso10303 | Typesetting the STEP standards |
| texlivePackages.epigraph | A package for typesetting epigraphs |
| python312Packages.whenever | Strict, predictable, and typed datetimes |
| perl5Packages.MooXTypesMooseLikeNumeric | Moo types for numbers |
| perl540Packages.MIMETypes | Definition of MIME types |
| perl538Packages.MIMETypes | Definition of MIME types |
| lilypond-unstable-with-fonts | Music typesetting system |
| texlivePackages.juramisc | Typesetting German juridical documents |
| texlivePackages.showexpl | Typesetting LaTeX source code |
| texlivePackages.poemscol | Typesetting Critical Editions of Poetry |
| texlivePackages.exesheet | Typesetting exercise or exam sheets |
| texlivePackages.menucard | Typesetting menu cards with LaTeX |
| texlivePackages.epiolmec | Typesetting the Epi-Olmec Language |
| texlivePackages.crosswrd | Macros for typesetting crossword puzzles |
| texlivePackages.guitlogo | Macros for typesetting the GuIT logo |
| texlivePackages.qobitree | LaTeX macros for typesetting trees |
| texlivePackages.thaispec | Thai Language Typesetting in XeLaTeX |