| major-mono-display | Monospaced geometric sans serif all-uppercase typeface |
| haskellPackages.special-values | Typeclass providing special values |
| gentium-book-basic | High-quality typeface family for Latin, Cyrillic, and Greek |
| ia-writer-quattro | iA Writer Quattro Typeface |
| haskellPackages.pretty-display | Typeclass for human-readable display |
| ocamlPackages.routes | Typed routing for OCaml applications |
| python313 | High-level dynamically-typed programming language |
| haskellPackages.vect-floating | A low-dimensional linear algebra library, operating on the Floating typeclass |
| haskellPackages.classy-effects | An interface for a handler-independent, typeclass-based effect system |
| texlivePackages.cyklop | The Cyclop typeface |
| lua55Packages.tl | Teal, a typed dialect of Lua |
| ocamlPackages_latest.tyre | Typed Regular Expressions |
| ocamlPackages.bistro | Build and execute typed scientific workflows |
| haskellPackages.buildable | Typeclass for builders of linear data structures |
| cooper-hewitt | Contemporary sans serif, with characters composed of modified-geometric curves and arches |
| monocraft | Programming font based on the typeface used in Minecraft |
| dockerfile-language-server | Language server for Dockerfiles powered by Node.js, TypeScript, and VSCode technologies |
| lua53Packages.tl | Teal, a typed dialect of Lua |
| lua54Packages.tl | Teal, a typed dialect of Lua |
| lua52Packages.tl | Teal, a typed dialect of Lua |
| lua51Packages.tl | Teal, a typed dialect of Lua |
| catamaran | Stylish sans-serif Tamil and Latin typeface |
| nanum-gothic-coding | Contemporary monospaced sans-serif typeface with a warm touch |
| shrikhand | Vibrant and playful typeface for both Latin and Gujarati writing systems |
| haskellPackages.quickcheck-arbitrary-adt | Generic typeclasses for generating arbitrary ADTs |
| nerd-fonts.adwaita-mono | Nerd Fonts: The monospace typeface for GNOME |
| texlivePackages.kurier | A two-element sans-serif typeface |
| haskellPackages.fieldwise | Provides Fieldwise typeclass for operations of fields of records treated as independent components |
| coqPackages.mtac2 | Typed tactic language for Coq |
| jetbrains-mono | Typeface made for developers |
| haskellPackages.prim-instances | Prim typeclass instances |
| vscode-extensions.yoavbls.pretty-ts-errors | Make TypeScript errors prettier and human-readable in VSCode |
| purescript | Strongly-typed functional programming language that compiles to JavaScript |
| python312Full | High-level dynamically-typed programming language |
| haskellPackages.classy-effects-base | An interface for a handler-independent, typeclass-based effect system |
| haskellPackages.kindly-functors | A category polymorphic `Functor` typeclass |
| iosevka-comfy.comfy | Customised build of the Iosevka typeface, with a consistent
rounded style and overrides for almost all individual glyphs
in both roman (upright) and italic (slanted) variants.
|
| python3Full | High-level dynamically-typed programming language |
| typstPackages.zh-kit_0_1_0 | 基础的 Typst 中文支持，提供字体配置等核心功能。Add basicly support for Chinese Typeset, likes fonts, etc |
| typstPackages.jastylest-zh | Article optimized for Chinese typesetting |
| nerd-fonts.comic-shanns-mono | Nerd Fonts: The very typeface you’ve been trained to recognize since childhood |
| ocamlPackages.junit | 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 |
| haskellPackages.cryptoids-class | Typeclass-based interface to cryptoids |
| iosevka-comfy.comfy-duo | Customised build of the Iosevka typeface, with a consistent
rounded style and overrides for almost all individual glyphs
in both roman (upright) and italic (slanted) variants.
|
| assemblyscript | TypeScript-like language for WebAssembly |
| cantarell-fonts | Default typeface used in the user interface of GNOME since version 3.0 |
| typstPackages.theoretic | Opinionated tool to typeset theorems, lemmas and such |
| ia-writer-duospace | iA Writer Duospace Typeface |
| haskellPackages.hedgehog-classes | Hedgehog will eat your typeclass bugs |
| iosevka-comfy.comfy-wide | Customised build of the Iosevka typeface, with a consistent
rounded style and overrides for almost all individual glyphs
in both roman (upright) and italic (slanted) variants.
|
| dejavu_fonts | Typeface family based on the Bitstream Vera fonts |
| python314 | High-level dynamically-typed programming language |
| python315 | High-level dynamically-typed programming language |
| haskellPackages.unit-constraint | Extremely simple typeclass |
| ocamlPackages.genspio | Typed EDSL to generate POSIX Shell scripts |
| python313Packages.xnd | C library for managing typed memory blocks and Python container module |
| python314Packages.xnd | C library for managing typed memory blocks and Python container module |
| typstPackages.to-stuff_0_1_0 | Parse strings into typed lengths, alignments, colors, and more |
| typstPackages.to-stuff_0_3_1 | Parse strings into typed lengths, alignments, colors, and more |
| typstPackages.to-stuff_0_4_0 | Parse strings into typed lengths, alignments, colors, and more |
| typstPackages.to-stuff_0_3_0 | Parse strings into typed lengths, alignments, colors, and more |
| typstPackages.to-stuff_0_2_0 | Parse strings into typed lengths, alignments, colors, and more |
| typstPackages.to-stuff_0_2_1 | Parse strings into typed lengths, alignments, colors, and more |
| iosevka-comfy.comfy-wide-duo | Customised build of the Iosevka typeface, with a consistent
rounded style and overrides for almost all individual glyphs
in both roman (upright) and italic (slanted) variants.
|
| typstPackages.wicked_0_2_0 | A flexible and easy-to-use package for typesetting Wick contractions |
| typstPackages.wicked_0_1_0 | A flexible and easy-to-use package for typesetting Wick contractions |
| typstPackages.wicked_0_1_1 | A flexible and easy-to-use package for typesetting Wick contractions |
| haskellPackages.monad-classes-logging | monad-classes based typeclass for Ollie's logging-effect LoggingT |
| haskellPackages.template-haskell-lift | The 'Lift' typeclass |
| undefined-medium | Pixel grid-based monospace typeface |
| perlPackages.MouseXTypes | Organize your Mouse types in libraries |
| perlPackages.MooseXTypes | Organise your Moose types in libraries |
| python310 | High-level dynamically-typed programming language |
| python312 | High-level dynamically-typed programming language |
| python311 | High-level dynamically-typed programming language |
| python313Packages.djangorestframework-stubs | PEP-484 stubs for Django REST Framework |
| python314Packages.djangorestframework-stubs | PEP-484 stubs for Django REST Framework |
| iosevka-comfy.comfy-fixed | Customised build of the Iosevka typeface, with a consistent
rounded style and overrides for almost all individual glyphs
in both roman (upright) and italic (slanted) variants.
|
| miktex | Modern TeX distribution |
| tectonic | TeX/LaTeX engine, wrapped with a compatible biber |
| haskellPackages.first-class-instances | First-class typeclass instances |
| perl5Packages.MouseXTypes | Organize your Mouse types in libraries |
| perl5Packages.MooseXTypes | Organise your Moose types in libraries |
| luau | Fast, small, safe, gradually typed embeddable scripting language derived from Lua |
| ocamlPackages_latest.routes | Typed routing for OCaml applications |
| texlivePackages.fetamont | Extended version of Knuth's logo typeface |
| dockerfile-language-server-nodejs | Language server for Dockerfiles powered by Node.js, TypeScript, and VSCode technologies |
| typstPackages.quonom_0_1_0 | Manually and automatically typeset synthetic division |
| ocamlPackages_latest.bistro | Build and execute typed scientific workflows |
| python313Full | High-level dynamically-typed programming language |
| python314Full | High-level dynamically-typed programming language |
| dictu | High-level dynamically typed, multi-paradigm, interpreted programming language |
| haskellPackages.compactable | A typeclass for structures which can be catMaybed, filtered, and partitioned |
| python312Packages.djangorestframework-stubs | PEP-484 stubs for Django REST Framework |
| typstPackages.cjk-spacer_0_2_0 | Improves spacing between characters when typesetting Japanese (CJK characters |
| typstPackages.cjk-spacer_0_1_0 | Improves spacing between characters when typesetting Japanese (CJK characters |
| python310Full | High-level dynamically-typed programming language |
| python311Full | High-level dynamically-typed programming language |
| texliveFull | TeX Live environment |
| iosevka-comfy.comfy-motion | Customised build of the Iosevka typeface, with a consistent
rounded style and overrides for almost all individual glyphs
in both roman (upright) and italic (slanted) variants.
|