| packages/nixpkgs/coqPackages.mtac2 | Typed tactic language for Coq |
| packages/nixpkgs/jetbrains-mono | Typeface made for developers |
| packages/nixpkgs/haskellPackages.prim-instances | Prim typeclass instances |
| packages/nixpkgs/vscode-extensions.yoavbls.pretty-ts-errors | Make TypeScript errors prettier and human-readable in VSCode |
| packages/nixpkgs/purescript | Strongly-typed functional programming language that compiles to JavaScript |
| packages/nixpkgs/python312Full | High-level dynamically-typed programming language |
| packages/nixpkgs/haskellPackages.classy-effects-base | An interface for a handler-independent, typeclass-based effect system |
| packages/nixpkgs/haskellPackages.kindly-functors | A category polymorphic `Functor` typeclass |
| packages/nixpkgs/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.
|
| packages/nixpkgs/python3Full | High-level dynamically-typed programming language |
| packages/nixpkgs/typstPackages.zh-kit_0_1_0 | 基础的 Typst 中文支持，提供字体配置等核心功能。Add basicly support for Chinese Typeset, likes fonts, etc |
| packages/nixpkgs/typstPackages.jastylest-zh | Article optimized for Chinese typesetting |
| packages/nixpkgs/nerd-fonts.comic-shanns-mono | Nerd Fonts: The very typeface you’ve been trained to recognize since childhood |
| packages/nixpkgs/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 |
| packages/nixpkgs/haskellPackages.cryptoids-class | Typeclass-based interface to cryptoids |
| packages/nixpkgs/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.
|
| packages/nixpkgs/assemblyscript | TypeScript-like language for WebAssembly |
| packages/nixpkgs/cantarell-fonts | Default typeface used in the user interface of GNOME since version 3.0 |
| packages/nixpkgs/typstPackages.theoretic | Opinionated tool to typeset theorems, lemmas and such |
| packages/nixpkgs/ia-writer-duospace | iA Writer Duospace Typeface |
| packages/nixpkgs/haskellPackages.hedgehog-classes | Hedgehog will eat your typeclass bugs |
| packages/nixpkgs/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.
|
| packages/nixpkgs/dejavu_fonts | Typeface family based on the Bitstream Vera fonts |
| packages/nixpkgs/python314 | High-level dynamically-typed programming language |
| packages/nixpkgs/python315 | High-level dynamically-typed programming language |
| packages/nixpkgs/haskellPackages.unit-constraint | Extremely simple typeclass |
| packages/nixpkgs/ocamlPackages.genspio | Typed EDSL to generate POSIX Shell scripts |
| packages/nixpkgs/python313Packages.xnd | C library for managing typed memory blocks and Python container module |
| packages/nixpkgs/python314Packages.xnd | C library for managing typed memory blocks and Python container module |
| packages/nixpkgs/typstPackages.to-stuff_0_1_0 | Parse strings into typed lengths, alignments, colors, and more |
| packages/nixpkgs/typstPackages.to-stuff_0_3_1 | Parse strings into typed lengths, alignments, colors, and more |
| packages/nixpkgs/typstPackages.to-stuff_0_4_0 | Parse strings into typed lengths, alignments, colors, and more |
| packages/nixpkgs/typstPackages.to-stuff_0_3_0 | Parse strings into typed lengths, alignments, colors, and more |
| packages/nixpkgs/typstPackages.to-stuff_0_2_0 | Parse strings into typed lengths, alignments, colors, and more |
| packages/nixpkgs/typstPackages.to-stuff_0_2_1 | Parse strings into typed lengths, alignments, colors, and more |
| packages/nixpkgs/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.
|
| packages/nixpkgs/typstPackages.wicked_0_2_0 | A flexible and easy-to-use package for typesetting Wick contractions |
| packages/nixpkgs/typstPackages.wicked_0_1_0 | A flexible and easy-to-use package for typesetting Wick contractions |
| packages/nixpkgs/typstPackages.wicked_0_1_1 | A flexible and easy-to-use package for typesetting Wick contractions |
| packages/nixpkgs/haskellPackages.monad-classes-logging | monad-classes based typeclass for Ollie's logging-effect LoggingT |
| packages/nixpkgs/haskellPackages.template-haskell-lift | The 'Lift' typeclass |
| packages/nixpkgs/undefined-medium | Pixel grid-based monospace typeface |
| packages/nixpkgs/python310 | High-level dynamically-typed programming language |
| packages/nixpkgs/python312 | High-level dynamically-typed programming language |
| packages/nixpkgs/python311 | High-level dynamically-typed programming language |
| packages/nixpkgs/python313Packages.djangorestframework-stubs | PEP-484 stubs for Django REST Framework |
| packages/nixpkgs/python314Packages.djangorestframework-stubs | PEP-484 stubs for Django REST Framework |
| packages/nixpkgs/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.
|
| packages/nixpkgs/miktex | Modern TeX distribution |
| packages/nixpkgs/tectonic | TeX/LaTeX engine, wrapped with a compatible biber |
| packages/nixpkgs/haskellPackages.first-class-instances | First-class typeclass instances |
| packages/nixpkgs/luau | Fast, small, safe, gradually typed embeddable scripting language derived from Lua |
| packages/nixpkgs/ocamlPackages_latest.routes | Typed routing for OCaml applications |
| packages/nixpkgs/texlivePackages.fetamont | Extended version of Knuth's logo typeface |
| packages/nixpkgs/dockerfile-language-server-nodejs | Language server for Dockerfiles powered by Node.js, TypeScript, and VSCode technologies |
| packages/nixpkgs/typstPackages.quonom_0_1_0 | Manually and automatically typeset synthetic division |
| packages/nixpkgs/ocamlPackages_latest.bistro | Build and execute typed scientific workflows |
| packages/nixpkgs/python313Full | High-level dynamically-typed programming language |
| packages/nixpkgs/python314Full | High-level dynamically-typed programming language |
| packages/nixpkgs/dictu | High-level dynamically typed, multi-paradigm, interpreted programming language |
| packages/nixpkgs/haskellPackages.compactable | A typeclass for structures which can be catMaybed, filtered, and partitioned |
| packages/nixpkgs/python312Packages.djangorestframework-stubs | PEP-484 stubs for Django REST Framework |
| packages/nixpkgs/typstPackages.cjk-spacer_0_2_0 | Improves spacing between characters when typesetting Japanese (CJK characters |
| packages/nixpkgs/typstPackages.cjk-spacer_0_1_0 | Improves spacing between characters when typesetting Japanese (CJK characters |
| packages/nixpkgs/python310Full | High-level dynamically-typed programming language |
| packages/nixpkgs/python311Full | High-level dynamically-typed programming language |
| packages/nixpkgs/texliveFull | TeX Live environment |
| packages/nixpkgs/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.
|
| packages/nixpkgs/iosevka-comfy.comfy-wide-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.
|
| packages/nixpkgs/haskellPackages.purescript-tsd-gen | TypeScript Declaration File (.d.ts) generator for PureScript |
| packages/nixpkgs/typstPackages.curryst_0_1_0 | Typesetting of trees of inference rules in Typst |
| packages/nixpkgs/typstPackages.curryst_0_1_1 | Typesetting of trees of inference rules in Typst |
| packages/nixpkgs/iosevka-comfy.comfy-motion-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.
|
| packages/nixpkgs/signwriting | Typeface for written sign languages |
| packages/nixpkgs/haskellPackages.password-instances | typeclass instances for password package |
| packages/nixpkgs/ocamlPackages_latest.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 |
| packages/nixpkgs/iosevka-comfy.comfy-wide-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.
|
| packages/nixpkgs/lhs2tex | Preprocessor for typesetting Haskell sources with LaTeX |
| packages/nixpkgs/typstPackages.lemmify_0_1_8 | Theorem typesetting library |
| packages/nixpkgs/typstPackages.lemmify_0_1_3 | Theorem typesetting library |
| packages/nixpkgs/typstPackages.lemmify_0_1_1 | Theorem typesetting library |
| packages/nixpkgs/typstPackages.lemmify_0_1_2 | Theorem typesetting library |
| packages/nixpkgs/typstPackages.lemmify_0_1_7 | Theorem typesetting library |
| packages/nixpkgs/typstPackages.lemmify_0_1_5 | Theorem typesetting library |
| packages/nixpkgs/typstPackages.lemmify_0_1_6 | Theorem typesetting library |
| packages/nixpkgs/typstPackages.lemmify_0_1_4 | Theorem typesetting library |
| packages/nixpkgs/haskellPackages.parametric-functor | A known-parametric Functor typeclass |
| packages/nixpkgs/haskellPackages.operational-class | MonadProgram typeclass for the operational package |
| packages/nixpkgs/python3Minimal | High-level dynamically-typed programming language |
| packages/nixpkgs/tllist | C header file only implementation of a typed linked list |
| packages/nixpkgs/typstPackages.lemmify_0_1_0 | A library for typesetting mathematical theorems |
| packages/nixpkgs/haskellPackages.isomorphism-class | Isomorphism typeclass as a lawful solution to the conversion problem |
| packages/nixpkgs/hyperscrypt-font | Modern stencil typeface inspired by stained glass technique |
| packages/nixpkgs/typstPackages.jastylest-zh_0_1_1 | Article optimized for Chinese typesetting |
| packages/nixpkgs/typstPackages.jastylest-zh_0_1_0 | Article optimized for Chinese typesetting |
| packages/nixpkgs/mailmanPackages.python3 | High-level dynamically-typed programming language |
| packages/nixpkgs/nelua | Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code |
| packages/nixpkgs/iosevka-comfy.comfy-wide-motion-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.
|
| packages/nixpkgs/typstPackages.trivial_0_1_0 | Make typesetting theorems and proofs trivial |
| packages/nixpkgs/buildbotPackages.python | High-level dynamically-typed programming language |