Alternatives and similar repositories for quiver

Users that are interested in quiver are comparing it to the libraries listed below

• yishn / tikzcd-editor
  A simple visual editor for creating commutative diagrams.
  ☆1,937Updated 4 years ago
• tectonic-typesetting / tectonic
  A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
  ☆4,232Updated this week
• vincentdoerig / latex-css
  LaTeX.css is a CSS library that makes your website look like a LaTeX document
  ☆3,327Updated last month
• susam / texme
  Self-rendering Markdown + LaTeX documents
  ☆2,389Updated last year
• SwiftLaTeX / SwiftLaTeX
  SwiftLaTeX, a WYSIWYG Browser-based LaTeX Editor
  ☆2,188Updated last year
• ivanceras / svgbob
  Convert your ascii diagram scribbles into happy little SVG
  ☆4,005Updated 2 months ago
• penrose / penrose
  Create beautiful diagrams just by typing notation in plain text.
  ☆7,762Updated this week
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,160Updated 4 months ago
• nota-lang / nota
  A document language for the browser
  ☆707Updated 11 months ago
• sharkdp / insect
  High precision scientific calculator with support for physical units
  ☆3,175Updated 4 months ago
• ahrm / sioyek
  Sioyek is a PDF viewer with a focus on textbooks and research papers
  ☆7,980Updated 2 weeks ago
• sile-typesetter / sile
  The SILE Typesetter — Simon’s Improved Layout Engine
  ☆1,705Updated last week
• leanprover / lean4
  Lean 4 programming language and theorem prover
  ☆5,830Updated this week
• leanprover / lean3
  Lean Theorem Prover
  ☆2,154Updated last year
• tikzit / tikzit
  pgf/TikZ diagram editor
  ☆1,186Updated last year
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,528Updated 2 weeks ago
• leanprover-community / mathlib3
  Lean 3's obsolete mathematical components library: please use mathlib4
  ☆1,667Updated 11 months ago
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,525Updated 3 weeks ago
• CatalaLang / catala
  Programming language for literate programming law specification
  ☆2,070Updated this week
• jgm / djot
  A light markup language
  ☆1,793Updated 4 months ago
• google-research / dex-lang
  Research language for array processing in the Haskell/ML family
  ☆1,621Updated 4 months ago
• latex-lsp / texlab
  An implementation of the Language Server Protocol for LaTeX
  ☆1,754Updated last week
• Pseudomanifold / latex-mimosis
  A minimal & modern LaTeX template for your (bachelor's | master's | doctoral) thesis
  ☆1,193Updated last year
• papis / papis
  Powerful and highly extensible command-line based document and bibliography manager.
  ☆1,514Updated this week
• qjcg / awesome-typst
  Awesome Typst Links
  ☆2,800Updated last week
• michael-brade / LaTeX.js
  JavaScript LaTeX to HTML5 translator
  ☆825Updated last year
• PaddiM8 / kalker
  Scientific calculator with math syntax that supports user-defined variables and functions, complex numbers, and estimation of derivatives…
  ☆1,749Updated 2 months ago
• hmemcpy / milewski-ctfp-pdf
  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
  ☆11,255Updated 2 weeks ago
• HigherOrderCO / Kind
  A modern proof language
  ☆3,680Updated 5 months ago
• rocq-prover / rocq
  The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…
  ☆5,137Updated this week