| packages/nixpkgs/texlivePackages.multinotes | Typesetting multilingual lecture notes and exercise sheets |
| packages/nixpkgs/texlivePackages.assignment | A class file for typesetting homework and lab assignments |
| packages/nixpkgs/texlivePackages.chemmacros | A collection of macros to support typesetting chemistry documents |
| packages/nixpkgs/texlivePackages.parsinevis | "Scheherazade New" adapted for Persian typesetting and scientific writings |
| packages/nixpkgs/haskellPackages.dirforest | Typed directory forest |
| packages/nixpkgs/haskellPackages.decidable | Combinators for manipulating dependently-typed predicates |
| packages/nixpkgs/texlivePackages.cryptocode | Typesetting pseudocode, protocols, game-based proofs and black-box reductions in cryptography |
| packages/nixpkgs/texlivePackages.collection-games | Games typesetting |
| packages/nixpkgs/haskellPackages.hasktorch | Haskell bindings to libtorch, supporting both typed and untyped tensors |
| packages/nixpkgs/typstPackages.tonguetoquill-usaf-memo | Typeset memos that are fully compliant with AFH 33-337 'The Tongue and Quill |
| packages/nixpkgs/texlivePackages.polynomial | Typeset (univariate) polynomials |
| packages/nixpkgs/ocamlPackages_latest.junit_ounit | OCaml package for the creation of JUnit XML reports, proving a typed API to produce valid reports acceptable to Jenkins, comes with packages supporting OUnit and Alcotest |
| packages/nixpkgs/texlivePackages.philokalia | A font to typeset the Philokalia Books |
| packages/nixpkgs/texlivePackages.cesenaexam | A class file to typeset exams |
| packages/nixpkgs/texlivePackages.variations | Typeset tables of variations of functions |
| packages/nixpkgs/texlivePackages.screenplay | A class file to typeset screenplays |
| packages/nixpkgs/texlivePackages.bangorexam | Typeset an examination at Bangor University |
| packages/nixpkgs/texlivePackages.bitpattern | Typeset bit pattern diagrams |
| packages/nixpkgs/texlivePackages.tabularray | Typeset tabulars and arrays with LaTeX3 |
| packages/nixpkgs/texlivePackages.timbreicmc | Typeset documents with ICMC/USP watermarks |
| packages/nixpkgs/texlivePackages.cclicenses | Typeset Creative Commons licence logos |
| packages/nixpkgs/texlivePackages.statistics | Compute and typeset statistics tables and graphics |
| packages/nixpkgs/texlivePackages.productbox | Typeset a three-dimensional product box |
| packages/nixpkgs/typstPackages.algorithmic_0_1_0 | Algorithm pseudocode typesetting for Typst, inspired by algorithmicx in LaTeX |
| packages/nixpkgs/haskellPackages.ollama-holes-plugin | A typed-hole plugin that uses LLMs to generate valid hole-fits |
| packages/nixpkgs/haskellPackages.prompt-hs_1_1_0_2 | A user-friendly, dependently-typed library for asking your users questions |
| packages/nixpkgs/haskellPackages.prompt-hs_1_1_0_1 | A user-friendly, dependently-typed library for asking your users questions |
| packages/nixpkgs/texlivePackages.recipecard | Typeset recipes in note-card-sized boxes |
| packages/nixpkgs/texlivePackages.gfnotation | Typeset Gottlob Frege's notation in plain TeX |
| packages/nixpkgs/texlivePackages.visualtoks | Typeset TeXbook-style visualisations of token lists |
| packages/nixpkgs/typstPackages.algorithmic_1_0_6 | Algorithm pseudocode typesetting for Typst, inspired by algorithmicx in LaTeX |
| packages/nixpkgs/typstPackages.algorithmic_1_0_3 | Algorithm pseudocode typesetting for Typst, inspired by algorithmicx in LaTeX |
| packages/nixpkgs/typstPackages.algorithmic_1_0_0 | Algorithm pseudocode typesetting for Typst, inspired by algorithmicx in LaTeX |
| packages/nixpkgs/typstPackages.algorithmic_1_0_7 | Algorithm pseudocode typesetting for Typst, inspired by algorithmicx in LaTeX |
| packages/nixpkgs/typstPackages.algorithmic_1_0_5 | Algorithm pseudocode typesetting for Typst, inspired by algorithmicx in LaTeX |
| packages/nixpkgs/typstPackages.algorithmic_1_0_4 | Algorithm pseudocode typesetting for Typst, inspired by algorithmicx in LaTeX |
| packages/nixpkgs/typstPackages.algorithmic_1_0_2 | Algorithm pseudocode typesetting for Typst, inspired by algorithmicx in LaTeX |
| packages/nixpkgs/haskellPackages.sydtest-process | A typed-process companion library for sydtest |
| packages/nixpkgs/texlivePackages.cascadilla | Typeset papers conforming to the stylesheet of the Cascadilla Proceedings Project |
| packages/nixpkgs/texlivePackages.recipebook | Typeset 5.5" x 8" recipes for browsing or printing |
| packages/nixpkgs/texlivePackages.babel-vietnamese | Babel support for typesetting Vietnamese |
| packages/nixpkgs/haskellPackages.polysemy-scoped-fs | Well-typed filesystem operation effects |
| packages/nixpkgs/texlivePackages.chess-problem-diagrams | A package for typesetting chess problem diagrams |
| packages/nixpkgs/texlivePackages.chemformula | Command for typesetting chemical formulas and reactions |
| packages/nixpkgs/haskellPackages.symantic-parser | Parser combinators statically optimized and staged via typed meta-programming |
| packages/nixpkgs/texlivePackages.srdp-mathematik | Typeset Austrian SRDP in mathematics |
| packages/nixpkgs/texlivePackages.calculation | Typesetting reasoned calculations, also called calculational proofs |
| packages/nixpkgs/detect-it-easy | Program for determining types of files for Windows, Linux and MacOS |
| packages/nixpkgs/haskellPackages.derivation-trees | Typeset Derivation Trees via MetaPost |
| packages/nixpkgs/texlivePackages.codeanatomy | Typeset code with annotations |
| packages/nixpkgs/texlivePackages.karnaughmap | Typeset Karnaugh maps |
| packages/nixpkgs/texlivePackages.yet-another-guide-latex2e | A short guide to using LaTeX2e to typeset high quality documents |
| packages/nixpkgs/texlivePackages.listliketab | Typeset lists as tables |
| packages/nixpkgs/texlivePackages.xcookybooky | Typeset (potentially long) recipes |
| packages/nixpkgs/texlivePackages.logicpuzzle | Typeset (grid-based) logic puzzles |
| packages/nixpkgs/texlivePackages.chemschemex | Typeset and cross-reference chemical schemes based on TikZ code |
| packages/nixpkgs/texlivePackages.ecclesiastic | Typesetting Ecclesiastic Latin |
| packages/nixpkgs/texlivePackages.returntogrid | Semi-automatic grid typesetting |
| packages/nixpkgs/texlivePackages.phonenumbers | Typesetting telephone numbers with LaTeX |
| packages/nixpkgs/texlivePackages.pressrelease | A class for typesetting press releases |
| packages/nixpkgs/texlivePackages.ucsmonograph | Typesetting academic documents from the University of Caxias do Sul |
| packages/nixpkgs/texlivePackages.hepparticles | Macros for typesetting high energy physics particle names |
| packages/nixpkgs/texlivePackages.crossrefenum | Smart typesetting of enumerated cross-references for various TeX formats |
| packages/nixpkgs/haskellPackages.encryptable | Typed encryption with persistent support |
| packages/nixpkgs/typstPackages.tonguetoquill-usaf-memo_1_0_0 | Typeset memos that are fully compliant with AFH 33-337 'The Tongue and Quill |
| packages/nixpkgs/typstPackages.tonguetoquill-usaf-memo_0_1_0 | Typeset memos that are fully compliant with AFH 33-337 'The Tongue and Quill |
| packages/nixpkgs/typstPackages.tonguetoquill-usaf-memo_0_2_0 | Typeset memos that are fully compliant with AFH 33-337 'The Tongue and Quill |
| packages/nixpkgs/typstPackages.tonguetoquill-usaf-memo_0_0_2 | Typeset memos that are fully compliant with AFH 33-337 'The Tongue and Quill |
| packages/nixpkgs/typstPackages.tonguetoquill-usaf-memo_0_0_1 | Typeset memos that are fully compliant with AFH 33-337 'The Tongue and Quill |
| packages/nixpkgs/haskellPackages.eliminators | Dependently typed elimination functions using singletons |
| packages/nixpkgs/haskellPackages.webdriver-precore | A typed wrapper for W3C WebDriver protocol |
| packages/nixpkgs/texlivePackages.circledsteps | Typeset circled numbers |
| packages/nixpkgs/texlivePackages.chinesechess | Typeset Chinese chess with l3draw |
| packages/nixpkgs/texlivePackages.grundgesetze | Typeset Frege's Grundgesetze der Arithmetik |
| packages/nixpkgs/texlivePackages.sasnrdisplay | Typeset SAS or R code or output |
| packages/nixpkgs/texlivePackages.doublestroke | Typeset mathematical double stroke symbols |
| packages/nixpkgs/texlivePackages.memorygraphs | TikZ styles to typeset graphs of program memory |
| packages/nixpkgs/texlivePackages.feupphdteses | Typeset Engineering PhD theses at the University of Porto |
| packages/nixpkgs/texlivePackages.othelloboard | Typeset Othello (Reversi) diagrams of any size, with annotations |
| packages/nixpkgs/haskellPackages.relational-query-HDBC | HDBC instance of relational-query and typed query interface for HDBC |
| packages/nixpkgs/texlivePackages.framedsyntax | Typeset the syntax of commands and environments within coloured boxes |
| packages/nixpkgs/haskellPackages.Shpadoinkle-html | A typed, template generated Html DSL, and helpers |
| packages/nixpkgs/seclists | Collection of multiple types of lists used during security assessments, collected in one place |
| packages/nixpkgs/texlivePackages.simpleinvoice | Easy typesetting of invoices |
| packages/nixpkgs/haskellPackages.control-monad-exception | Explicitly typed, checked exceptions with stack traces |
| packages/nixpkgs/typstPackages.kinase | Easy styling for different link types like mails and urls |
| packages/nixpkgs/texlivePackages.uhhassignment | A document class for typesetting homework assignments |
| packages/nixpkgs/ante | Low-level functional language for exploring refinement types, lifetime inference, and algebraic effects |
| packages/nixpkgs/ocamlPackages.junit_alcotest | OCaml package for the creation of JUnit XML reports, proving a typed API to produce valid reports acceptable to Jenkins, comes with packages supporting OUnit and Alcotest |
| packages/nixpkgs/hashid | Software to identify the different types of hashes |
| packages/nixpkgs/typstPackages.to-stuff | Safely parse string values into native data types: lengths, alignments, colors and more |
| packages/nixpkgs/texlivePackages.rigidnotation | Typeset vectors and matrices following the RIGID notation |
| packages/nixpkgs/texlivePackages.quickreaction | A simple and fast way to typeset chemical reactions |
| packages/nixpkgs/texlivePackages.dynamicnumber | Dynamically typeset numbers and values in LaTeX through "symbolic links" |
| packages/nixpkgs/typstPackages.peano | A mathematics utility library providing specialized number types, number theory operations and a variety of math functions, etc |
| packages/nixpkgs/ats2 | Functional programming language with dependent types |
| packages/nixpkgs/magika | Detect file content types with deep learning |
| packages/nixpkgs/texlivePackages.algpseudocodex | Package for typesetting pseudocode |
| packages/nixpkgs/ocamlPackages_latest.junit_alcotest | OCaml package for the creation of JUnit XML reports, proving a typed API to produce valid reports acceptable to Jenkins, comes with packages supporting OUnit and Alcotest |
| packages/nixpkgs/boxed-cpp | Boxing primitive types in C++ |