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,950Updated 4 years ago
• tectonic-typesetting / tectonic
  A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
  ☆4,411Updated 3 weeks ago
• SwiftLaTeX / SwiftLaTeX
  SwiftLaTeX, a WYSIWYG Browser-based LaTeX Editor
  ☆2,221Updated last year
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,163Updated 8 months ago
• penrose / penrose
  Create beautiful diagrams just by typing notation in plain text.
  ☆7,852Updated this week
• Mathics3 / mathics-core
  An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g…
  ☆1,129Updated last month
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,730Updated 3 weeks ago
• vincentdoerig / latex-css
  LaTeX.css is a CSS library that makes your website look like a LaTeX document
  ☆3,390Updated 5 months ago
• tikzit / tikzit
  pgf/TikZ diagram editor
  ☆1,198Updated last year
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆524Updated last year
• susam / texme
  Self-rendering Markdown + LaTeX documents
  ☆2,406Updated 2 years ago
• sile-typesetter / sile
  The SILE Typesetter — Simon’s Improved Layout Engine
  ☆1,719Updated 3 weeks ago
• leanprover / lean3
  Lean Theorem Prover
  ☆2,152Updated 2 years ago
• mrkline / modern-latex
  A short guide to LaTeX that avoids legacy cruft.
  ☆866Updated 3 years ago
• leanprover / lean4
  Lean 4 programming language and theorem prover
  ☆6,614Updated this week
• pgf-tikz / pgf
  A Portable Graphic Format for TeX
  ☆1,269Updated 2 weeks 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,249Updated this week
• Pseudomanifold / latex-mimosis
  A minimal & modern LaTeX template for your (bachelor's | master's | doctoral) thesis
  ☆1,207Updated last year
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,218Updated 3 weeks ago
• sharkdp / insect
  High precision scientific calculator with support for physical units
  ☆3,170Updated 8 months ago
• michael-brade / LaTeX.js
  JavaScript LaTeX to HTML5 translator
  ☆849Updated last year
• ivanceras / svgbob
  Convert your ascii diagram scribbles into happy little SVG
  ☆4,056Updated 6 months ago
• CatalaLang / catala
  Programming language for literate programming law specification
  ☆2,109Updated this week
• HigherOrderCO / Kind
  A modern proof language
  ☆3,701Updated 9 months ago
• synercys / annotated_latex_equations
  Examples of how to create colorful, annotated equations in Latex using Tikz.
  ☆3,889Updated 3 years ago
• Tufte-LaTeX / tufte-latex
  A Tufte-inspired LaTeX class for producing handouts, papers, and books
  ☆1,808Updated last year
• jgm / djot
  A light markup language
  ☆1,837Updated 2 months ago
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,379Updated last week
• latex-lsp / texlab
  An implementation of the Language Server Protocol for LaTeX
  ☆1,828Updated last week
• leanprover-community / mathlib3
  Lean 3's obsolete mathematical components library: please use mathlib4
  ☆1,667Updated last year