| haskellPackages.homoiconic | Constructs FAlgebras from typeclasses, making Haskell functions homoiconic |
| nodePackages.katex | Fast math typesetting for the web. |
| haskellPackages.one-liner-instances | Generics-based implementations for common typeclasses |
| emacsPackages.ts-comint | |
| typstPackages.typsium | Typeset chemical formulas and reactions |
| typstPackages.curryst | Typeset trees of inference rules |
| typstPackages.scripst | Scripst - A versatile scripting template for seamless Typst typesetting. 🚀 |
| haskellPackages.torsor | Torsor Typeclass |
| haskellPackages.TTTAS | Typed Transformations of Typed Abstract Syntax |
| carp | Statically typed lisp, without a GC, for real-time applications |
| azeret-mono | Azeret Mono |
| inter-alia | Expansion of Inter typeface to support the Shavian alphabet, old-style figures, & refinements to IPA glyphs |
| haskellPackages.always | provides a typeclass that is always satisfied |
| haskellPackages.lawful | Assert the lawfulness of your typeclass instances |
| roboto-slab | Roboto Slab Typeface by Google |
| haskellPackages.unlift | Typeclass for monads that can be unlifted to arbitrary base monads |
| ocamlPackages.tyre | Typed Regular Expressions |
| commit-mono | Anonymous and neutral programming typeface focused on creating a better reading experience |
| haskellPackages.human-text | A lawless typeclass for converting values to human-friendly text |
| gentium | High-quality typeface family for Latin, Cyrillic, and Greek |
| public-sans | Strong, neutral, principles-driven, open source typeface for text or display |
| haskellPackages.combinators | Collection of combinators over standard typeclasses |
| haskellPackages.motor-reflection | Reflect on Motor FSM typeclasses to obtain runtime representations |
| smc-manjari | Manjari Malayalam Typeface |
| nim-unwrapped-2 | Statically typed, imperative programming language |
| python3 | High-level dynamically-typed programming language |
| sbclPackages.coalton | Statically typed functional programming language that supercharges Common Lisp |
| typstPackages.messeji | Typeset multi-page chat histories, including from external JSON files |
| haskellPackages.math-metric | Typeclass for metric spaces |
| haskellPackages.human-parse | A lawless typeclass for parsing text entered by humans |
| nim-unwrapped-2_2 | Statically typed, imperative programming language |
| nim-unwrapped-1_0 | Statically typed, imperative programming language |
| brygada-1918 | Digital revival of the Brygada serif typeface |
| ia-writer-mono | iA Writer Mono Typeface |
| haskellPackages.yesod-links | A typeclass which simplifies creating link widgets throughout your site |
| haskellPackages.tuple-append-instances | Extra instances for the typeclasses in the tuple-append package |
| haskellPackages.profunctor-optics | A compact optics library compatible with the typeclasses in profunctors |
| nerd-fonts.fira-mono | Nerd Fonts: Mozilla typeface, dotted zero |
| unfonts-core | Korean Hangul typeface collection |
| haskellPackages.dequeue | A typeclass and an implementation for double-ended queues |
| typstPackages.gridlock | Grid typesetting in Typst |
| luajitPackages.tl | Teal, a typed dialect of Lua |
| haskellPackages.linear-vect | A low-dimensional linear algebra library, operating on the Num typeclass |
| haskellPackages.classy-miso | Typeclass based support for Miso, the Tasty Web Framework for Haskell |
| sarabun-font | Slightly-condensed looped Thai and sans serif Latin typeface for communications |
| texliveMedium | TeX Live environment |
| clarity-city | Open source sans-serif typeface |
| sbclPackages.thih-coalton | Statically typed functional programming language that supercharges Common Lisp |
| sbclPackages.quil-coalton | Statically typed functional programming language that supercharges Common Lisp |
| typstPackages.algo_0_3_1 | Beautifully typeset algorithms |
| typstPackages.algo_0_3_3 | Beautifully typeset algorithms |
| typstPackages.algo_0_3_0 | Beautifully typeset algorithms |
| typstPackages.algo_0_3_2 | Beautifully typeset algorithms |
| typstPackages.algo_0_3_5 | Beautifully typeset algorithms |
| typstPackages.algo_0_3_6 | Beautifully typeset algorithms |
| typstPackages.algo_0_3_4 | Beautifully typeset algorithms |
| haskellPackages.quickcheck-classes | QuickCheck common typeclasses |
| gentium-book | High-quality typeface family for Latin, Cyrillic, and Greek |
| gentium-plus | High-quality typeface family for Latin, Cyrillic, and Greek |
| haskellPackages.constraint-classes | Various typeclasses using ConstraintKinds |
| typstPackages.whalogen | Typesetting chemical formulae, a port of mhchem |
| haskellPackages.monad-choice | Monad, monad transformer, and typeclass representing choices |
| hanazono | Japanese Mincho-typeface TrueType font |
| source-serif | Typeface for setting text in many sizes, weights, and languages. Designed to complement Source Sans |
| haskellPackages.text-display | A typeclass for user-facing output |
| nim-unwrapped | Statically typed, imperative programming language |
| camingo-code | Monospaced typeface designed for source-code editors |
| literata | Serif typeface designed for ebooks and optimized for reading |
| smc-chilanka | Chilanka Malayalam Typeface |
| haskellPackages.ffunctor | FFunctor typeclass |
| haskellPackages.validity | Validity typeclass |
| haskellPackages.truthful | Typeclass for truthfulness of values |
| haskellPackages.constrained-monads | Typeclasses and instances for monads with constraints |
| lalezar-fonts | Multi-script display typeface for popular culture |
| haskellPackages.quickcheck-classes-base | QuickCheck common typeclasses from `base` |
| chonburi-font | Didonic Thai and Latin display typeface |
| source-serif-pro | Typeface for setting text in many sizes, weights, and languages. Designed to complement Source Sans |
| nim-unwrapped-2_0 | Statically typed, imperative programming language |
| nim-unwrapped-1 | Statically typed, imperative programming language |
| elmPackages.elm-pages | Statically typed site generator for Elm |
| haskellPackages.atomic-modify | A typeclass for mutable references that have an atomic modify operation |
| haskellPackages.unliftio | The MonadUnliftIO typeclass for unlifting monads to IO (batteries included) |
| typstPackages.metalogo | Typeset various LaTeX compiler logos |
| luaPackages.tl | Teal, a typed dialect of Lua |
| haskellPackages.ghc-justdoit | A magic typeclass that just does it |
| haskellPackages.catalyst | A Category typeclass hierarchy powerful enough to encode full programs |
| haskellPackages.monad-journal | Pure logger typeclass and monad transformer |
| haskellPackages.monad-persist | An mtl-style typeclass and transformer for persistent |
| nodePackages_latest.katex | Fast math typesetting for the web. |
| haskellPackages.FirstOrderTheory | Grammar and typeclass for first order theories |
| typstPackages.atostate | Conveniently typeset atomic states |
| nerd-fonts.geist-mono | Nerd Fonts: Monospaced typeface designed to be used in code editors, diagrams, terminals, and other textbased interfaces where code is represented |
| nerd-fonts.commit-mono | Nerd Fonts: An anonymous and neutral programming typeface |
| plus-jakarta-sans | Typeface designed for Jakarta 'City of collaboration' program in 2020 |
| typstPackages.game-theoryst | A package for typesetting games in Typst |
| hanken-grotesk | Hanken Grotesk typeface |
| texlivePackages.amiri | A classical Arabic typeface, Naskh style |
| haskellPackages.stateful-mtl | Typeclass instances for monad transformer stacks with an ST thread at the bottom |
| haskellPackages.classy-prelude | A typeclass-based Prelude |
| haskellPackages.unliftio-core | The MonadUnliftIO typeclass for unlifting monads to IO |