yishn / tikzcd-editorView external linksLinks
A simple visual editor for creating commutative diagrams.
☆1,962Oct 31, 2020Updated 5 years ago
Alternatives and similar repositories for tikzcd-editor
Users that are interested in tikzcd-editor are comparing it to the libraries listed below
Sorting:
- A modern commutative diagram editor for the web.☆3,465Jan 22, 2026Updated 3 weeks ago
- Render tikzcd diagrams with JSX.☆61Jan 25, 2020Updated 6 years ago
- pgf/TikZ diagram editor☆1,226Apr 17, 2024Updated last year
- A curated list of awesome TikZ documentations, libraries and resources☆1,732Oct 5, 2024Updated last year
- Create beautiful diagrams just by typing notation in plain text.☆7,908Feb 2, 2026Updated last week
- Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.☆2,558Aug 16, 2024Updated last year
- An axiom-free formalization of category theory in Coq for personal study and practical work☆792Jan 9, 2026Updated last month
- A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.☆4,579Oct 6, 2025Updated 4 months ago
- Fast math typesetting for the web.☆19,815Updated this week
- Client library for Minimal Chat☆675Dec 30, 2022Updated 3 years ago
- Blazing fast 1kb search library☆2,972May 13, 2023Updated 2 years ago
- Commutative diagrams with TikZ☆53Sep 24, 2022Updated 3 years ago
- Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source☆11,485Jan 24, 2026Updated 2 weeks ago
- Galley of Tikz drawings.☆473Dec 15, 2025Updated last month
- TikZJax is TikZ running under WebAssembly in the browser☆540Jul 6, 2024Updated last year
- amateur translation project of Grothendieck's EGA.☆379Oct 15, 2025Updated 3 months ago
- papers of Per Martin Löf☆812Jan 30, 2024Updated 2 years ago
- ☆3,288Oct 14, 2018Updated 7 years ago
- Lean Theorem Prover☆2,156Oct 14, 2023Updated 2 years ago
- A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.☆14,726Mar 14, 2023Updated 2 years ago
- Tiny type-checker with dependent types☆78Jan 8, 2014Updated 12 years ago
- KtikZ provides a nice user interface for making pictures using TikZ.☆387Jul 28, 2025Updated 6 months ago
- An introductory course to Homotopy Type Theory☆376Jul 24, 2020Updated 5 years ago
- Parsing, analyzing, and comparing source code across many languages☆9,057Apr 1, 2025Updated 10 months ago
- Category theory in the context of (functional) programming☆522Feb 26, 2018Updated 7 years ago
- Type Theory with Indexed Equality☆26Apr 7, 2017Updated 8 years ago
- Mind-mapping software that helps writers collect and organize their knowledge, develop their ideas. Built with React, Redux, Node.js, hos…☆745Aug 2, 2022Updated 3 years ago
- Agda is a dependently typed programming language / interactive theorem prover.☆2,788Updated this week
- Repository for the Stacks Project☆991Jan 30, 2026Updated 2 weeks ago
- ☆2,153Nov 16, 2020Updated 5 years ago
- A new Categories library for Agda☆397Jan 22, 2026Updated 3 weeks ago
- A modern editor with a backend written in Rust.☆19,850Mar 19, 2024Updated last year
- A collection of resources for learning type theory and type theory adjacent fields.☆2,415Apr 21, 2025Updated 9 months ago
- Simple and powerful server for Node.js☆3,557Jul 11, 2025Updated 7 months ago
- Simple, responsive, modern SVG Charts with zero dependencies☆15,091Jul 2, 2025Updated 7 months ago
- Experimental implementation of Cubical Type Theory☆597Sep 21, 2023Updated 2 years ago
- Verified left pad☆19Apr 14, 2018Updated 7 years ago
- A minimal & modern LaTeX template for your (bachelor's | master's | doctoral) thesis☆1,215Nov 16, 2023Updated 2 years ago
- A bare-bones calculus-of-constructions☆383Sep 4, 2022Updated 3 years ago