| texlivePackages.newtxtt | Enhancement of typewriter fonts from newtx |
| haskellPackages.GPipe | Typesafe functional GPU graphics programming |
| texlivePackages.chextras | A companion package for the Swiss typesetter |
| haskellPackages.mezzo | Typesafe music composition |
| texlivePackages.clrscode3e | Typesets pseudocode as in Introduction to Algorithms |
| haskellPackages.solga | Simple typesafe web routing |
| erlang_29 | Programming language used for massively scalable soft real-time systems |
| haskellPackages.ccast | typesafe c-style casts; useful for FFI |
| tree-sitter-grammars.tree-sitter-tsx | Tree-sitter grammar for tsx |
| haskellPackages.helix | Web development micro framework for haskell with typesafe URLs |
| haskellPackages.GPipe-Core | Typesafe functional GPU graphics programming |
| taler-wallet-core | CLI wallet for GNU Taler written in TypeScript and Anastasis Web UI |
| haskellPackages.singleton-dict | Typelevel balanced search trees via a singletonized Data.Map |
| libsigcxx30 | Typesafe callback system for standard C++ |
| texlivePackages.numbersets | Display number sets with customizable typefaces |
| scheherazade | Font designed in a similar style to traditional Naskh typefaces |
| haskellPackages.wai-routes | Typesafe URLs for Wai applications |
| scheherazade-new | Font designed in a similar style to traditional Naskh typefaces |
| typstPackages.algo | Beautifully typeset algorithms |
| python313Packages.pyre-extensions | This module defines extensions to the standard “typing” module that are supported by the Pyre typechecker |
| python314Packages.pyre-extensions | This module defines extensions to the standard “typing” module that are supported by the Pyre typechecker |
| neko | High-level dynamically typed programming language |
| haskellPackages.snap-routes | Typesafe URLs for Snap applications |
| haskellPackages.queue | Abstraction typeclasses for queue-like things |
| haskellPackages.qlinear | Typesafe library for linear algebra |
| beam28Packages.erlang | Programming language used for massively scalable soft real-time systems |
| beam27Packages.erlang | Programming language used for massively scalable soft real-time systems |
| beam26Packages.erlang | Programming language used for massively scalable soft real-time systems |
| haskellPackages.deiko-config | Small and typesafe configuration library |
| haskellPackages.ungadtagger | Abstract GADTs from typelevel tags |
| texlivePackages.longdivision | Typesets long division |
| haskellPackages.aeson-via | Wrappers to derive-via Aeson ToJSON/FromJSON typeclasses |
| prisma_7 | Next-generation ORM for Node.js and TypeScript |
| prisma_6 | Next-generation ORM for Node.js and TypeScript |
| haskellPackages.chatty | Some monad transformers and typeclasses for text in- and output abstraction |
| haskellPackages.Object | Object oriented programming for haskell using multiparameter typeclasses |
| haskellPackages.monad-mock | A monad transformer for mocking mtl-style typeclasses |
| tf2pulumi | Convert Terraform projects to Pulumi TypeScript programs |
| vimPlugins.coc-tsserver | javascript and typescript language features extension of coc.nvim |
| python312Packages.pyre-extensions | This module defines extensions to the standard “typing” module that are supported by the Pyre typechecker |
| vtsls | LSP wrapper for typescript extension of vscode |
| haskellPackages.sparse-tensor | typesafe tensor algebra library |
| python313Packages.booleanoperations | Boolean operations on paths |
| python314Packages.booleanoperations | Boolean operations on paths |
| haskellPackages.data-tensor | Tensor and Group typeclasses |
| graplang | Language for typesetting graphs |
| beamMinimal27Packages.erlang | Programming language used for massively scalable soft real-time systems |
| beamMinimal28Packages.erlang | Programming language used for massively scalable soft real-time systems |
| beamMinimal26Packages.erlang | Programming language used for massively scalable soft real-time systems |
| zsh-you-should-use | ZSH plugin that reminds you to use existing aliases for commands you just typed |
| nodePackages.coc-tsserver | javascript and typescript language features extension of coc.nvim |
| haskellPackages.Munkres-simple | Simple and typesafe layer over the Munkres package |
| python312Packages.booleanoperations | Boolean operations on paths |
| haskellPackages.monad-unlift | Typeclasses for representing monad transformer unlifting |
| etBook | Typeface used in Edward Tufte’s books |
| haskellPackages.chunked-data | Typeclasses for dealing with various chunked data representations |
| haskellPackages.monad-unlift-ref | Typeclasses for representing monad transformer unlifting |
| beon | Neon stencil typeface |
| haskellPackages.dynamodb-simple | Typesafe library for working with DynamoDB database |
| haskellPackages.ghc-corroborate | An flatter API for GHC typechecker plugins |
| ibm-plex | IBM Plex Typeface |
| erg | Statically typed language that can deeply improve the Python ecosystem |
| et-book | Typeface used in Edward Tufte’s books |
| lato | Sans-serif typeface family designed in Summer 2010 by Łukasz Dziedzic |
| typstPackages.wicked | A flexible and easy-to-use package for typesetting Wick contractions |
| unison-ucm | Modern, statically-typed purely functional language |
| amiri | Classical Arabic typeface in Naskh style |
| inter | Typeface specially designed for user interfaces |
| haskellPackages.currency-convert | Typesafe currency conversion |
| typstPackages.quonom | Manually and automatically typeset synthetic division |
| turbo-unwrapped | High-performance build system for JavaScript and TypeScript codebases |
| hack-font | Typeface designed for source code |
| i-dot-ming | Open source Pan-CJK serif typeface |
| typst | New markup-based typesetting system that is powerful and easy to learn |
| haskellPackages.haskell-generate | Typesafe generation of haskell source code |
| karla | Outstanding grotesque sans serif typeface family |
| u001-font | Univers-like typeface that comes with GhostPDL made by URW++ |
| agave | TrueType monospaced typeface designed for X environments |
| kode-mono | Custom-designed typeface explicitly created for the developer community |
| nodePackages_latest.coc-tsserver | javascript and typescript language features extension of coc.nvim |
| haskellPackages.motor-diagrams | Generate state diagrams from Motor FSM typeclasses |
| haskellPackages.woe | Convenient typeclass for defining arbitrary-index enums |
| gleam | Statically typed language for the Erlang VM |
| ezra-sil | Typeface fashioned after the square letter forms of the typography of the Biblia Hebraica Stuttgartensia (BHS) |
| iwona | Two-element sans-serif typeface, created by Małgorzata Budyta |
| leo-lang | Functional, statically-typed programming language built for writing private applications |
| pulumiPackages.pulumi-nodejs | Language host for Pulumi programs written in TypeScript & JavaScript (Node.js) |
| haskellPackages.IsNull | A typeclass to determine if a given value is null |
| typstPackages.lemmify | Theorem typesetting library |
| typstPackages.cjk-spacer | Improves spacing between characters when typesetting Japanese (CJK characters |
| leo2 | High-performance typed higher order prover |
| melete | Headline typeface that could be used as a movie title |
| kanit-font | Loopless Thai and sans serif Latin typeface for contemporary and futuristic uses |
| oswald | Reworking of the classic gothic typeface style |
| haskellPackages.l10n | Enables providing localization as typeclass instances in separate files |
| haskellPackages.data-rev | A typeclass for reversing order of contents |
| aleo-fonts | Slab serif typeface designed by Alessio Laiso |
| cinzel | Typeface inspired in First Century Roman Inscriptions |
| typstPackages.zh-kit | 基础的 Typst 中文支持，提供字体配置等核心功能。Add basicly support for Chinese Typeset, likes fonts, etc |
| typstPackages.trivial | Make typesetting theorems and proofs trivial |