| packages/nixpkgs/haskellPackages.deiko-config | Small and typesafe configuration library |
| packages/nixpkgs/haskellPackages.ungadtagger | Abstract GADTs from typelevel tags |
| packages/nixpkgs/texlivePackages.longdivision | Typesets long division |
| packages/nixpkgs/haskellPackages.aeson-via | Wrappers to derive-via Aeson ToJSON/FromJSON typeclasses |
| packages/nixpkgs/prisma_7 | Next-generation ORM for Node.js and TypeScript |
| packages/nixpkgs/prisma_6 | Next-generation ORM for Node.js and TypeScript |
| packages/nixpkgs/haskellPackages.chatty | Some monad transformers and typeclasses for text in- and output abstraction |
| packages/nixpkgs/haskellPackages.Object | Object oriented programming for haskell using multiparameter typeclasses |
| packages/nixpkgs/haskellPackages.monad-mock | A monad transformer for mocking mtl-style typeclasses |
| packages/nixpkgs/tf2pulumi | Convert Terraform projects to Pulumi TypeScript programs |
| packages/nixpkgs/vimPlugins.coc-tsserver | javascript and typescript language features extension of coc.nvim |
| packages/nixpkgs/python312Packages.pyre-extensions | This module defines extensions to the standard “typing” module that are supported by the Pyre typechecker |
| packages/nixpkgs/vtsls | LSP wrapper for typescript extension of vscode |
| packages/nixpkgs/haskellPackages.sparse-tensor | typesafe tensor algebra library |
| packages/nixpkgs/python313Packages.booleanoperations | Boolean operations on paths |
| packages/nixpkgs/python314Packages.booleanoperations | Boolean operations on paths |
| packages/nixpkgs/haskellPackages.data-tensor | Tensor and Group typeclasses |
| packages/nixpkgs/graplang | Language for typesetting graphs |
| packages/nixpkgs/beamMinimal27Packages.erlang | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/beamMinimal28Packages.erlang | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/beamMinimal26Packages.erlang | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/zsh-you-should-use | ZSH plugin that reminds you to use existing aliases for commands you just typed |
| packages/nixpkgs/nodePackages.coc-tsserver | javascript and typescript language features extension of coc.nvim |
| packages/nixpkgs/haskellPackages.Munkres-simple | Simple and typesafe layer over the Munkres package |
| packages/nixpkgs/python312Packages.booleanoperations | Boolean operations on paths |
| packages/nixpkgs/haskellPackages.monad-unlift | Typeclasses for representing monad transformer unlifting |
| packages/nixpkgs/etBook | Typeface used in Edward Tufte’s books |
| packages/nixpkgs/haskellPackages.chunked-data | Typeclasses for dealing with various chunked data representations |
| packages/nixpkgs/haskellPackages.monad-unlift-ref | Typeclasses for representing monad transformer unlifting |
| packages/nixpkgs/beon | Neon stencil typeface |
| packages/nixpkgs/haskellPackages.dynamodb-simple | Typesafe library for working with DynamoDB database |
| packages/nixpkgs/haskellPackages.ghc-corroborate | An flatter API for GHC typechecker plugins |
| packages/nixpkgs/ibm-plex | IBM Plex Typeface |
| packages/nixpkgs/erg | Statically typed language that can deeply improve the Python ecosystem |
| packages/nixpkgs/et-book | Typeface used in Edward Tufte’s books |
| packages/nixpkgs/lato | Sans-serif typeface family designed in Summer 2010 by Łukasz Dziedzic |
| packages/nixpkgs/typstPackages.wicked | A flexible and easy-to-use package for typesetting Wick contractions |
| packages/nixpkgs/unison-ucm | Modern, statically-typed purely functional language |
| packages/nixpkgs/amiri | Classical Arabic typeface in Naskh style |
| packages/nixpkgs/inter | Typeface specially designed for user interfaces |
| packages/nixpkgs/haskellPackages.currency-convert | Typesafe currency conversion |
| packages/nixpkgs/typstPackages.quonom | Manually and automatically typeset synthetic division |
| packages/nixpkgs/turbo-unwrapped | High-performance build system for JavaScript and TypeScript codebases |
| packages/nixpkgs/hack-font | Typeface designed for source code |
| packages/nixpkgs/i-dot-ming | Open source Pan-CJK serif typeface |
| packages/nixpkgs/typst | New markup-based typesetting system that is powerful and easy to learn |
| packages/nixpkgs/haskellPackages.haskell-generate | Typesafe generation of haskell source code |
| packages/nixpkgs/karla | Outstanding grotesque sans serif typeface family |
| packages/nixpkgs/u001-font | Univers-like typeface that comes with GhostPDL made by URW++ |
| packages/nixpkgs/agave | TrueType monospaced typeface designed for X environments |
| packages/nixpkgs/kode-mono | Custom-designed typeface explicitly created for the developer community |
| packages/nixpkgs/nodePackages_latest.coc-tsserver | javascript and typescript language features extension of coc.nvim |
| packages/nixpkgs/haskellPackages.motor-diagrams | Generate state diagrams from Motor FSM typeclasses |
| packages/nixpkgs/haskellPackages.woe | Convenient typeclass for defining arbitrary-index enums |
| packages/nixpkgs/gleam | Statically typed language for the Erlang VM |
| packages/nixpkgs/ezra-sil | Typeface fashioned after the square letter forms of the typography of the Biblia Hebraica Stuttgartensia (BHS) |
| packages/nixpkgs/iwona | Two-element sans-serif typeface, created by Małgorzata Budyta |
| packages/nixpkgs/leo-lang | Functional, statically-typed programming language built for writing private applications |
| packages/nixpkgs/pulumiPackages.pulumi-nodejs | Language host for Pulumi programs written in TypeScript & JavaScript (Node.js) |
| packages/nixpkgs/haskellPackages.IsNull | A typeclass to determine if a given value is null |
| packages/nixpkgs/typstPackages.lemmify | Theorem typesetting library |
| packages/nixpkgs/typstPackages.cjk-spacer | Improves spacing between characters when typesetting Japanese (CJK characters |
| packages/nixpkgs/leo2 | High-performance typed higher order prover |
| packages/nixpkgs/melete | Headline typeface that could be used as a movie title |
| packages/nixpkgs/kanit-font | Loopless Thai and sans serif Latin typeface for contemporary and futuristic uses |
| packages/nixpkgs/oswald | Reworking of the classic gothic typeface style |
| packages/nixpkgs/haskellPackages.l10n | Enables providing localization as typeclass instances in separate files |
| packages/nixpkgs/haskellPackages.data-rev | A typeclass for reversing order of contents |
| packages/nixpkgs/aleo-fonts | Slab serif typeface designed by Alessio Laiso |
| packages/nixpkgs/cinzel | Typeface inspired in First Century Roman Inscriptions |
| packages/nixpkgs/typstPackages.zh-kit | 基础的 Typst 中文支持，提供字体配置等核心功能。Add basicly support for Chinese Typeset, likes fonts, etc |
| packages/nixpkgs/typstPackages.trivial | Make typesetting theorems and proofs trivial |
| packages/nixpkgs/haskellPackages.homoiconic | Constructs FAlgebras from typeclasses, making Haskell functions homoiconic |
| packages/nixpkgs/nodePackages.katex | Fast math typesetting for the web. |
| packages/nixpkgs/haskellPackages.one-liner-instances | Generics-based implementations for common typeclasses |
| packages/nixpkgs/emacsPackages.ts-comint | |
| packages/nixpkgs/typstPackages.typsium | Typeset chemical formulas and reactions |
| packages/nixpkgs/typstPackages.curryst | Typeset trees of inference rules |
| packages/nixpkgs/typstPackages.scripst | Scripst - A versatile scripting template for seamless Typst typesetting. 🚀 |
| packages/nixpkgs/haskellPackages.torsor | Torsor Typeclass |
| packages/nixpkgs/haskellPackages.TTTAS | Typed Transformations of Typed Abstract Syntax |
| packages/nixpkgs/carp | Statically typed lisp, without a GC, for real-time applications |
| packages/nixpkgs/azeret-mono | Azeret Mono |
| packages/nixpkgs/inter-alia | Expansion of Inter typeface to support the Shavian alphabet, old-style figures, & refinements to IPA glyphs |
| packages/nixpkgs/haskellPackages.always | provides a typeclass that is always satisfied |
| packages/nixpkgs/haskellPackages.lawful | Assert the lawfulness of your typeclass instances |
| packages/nixpkgs/roboto-slab | Roboto Slab Typeface by Google |
| packages/nixpkgs/haskellPackages.unlift | Typeclass for monads that can be unlifted to arbitrary base monads |
| packages/nixpkgs/ocamlPackages.tyre | Typed Regular Expressions |
| packages/nixpkgs/commit-mono | Anonymous and neutral programming typeface focused on creating a better reading experience |
| packages/nixpkgs/haskellPackages.human-text | A lawless typeclass for converting values to human-friendly text |
| packages/nixpkgs/gentium | High-quality typeface family for Latin, Cyrillic, and Greek |
| packages/nixpkgs/public-sans | Strong, neutral, principles-driven, open source typeface for text or display |
| packages/nixpkgs/haskellPackages.combinators | Collection of combinators over standard typeclasses |
| packages/nixpkgs/haskellPackages.motor-reflection | Reflect on Motor FSM typeclasses to obtain runtime representations |
| packages/nixpkgs/smc-manjari | Manjari Malayalam Typeface |
| packages/nixpkgs/nim-unwrapped-2 | Statically typed, imperative programming language |
| packages/nixpkgs/python3 | High-level dynamically-typed programming language |
| packages/nixpkgs/sbclPackages.coalton | Statically typed functional programming language that supercharges Common Lisp |
| packages/nixpkgs/typstPackages.messeji | Typeset multi-page chat histories, including from external JSON files |