| packages/nixpkgs/haskellPackages.tal | An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew) |
| packages/nixpkgs/haskellPackages.serv | Dependently typed API framework |
| packages/nixpkgs/haskellPackages.path | Support for well-typed paths |
| packages/nixpkgs/texlivePackages.cnbwp | Typeset working papers of the Czech National Bank |
| packages/nixpkgs/texlivePackages.casyl | Typeset Cree/Inuktitut in Canadian Aboriginal Syllabics |
| packages/nixpkgs/texlivePackages.piano | Typeset a basic 2-octave piano diagram |
| packages/nixpkgs/texlivePackages.quran | An easy way to typeset any part of The Holy Quran |
| packages/nixpkgs/texlivePackages.komacv | Typesetting a beautiful CV with various style options |
| packages/nixpkgs/texlivePackages.tikz-relay | TikZ library for typesetting electrical diagrams |
| packages/nixpkgs/texlivePackages.lpform | Typesetting linear programming formulations and sets of equations |
| packages/nixpkgs/texlivePackages.yquant | Typesetting quantum circuits in a human-readable language |
| packages/nixpkgs/atkinson-monolegible | Mono variant of the Atkinson Hyperlegible typeface |
| packages/nixpkgs/haskellPackages.ntha | A tiny statically typed functional programming language |
| packages/nixpkgs/haskellPackages.uAgda | A simplistic dependently-typed language with parametricity |
| packages/nixpkgs/texlivePackages.linop | Typeset linear operators as they appear in quantum theory or linear algebra |
| packages/nixpkgs/texlivePackages.limap | Typeset maps and blocks according to the Information Mapping(r) method |
| packages/nixpkgs/haskellPackages.mono-traversable-instances | Extra typeclass instances for mono-traversable |
| packages/nixpkgs/haskellPackages.tdoc | TDoc is a typed document builder with support for (X)HTML |
| packages/nixpkgs/texlivePackages.pst-jtree | Typeset complex trees for linguists |
| packages/nixpkgs/texlivePackages.ctable | Flexible typesetting of table and figure floats using key/value directives |
| packages/nixpkgs/texlivePackages.e-french | Comprehensive LaTeX support for French-language typesetting |
| packages/nixpkgs/texlivePackages.kotex-utf | Typeset Hangul, coded in UTF-8 |
| packages/nixpkgs/texlivePackages.mensa-tex | Typeset simple school cafeteria menus |
| packages/nixpkgs/texlivePackages.tensor | Typeset tensors |
| packages/nixpkgs/haskellPackages.Agda | A dependently typed functional programming language and proof assistant |
| packages/nixpkgs/texlivePackages.miller | Typeset miller indices |
| packages/nixpkgs/texlivePackages.snotez | Typeset notes, in the margin |
| packages/nixpkgs/texlivePackages.mohe-book | Typeset authored, translated, and research books according to mohe rules |
| packages/nixpkgs/texlivePackages.galois | Typeset Galois connections |
| packages/nixpkgs/texlivePackages.ledmac | Typeset scholarly editions |
| packages/nixpkgs/texlivePackages.thalie | Typeset drama plays |
| packages/nixpkgs/haskellPackages.path_0_9_6 | Support for well-typed paths |
| packages/nixpkgs/texlivePackages.aomart | Typeset articles for the Annals of Mathematics |
| packages/nixpkgs/texlivePackages.conteq | Typeset multiline continued equalities |
| packages/nixpkgs/texlivePackages.rcs-multi | Typeset RCS version control in multiple-file documents |
| packages/nixpkgs/texlivePackages.faktor | Typeset quotient structures with LaTeX |
| packages/nixpkgs/texlivePackages.natded | Typeset natural deduction proofs |
| packages/nixpkgs/texlivePackages.recipe | A LaTeX class to typeset recipes |
| packages/nixpkgs/texlivePackages.coolfn | Typeset long legal footnotes |
| packages/nixpkgs/texlivePackages.method | Typeset method and variable declarations |
| 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.fcolumn | Typesetting financial tables |
| packages/nixpkgs/texlivePackages.program | Typesetting programs and algorithms |
| packages/nixpkgs/texlivePackages.commath | Mathematics typesetting support |
| packages/nixpkgs/texlivePackages.isotope | A package for typesetting isotopes |
| packages/nixpkgs/texlivePackages.ling-macros | Macros for typesetting formal linguistics |
| packages/nixpkgs/texlivePackages.mattens | Matrices/tensor typesetting |
| packages/nixpkgs/texlivePackages.kotex-utils | Utility scripts and support files for typesetting Korean |
| packages/nixpkgs/texlivePackages.gene-logic | Typeset logic formulae, etc |
| packages/nixpkgs/texlivePackages.cutwin | Cut a window in a paragraph, typeset material in it |
| packages/nixpkgs/texlivePackages.octave | Typeset musical pitches with octave designations |
| packages/nixpkgs/texlivePackages.ibygrk | Fonts and macros to typeset ancient Greek |
| packages/nixpkgs/texlivePackages.staves | Typeset Icelandic staves and runic letters |
| packages/nixpkgs/texlivePackages.musuos | Typeset papers for the department of music, Osnabruck |
| packages/nixpkgs/texlivePackages.metrix | Typeset metric marks for Latin text |
| packages/nixpkgs/texlivePackages.knuth-pdf | PDF collection of typeset C/WEB sources in TeX Live |
| packages/nixpkgs/texlivePackages.bpchem | Typeset chemical names, formulae, etc |
| packages/nixpkgs/haskellPackages.forml | A statically typed, functional programming language |
| packages/nixpkgs/haskellPackages.haiji | A typed template engine, subset of jinja2 |
| packages/nixpkgs/haskellPackages.bpath | A minimal typed unix path library |
| packages/nixpkgs/haskellPackages.zinza | Typed templates with jinja like syntax |
| packages/nixpkgs/haskellPackages.nanoAgda | A toy dependently-typed language |
| packages/nixpkgs/texlivePackages.objectz | Macros for typesetting Object Z |
| 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.toptesi | Bundle for typesetting multilanguage theses |
| packages/nixpkgs/texlivePackages.dvdcoll | A class for typesetting DVD archives |
| packages/nixpkgs/texlivePackages.teubner | Philological typesetting of classical Greek |
| packages/nixpkgs/texlivePackages.gmverse | A package for typesetting (short) poems |
| packages/nixpkgs/texlivePackages.bagpipe | Support for typesetting bagpipe music |
| packages/nixpkgs/texlivePackages.arabtex | Macros and fonts for typesetting Arabic |
| packages/nixpkgs/texlivePackages.octavo | Typeset books following classical design and layout |
| 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.memoir | Typeset fiction, non-fiction and mathematical books |
| packages/nixpkgs/texlivePackages.latex-git-log | Typeset git log information |
| packages/nixpkgs/texlivePackages.polski | Typeset Polish documents with LaTeX and Polish fonts |
| packages/nixpkgs/texlivePackages.kanbun | Typeset kanbun-kundoku with support for kanbun annotation |
| 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/lilypond-unstable | Music typesetting system |
| packages/nixpkgs/texlivePackages.latexmp | Interface for LaTeX-based typesetting in MetaPost |
| packages/nixpkgs/texlivePackages.metauml | MetaPost library for typesetting UML diagrams |
| packages/nixpkgs/texlivePackages.uassign | Environments and options for typesetting university assignments |
| packages/nixpkgs/texlivePackages.theatre | A sophisticated package for typesetting stage plays |
| packages/nixpkgs/texlivePackages.cslatex | LaTeX support for Czech/Slovak typesetting |
| packages/nixpkgs/texlivePackages.egameps | LaTeX package for typesetting extensive games |
| 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/texlivePackages.gitver | Get the current git hash of a project and typeset it in the document |
| packages/nixpkgs/haskellPackages.ftree | Depth-typed functor-based trees, both top-down and bottom-up |
| packages/nixpkgs/texlivePackages.suftesi | A document class for typesetting theses, books and articles |
| packages/nixpkgs/texlivePackages.ekdosis | Typesetting TEI-xml compliant Critical Editions |
| packages/nixpkgs/texlivePackages.hletter | Flexible letter typesetting with flexible page headings |
| packages/nixpkgs/texlivePackages.c-pascal | Typeset Python, C and Pascal programs |
| packages/nixpkgs/texlivePackages.knuth-hint | HINT collection of typeset C/WEB sources in TeX Live |
| 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 |