| 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.othelloboard | Typeset Othello (Reversi) diagrams of any size, with annotations |
| packages/nixpkgs/texlivePackages.feupphdteses | Typeset Engineering PhD theses at the University of Porto |
| packages/nixpkgs/texlivePackages.memorygraphs | TikZ styles to typeset graphs of program memory |
| 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.bangorcsthesis | Typeset a thesis at Bangor University |
| packages/nixpkgs/texlivePackages.bilingualpages | Typeset two columns in parallel |
| 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.elm-bridge | Derive Elm types and Json code from Haskell types, using aeson's options |
| packages/nixpkgs/haskellPackages.data-result | Data types for returning results distinguishable by types |
| 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 | Primitive GHC types with unlifted types inside |
| 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 |
| packages/nixpkgs/perlPackages.FFIC | C data types for FFI |
| packages/nixpkgs/akkuPackages.srfi-19 | Implementation of SRFI 19 'Time Data Types and Procedures' |
| packages/nixpkgs/perl5Packages.FFIC | C data types for FFI |
| packages/nixpkgs/perlPackages.enum | C style enumerated types and bitmask flags in Perl |
| packages/nixpkgs/ilmbase | Library for 2D/3D vectors and matrices and other mathematical objects, functions and data types for computer graphics |
| packages/nixpkgs/perl5Packages.enum | C style enumerated types and bitmask flags in Perl |
| packages/nixpkgs/haskellPackages.row | Row types |
| packages/nixpkgs/haskellPackages.i | Haskell interval types |
| packages/nixpkgs/haskellPackages.zm | Language independent, reproducible, absolute types |
| packages/nixpkgs/haskellPackages.tax | Types and combinators for taxes |
| packages/nixpkgs/idris2 | Purely functional programming language with first class types |
| packages/nixpkgs/haskellPackages.hkt | A library for higher kinded types |
| packages/nixpkgs/haskellPackages.ttn | Things Tracker Network JSON Types |
| packages/nixpkgs/haskellPackages.qbe | Types and prettyprinter for the IL of the QBE compiler backend |
| packages/nixpkgs/perlPackages.DataUtil | Selection of utilities for data and data types |
| packages/nixpkgs/haskellPackages.Docs | Documentation types library |
| packages/nixpkgs/haskellPackages.qd-vec | 'Vec' instances for 'qd' types |
| packages/nixpkgs/haskellPackages.mime | Working with MIME types |
| packages/nixpkgs/perlPackages.DataPerl | Base classes wrapping fundamental Perl data types |
| packages/nixpkgs/haskellPackages.RepLib | Generic programming library with representation types |
| packages/nixpkgs/haskellPackages.appc | app container types and tools |
| packages/nixpkgs/haskellPackages.ABList | An alternating list of two types |
| packages/nixpkgs/haskellPackages.kdt | Fast and flexible k-d trees for various types of point queries |
| packages/nixpkgs/haskellPackages.flay | Generic programming for higher-kinded types |
| packages/nixpkgs/haskellPackages.crdt | Conflict-free replicated data types |
| packages/nixpkgs/haskellPackages.hset | Primitive list with elements of unique types |
| packages/nixpkgs/haskellPackages.tax-ato | Tax types and computations for Australia |
| packages/nixpkgs/haskellPackages.yoko | Generic Programming with Disbanded Data Types |
| packages/nixpkgs/perl5Packages.DataUtil | Selection of utilities for data and data types |
| packages/nixpkgs/pretty-simple | pretty printer for data types with a 'Show' instance |
| packages/nixpkgs/idrisPackages.idris | Functional Programming Language with Dependent Types |
| packages/nixpkgs/haskellPackages.ron-rdt | Replicated Data Types (RON-RDT) |
| packages/nixpkgs/haskellPackages.wkt | Parsec parsers and types for geographic data in well-known text (WKT) format |
| packages/nixpkgs/perl5Packages.DataPerl | Base classes wrapping fundamental Perl data types |
| packages/nixpkgs/haskellPackages.hw-prim | Primitive functions and data types |
| packages/nixpkgs/idrisPackages.idris-no-deps | Functional Programming Language with Dependent Types |
| packages/nixpkgs/haskellPackages.oops | Combinators for handling errors of many types in a composable way |
| packages/nixpkgs/haskellPackages.witness_0_7 | values that witness types |
| packages/nixpkgs/haskellPackages.aws-arn | Types and optics for manipulating Amazon Resource Names (ARNs) |
| packages/nixpkgs/haskellPackages.curry | Curry types |
| packages/nixpkgs/haskellPackages.facts | Refined types |
| packages/nixpkgs/haskellPackages.data-fix | Fixpoint data types |
| packages/nixpkgs/haskellPackages.rpm-nvr | RPM package name-version-release data types |
| packages/nixpkgs/bat-extras.batpipe | Less (and soon bat) preprocessor for viewing more types of files in the terminal |
| packages/nixpkgs/haskellPackages.int-cast | Checked conversions between integral types |
| packages/nixpkgs/haskellPackages.smash | Combinators for Maybe types |
| packages/nixpkgs/haskellPackages.ten-lens | Lenses for the types in the ten package |
| packages/nixpkgs/haskellPackages.open-adt | Open algebraic data types |
| packages/nixpkgs/haskellPackages.teeth | Dental data types |
| packages/nixpkgs/haskellPackages.linear-base_0_5_0 | Standard library for linear types |
| packages/nixpkgs/perl540Packages.FFIC | C data types for FFI |
| packages/nixpkgs/perl538Packages.FFIC | C data types for FFI |
| packages/nixpkgs/haskellPackages.OddWord | Provides a wrapper for deriving word types with fewer bits |