| packages/nixpkgs/texlivePackages.assignment | A class file for typesetting homework and lab assignments |
| 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/texlivePackages.polynomial | Typeset (univariate) polynomials |
| packages/nixpkgs/texlivePackages.bitpattern | Typeset bit pattern diagrams |
| packages/nixpkgs/texlivePackages.philokalia | A font to typeset the Philokalia Books |
| packages/nixpkgs/texlivePackages.tabularray | Typeset tabulars and arrays with LaTeX3 |
| packages/nixpkgs/texlivePackages.cesenaexam | A class file to typeset exams |
| packages/nixpkgs/texlivePackages.bangorexam | Typeset an examination at Bangor University |
| packages/nixpkgs/texlivePackages.screenplay | A class file to typeset screenplays |
| packages/nixpkgs/texlivePackages.variations | Typeset tables of variations of functions |
| packages/nixpkgs/texlivePackages.cclicenses | Typeset Creative Commons licence logos |
| packages/nixpkgs/texlivePackages.productbox | Typeset a three-dimensional product box |
| packages/nixpkgs/texlivePackages.statistics | Compute and typeset statistics tables and graphics |
| packages/nixpkgs/texlivePackages.timbreicmc | Typeset documents with ICMC/USP watermarks |
| packages/nixpkgs/haskellPackages.prompt-hs_1_1_0_1 | A user-friendly, dependently-typed library for asking your users questions |
| 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/texlivePackages.gfnotation | Typeset Gottlob Frege's notation in plain TeX |
| packages/nixpkgs/texlivePackages.visualtoks | Typeset TeXbook-style visualisations of token lists |
| packages/nixpkgs/texlivePackages.recipecard | Typeset recipes in note-card-sized boxes |
| 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.chemformula | Command for typesetting chemical formulas and reactions |
| packages/nixpkgs/texlivePackages.chess-problem-diagrams | A package for typesetting chess problem diagrams |
| 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/haskellPackages.derivation-trees | Typeset Derivation Trees via MetaPost |
| packages/nixpkgs/texlivePackages.codeanatomy | Typeset code with annotations |
| 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.karnaughmap | Typeset Karnaugh maps |
| 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.pressrelease | A class for typesetting press releases |
| packages/nixpkgs/texlivePackages.returntogrid | Semi-automatic grid typesetting |
| packages/nixpkgs/texlivePackages.phonenumbers | Typesetting telephone numbers with LaTeX |
| 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/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.doublestroke | Typeset mathematical double stroke symbols |
| packages/nixpkgs/texlivePackages.sasnrdisplay | Typeset SAS or R code or output |
| packages/nixpkgs/texlivePackages.grundgesetze | Typeset Frege's Grundgesetze der Arithmetik |
| packages/nixpkgs/texlivePackages.othelloboard | Typeset Othello (Reversi) diagrams of any size, with annotations |
| 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/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/texlivePackages.simpleinvoice | Easy typesetting of invoices |
| packages/nixpkgs/haskellPackages.control-monad-exception | Explicitly typed, checked exceptions with stack traces |
| packages/nixpkgs/texlivePackages.uhhassignment | A document class for typesetting homework assignments |
| packages/nixpkgs/texlivePackages.quickreaction | A simple and fast way to typeset chemical reactions |
| packages/nixpkgs/texlivePackages.rigidnotation | Typeset vectors and matrices following the RIGID notation |
| packages/nixpkgs/texlivePackages.dynamicnumber | Dynamically typeset numbers and values in LaTeX through "symbolic links" |
| packages/nixpkgs/texlivePackages.algpseudocodex | Package for typesetting pseudocode |
| packages/nixpkgs/texlivePackages.xecyrmongolian | Basic support for the typesetting of Cyrillic Mongolian documents using (Xe|Lua)LaTeX |
| packages/nixpkgs/texlivePackages.bilingualpages | Typeset two columns in parallel |
| packages/nixpkgs/texlivePackages.bangorcsthesis | Typeset a thesis at Bangor University |
| packages/nixpkgs/texlivePackages.fonts-churchslavonic | Fonts for typesetting in Church Slavonic language |
| packages/nixpkgs/texlivePackages.churchslavonic | Typeset documents in Church Slavonic language using Unicode |
| packages/nixpkgs/texlivePackages.exercisesheets | Typeset exercise sheets for university courses and school classes |
| packages/nixpkgs/haskellPackages.WeakSets | Simple set types |
| packages/nixpkgs/haskellPackages.genvalidity-dirforest | Generators for typed directory forests |
| packages/nixpkgs/haskellPackages.hs2ats | Create ATS types from Haskell types |
| packages/nixpkgs/haskellPackages.word-array | treat integral types as arrays of smaller integral types |
| packages/nixpkgs/haskellPackages.eliminators_0_9_6 | Dependently typed elimination functions using singletons |
| packages/nixpkgs/texlivePackages.resphilosophica | Typeset articles for the journal Res Philosophica |
| packages/nixpkgs/haskellPackages.data-result | Data types for returning results distinguishable by types |
| packages/nixpkgs/haskellPackages.elm-bridge | Derive Elm types and Json code from Haskell types, using aeson's options |
| packages/nixpkgs/haskellPackages.shwifty | Generate swift types from haskell types |
| packages/nixpkgs/haskellPackages.ocaml-export | Convert Haskell types in OCaml types |
| packages/nixpkgs/haskellPackages.haskell-to-elm | Generate Elm types and JSON encoders and decoders from Haskell types |
| packages/nixpkgs/haskellPackages.heterogeneous-comparison | Comparison of distinctly typed values with evidence capture |
| packages/nixpkgs/haskellPackages.elminator | Generate ELM types/encoders/decoders from Haskell types |
| packages/nixpkgs/haskellPackages.multiwalk | Traverse data types via generics, acting on multiple types simultaneously |
| packages/nixpkgs/texlivePackages.romanbarpagenumber | Typesetting roman page numbers |
| packages/nixpkgs/texlivePackages.complexpolylongdiv | Typesetting (complex) polynomial long division |
| packages/nixpkgs/texlivePackages.philosophersimprint | Typesetting articles for "Philosophers' Imprint" |
| packages/nixpkgs/texlivePackages.phfextendedabstract | Typeset extended abstracts for conferences, such as often encountered in quantum information theory |
| packages/nixpkgs/haskellPackages.purescript-bridge | Generate PureScript data types from Haskell data types |
| packages/nixpkgs/haskellPackages.util-primitive-control | Utilities for stateful primitive types and types based on them |
| packages/nixpkgs/fast-float | Fast and exact implementation of the C++ from_chars functions for number types |
| packages/nixpkgs/haskellPackages.primitive-unlifted_2_2_0_0 | Primitive GHC types with unlifted types inside |
| packages/nixpkgs/haskellPackages.primitive-unlifted_0_1_3_1 | Primitive GHC types with unlifted types inside |