A modern commutative diagram editor for the web.
☆3,489Feb 28, 2026Updated this week
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,965Oct 31, 2020Updated 5 years ago
- Create beautiful diagrams just by typing notation in plain text.☆7,918Updated this week
- A markup-based typesetting system that is powerful and easy to learn.☆51,684Updated this week
- Agda is a dependently typed programming language / interactive theorem prover.☆2,797Updated this week
- a structural diff that understands syntax 🟥🟩☆24,241Feb 25, 2026Updated last week
- rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.☆9,468Jan 20, 2026Updated last month
- A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.☆4,608Oct 6, 2025Updated 4 months ago
- Enso Analytics is a self-service data prep and analysis platform designed for data teams.☆7,436Updated this week
- A modern proof language☆3,728Jan 22, 2025Updated last year
- Koka language compiler and interpreter☆3,817Feb 25, 2026Updated last week
- Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source☆11,527Jan 24, 2026Updated last month
- An incremental parsing system for programming tools☆23,979Updated this week
- Sioyek is a PDF viewer with a focus on textbooks and research papers☆8,584Feb 21, 2026Updated last week
- A library and language for building parsers, interpreters, compilers, etc.☆5,477Updated this week
- A syntax-highlighting pager for git, diff, grep, and blame output☆29,231Updated this week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆423Updated this week
- A personal knowledge management and sharing system for VSCode☆16,934Updated this week
- A new Categories library for Agda☆399Jan 22, 2026Updated last month
- A purely functional programming language with first class types☆2,878Feb 24, 2026Updated last week
- A massively parallel, optimal functional runtime in Rust☆11,214Nov 21, 2024Updated last year
- Dolt – Git for Data☆20,314Updated this week
- Self-rendering Markdown + LaTeX documents☆2,426Jul 20, 2023Updated 2 years ago
- build-once run-anywhere c library☆20,601Jan 25, 2026Updated last month
- A new type of shell☆38,569Updated this week
- Lean 4 programming language and theorem prover☆7,435Updated this week
- A friendly programming language from the future☆6,490Feb 25, 2026Updated last week
- Convert your ascii diagram scribbles into happy little SVG☆4,145Feb 3, 2026Updated last month
- Hazel, a live functional programming environment with typed holes☆1,073Updated this week
- A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.☆14,722Mar 14, 2023Updated 2 years ago
- A Git-compatible VCS that is both simple and powerful☆26,054Updated this week
- jq for binary formats - tool, language and decoders for working with binary and text formats☆10,425Updated this week
- A post-modern modal text editor.☆43,167Updated this week
- A command-line benchmarking tool☆27,633Feb 14, 2026Updated 2 weeks ago
- Parsing, analyzing, and comparing source code across many languages☆9,055Apr 1, 2025Updated 11 months ago
- egg is a flexible, high-performance e-graph library☆1,677Dec 4, 2025Updated 3 months ago
- Fast math typesetting for the web.☆19,842Feb 26, 2026Updated last week
- Commutative diagrams with TikZ☆53Sep 24, 2022Updated 3 years ago
- A categorical programming language with effects☆299Mar 6, 2023Updated 2 years ago
- D2 is a modern diagram scripting language that turns text to diagrams.☆23,130Oct 14, 2025Updated 4 months ago