varkor / quiverLinks
A modern commutative diagram editor for the web.
☆3,366Updated 2 weeks ago
Alternatives and similar repositories for quiver
Users that are interested in quiver are comparing it to the libraries listed below
Sorting:
- A simple visual editor for creating commutative diagrams.☆1,950Updated 4 years ago
- A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.☆4,411Updated 3 weeks ago
- SwiftLaTeX, a WYSIWYG Browser-based LaTeX Editor☆2,221Updated last year
- Haskell library for building declarative animations based on SVG graphics☆1,163Updated 8 months ago
- Create beautiful diagrams just by typing notation in plain text.☆7,852Updated this week
- 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
- An Infinitely Large Napkin☆1,730Updated 3 weeks ago
- LaTeX.css is a CSS library that makes your website look like a LaTeX document☆3,390Updated 5 months ago
- pgf/TikZ diagram editor☆1,198Updated last year
- TikZJax is TikZ running under WebAssembly in the browser☆524Updated last year
- Self-rendering Markdown + LaTeX documents☆2,406Updated 2 years ago
- The SILE Typesetter — Simon’s Improved Layout Engine☆1,719Updated 3 weeks ago
- Lean Theorem Prover☆2,152Updated 2 years ago
- A short guide to LaTeX that avoids legacy cruft.☆866Updated 3 years ago
- Lean 4 programming language and theorem prover☆6,614Updated this week
- A Portable Graphic Format for TeX☆1,269Updated 2 weeks ago
- 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
- A minimal & modern LaTeX template for your (bachelor's | master's | doctoral) thesis☆1,207Updated last year
- An open-source, customizable intermediate logic textbook☆1,218Updated 3 weeks ago
- High precision scientific calculator with support for physical units☆3,170Updated 8 months ago
- JavaScript LaTeX to HTML5 translator☆849Updated last year
- Convert your ascii diagram scribbles into happy little SVG☆4,056Updated 6 months ago
- Programming language for literate programming law specification☆2,109Updated this week
- A modern proof language☆3,701Updated 9 months ago
- Examples of how to create colorful, annotated equations in Latex using Tikz.☆3,889Updated 3 years ago
- A Tufte-inspired LaTeX class for producing handouts, papers, and books☆1,808Updated last year
- A light markup language☆1,837Updated 2 months ago
- Maintainable configuration files☆4,379Updated last week
- An implementation of the Language Server Protocol for LaTeX☆1,828Updated last week
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,667Updated last year