| typstPackages.algorithmic_1_0_0 | Algorithm pseudocode typesetting for Typst, inspired by algorithmicx in LaTeX |
| typstPackages.algorithmic_1_0_7 | Algorithm pseudocode typesetting for Typst, inspired by algorithmicx in LaTeX |
| typstPackages.algorithmic_1_0_5 | Algorithm pseudocode typesetting for Typst, inspired by algorithmicx in LaTeX |
| typstPackages.algorithmic_1_0_4 | Algorithm pseudocode typesetting for Typst, inspired by algorithmicx in LaTeX |
| typstPackages.algorithmic_1_0_2 | Algorithm pseudocode typesetting for Typst, inspired by algorithmicx in LaTeX |
| haskellPackages.sydtest-process | A typed-process companion library for sydtest |
| texlivePackages.cascadilla | Typeset papers conforming to the stylesheet of the Cascadilla Proceedings Project |
| texlivePackages.recipebook | Typeset 5.5" x 8" recipes for browsing or printing |
| texlivePackages.babel-vietnamese | Babel support for typesetting Vietnamese |
| haskellPackages.polysemy-scoped-fs | Well-typed filesystem operation effects |
| texlivePackages.chess-problem-diagrams | A package for typesetting chess problem diagrams |
| texlivePackages.chemformula | Command for typesetting chemical formulas and reactions |
| haskellPackages.symantic-parser | Parser combinators statically optimized and staged via typed meta-programming |
| texlivePackages.srdp-mathematik | Typeset Austrian SRDP in mathematics |
| texlivePackages.calculation | Typesetting reasoned calculations, also called calculational proofs |
| detect-it-easy | Program for determining types of files for Windows, Linux and MacOS |
| perl538Packages.MouseXTypesPathClass | Cross-platform path specification manipulation |
| perl540Packages.MouseXTypesPathClass | Cross-platform path specification manipulation |
| haskellPackages.derivation-trees | Typeset Derivation Trees via MetaPost |
| texlivePackages.codeanatomy | Typeset code with annotations |
| texlivePackages.karnaughmap | Typeset Karnaugh maps |
| texlivePackages.yet-another-guide-latex2e | A short guide to using LaTeX2e to typeset high quality documents |
| texlivePackages.listliketab | Typeset lists as tables |
| perl540Packages.MooseXTypesDateTimeMoreCoercions | Extensions to MooseX::Types::DateTime |
| perl538Packages.MooseXTypesDateTimeMoreCoercions | Extensions to MooseX::Types::DateTime |
| texlivePackages.xcookybooky | Typeset (potentially long) recipes |
| texlivePackages.logicpuzzle | Typeset (grid-based) logic puzzles |
| texlivePackages.chemschemex | Typeset and cross-reference chemical schemes based on TikZ code |
| texlivePackages.ecclesiastic | Typesetting Ecclesiastic Latin |
| texlivePackages.returntogrid | Semi-automatic grid typesetting |
| texlivePackages.phonenumbers | Typesetting telephone numbers with LaTeX |
| texlivePackages.pressrelease | A class for typesetting press releases |
| texlivePackages.ucsmonograph | Typesetting academic documents from the University of Caxias do Sul |
| texlivePackages.hepparticles | Macros for typesetting high energy physics particle names |
| texlivePackages.crossrefenum | Smart typesetting of enumerated cross-references for various TeX formats |
| haskellPackages.encryptable | Typed encryption with persistent support |
| typstPackages.tonguetoquill-usaf-memo_1_0_0 | Typeset memos that are fully compliant with AFH 33-337 'The Tongue and Quill |
| typstPackages.tonguetoquill-usaf-memo_0_1_0 | Typeset memos that are fully compliant with AFH 33-337 'The Tongue and Quill |
| typstPackages.tonguetoquill-usaf-memo_0_2_0 | Typeset memos that are fully compliant with AFH 33-337 'The Tongue and Quill |
| typstPackages.tonguetoquill-usaf-memo_0_0_2 | Typeset memos that are fully compliant with AFH 33-337 'The Tongue and Quill |
| typstPackages.tonguetoquill-usaf-memo_0_0_1 | Typeset memos that are fully compliant with AFH 33-337 'The Tongue and Quill |
| haskellPackages.eliminators | Dependently typed elimination functions using singletons |
| haskellPackages.webdriver-precore | A typed wrapper for W3C WebDriver protocol. A base for other libraries. |
| texlivePackages.circledsteps | Typeset circled numbers |
| texlivePackages.chinesechess | Typeset Chinese chess with l3draw |
| texlivePackages.grundgesetze | Typeset Frege's Grundgesetze der Arithmetik |
| texlivePackages.sasnrdisplay | Typeset SAS or R code or output |
| texlivePackages.doublestroke | Typeset mathematical double stroke symbols |
| texlivePackages.memorygraphs | TikZ styles to typeset graphs of program memory |
| texlivePackages.feupphdteses | Typeset Engineering PhD theses at the University of Porto |
| texlivePackages.othelloboard | Typeset Othello (Reversi) diagrams of any size, with annotations |
| haskellPackages.relational-query-HDBC | HDBC instance of relational-query and typed query interface for HDBC |
| texlivePackages.framedsyntax | Typeset the syntax of commands and environments within coloured boxes |
| haskellPackages.Shpadoinkle-html | A typed, template generated Html DSL, and helpers |
| seclists | Collection of multiple types of lists used during security assessments, collected in one place |
| texlivePackages.simpleinvoice | Easy typesetting of invoices |
| haskellPackages.control-monad-exception | Explicitly typed, checked exceptions with stack traces |
| typstPackages.kinase | Easy styling for different link types like mails and urls |
| texlivePackages.uhhassignment | A document class for typesetting homework assignments |
| ante | Low-level functional language for exploring refinement types, lifetime inference, and algebraic effects |
| 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 |
| hashid | Software to identify the different types of hashes |
| typstPackages.to-stuff | Safely parse string values into native data types: lengths, alignments, colors and more |
| texlivePackages.rigidnotation | Typeset vectors and matrices following the RIGID notation |
| texlivePackages.quickreaction | A simple and fast way to typeset chemical reactions |
| texlivePackages.dynamicnumber | Dynamically typeset numbers and values in LaTeX through "symbolic links" |
| typstPackages.peano | A mathematics utility library providing specialized number types, number theory operations and a variety of math functions, etc |
| ats2 | Functional programming language with dependent types |
| magika | Detect file content types with deep learning |
| texlivePackages.algpseudocodex | Package for typesetting pseudocode |
| 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 |
| boxed-cpp | Boxing primitive types in C++ |
| xmlbeans | Java library for accessing XML by binding it to Java types |
| python313Packages.pydantic-argparse-extensible | Typed wrapper around argparse using pydantic models |
| python314Packages.pydantic-argparse-extensible | Typed wrapper around argparse using pydantic models |
| texlivePackages.xecyrmongolian | Basic support for the typesetting of Cyrillic Mongolian documents using (Xe|Lua)LaTeX |
| typstPackages.sertyp | Serialization and deserialization of most typst types into sertyp CBOR format: This includes markdown, math, etc |
| texlivePackages.bilingualpages | Typeset two columns in parallel |
| texlivePackages.bangorcsthesis | Typeset a thesis at Bangor University |
| texlivePackages.fonts-churchslavonic | Fonts for typesetting in Church Slavonic language |
| texlivePackages.exercisesheets | Typeset exercise sheets for university courses and school classes |
| texlivePackages.churchslavonic | Typeset documents in Church Slavonic language using Unicode |
| python312Packages.pydantic-argparse-extensible | Typed wrapper around argparse using pydantic models |
| haskellPackages.WeakSets | Simple set types. Useful to create sets of arbitrary types and nested sets. |
| haskellPackages.genvalidity-dirforest | Generators for typed directory forests |
| python313Packages.kicadcliwrapper | Strongly typed, auto-generated bindings for KiCAD's CLI |
| python314Packages.kicadcliwrapper | Strongly typed, auto-generated bindings for KiCAD's CLI |
| typstPackages.elembic | Framework for custom elements and types in Typst |
| haskellPackages.hs2ats | Create ATS types from Haskell types |
| haskellPackages.word-array | treat integral types as arrays of smaller integral types |
| haiti | CLI tool to identify hash types |
| magika-cli | Determines file content types using AI |
| haskellPackages.eliminators_0_9_6 | Dependently typed elimination functions using singletons |
| python312Packages.kicadcliwrapper | Strongly typed, auto-generated bindings for KiCAD's CLI |
| texlivePackages.resphilosophica | Typeset articles for the journal Res Philosophica |
| haskellPackages.data-result | Data types for returning results distinguishable by types |
| haskellPackages.elm-bridge | Derive Elm types and Json code from Haskell types, using aeson's options |
| haskellPackages.shwifty | Generate swift types from haskell types |
| ocamlPackages.gg | Basic types for computer graphics in OCaml |
| haskellPackages.ocaml-export | Convert Haskell types in OCaml types |