A simple visual editor for creating commutative diagrams.
☆1,965Oct 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,489Feb 28, 2026Updated last week
- Render tikzcd diagrams with JSX.☆61Jan 25, 2020Updated 6 years ago
- pgf/TikZ diagram editor☆1,229Apr 17, 2024Updated last year
- A curated list of awesome TikZ documentations, libraries and resources☆1,737Oct 5, 2024Updated last year
- Create beautiful diagrams just by typing notation in plain text.☆7,918Updated this week
- Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.☆2,565Aug 16, 2024Updated last year
- An axiom-free formalization of category theory in Coq for personal study and practical work☆793Jan 9, 2026Updated last month
- A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.☆4,608Oct 6, 2025Updated 5 months ago
- Fast math typesetting for the web.☆19,857Updated this week
- Client library for Minimal Chat☆675Dec 30, 2022Updated 3 years ago
- Blazing fast 1kb search library☆2,970May 13, 2023Updated 2 years ago
- Commutative diagrams with TikZ☆53Sep 24, 2022Updated 3 years ago
- Galley of Tikz drawings.☆473Dec 15, 2025Updated 2 months ago
- Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source☆11,527Jan 24, 2026Updated last month
- TikZJax is TikZ running under WebAssembly in the browser☆547Jul 6, 2024Updated last year
- amateur translation project of Grothendieck's EGA.☆383Oct 15, 2025Updated 4 months ago
- ☆3,287Oct 14, 2018Updated 7 years ago
- papers of Per Martin Löf☆816Jan 30, 2024Updated 2 years ago
- Lean Theorem Prover☆2,158Oct 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,722Mar 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.☆388Jul 28, 2025Updated 7 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,055Apr 1, 2025Updated 11 months ago
- Category theory in the context of (functional) programming☆523Feb 26, 2018Updated 8 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,804Updated this week
- Repository for the Stacks Project☆998Jan 30, 2026Updated last month
- A new Categories library for Agda☆399Jan 22, 2026Updated last month
- ☆2,153Nov 16, 2020Updated 5 years ago
- A modern editor with a backend written in Rust.☆19,846Mar 19, 2024Updated last year
- A collection of resources for learning type theory and type theory adjacent fields.☆2,424Apr 21, 2025Updated 10 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,092Jul 2, 2025Updated 8 months ago
- Experimental implementation of Cubical Type Theory☆595Sep 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,216Feb 14, 2026Updated 2 weeks ago
- A bare-bones calculus-of-constructions☆383Sep 4, 2022Updated 3 years ago