varkor / quiver
A modern commutative diagram editor for the web.
☆2,420Updated last month
Related projects ⓘ
Alternatives and complementary repositories for quiver
- A simple visual editor for creating commutative diagrams.☆1,891Updated 4 years ago
- Create beautiful diagrams just by typing notation in plain text.☆7,554Updated this week
- A document language for the browser☆702Updated 3 months ago
- LaTeX.css is a CSS library that makes your website look like a LaTeX document☆2,800Updated last month
- Haskell library for building declarative animations based on SVG graphics☆1,123Updated 10 months ago
- A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.☆3,977Updated this week
- Self-rendering Markdown + LaTeX documents☆2,315Updated last year
- Convert your ascii diagram scribbles into happy little SVG☆3,878Updated 7 months ago
- Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)☆1,518Updated last year
- SwiftLaTeX, a WYSIWYG Browser-based LaTeX Editor☆2,089Updated 4 months ago
- Examples of how to create colorful, annotated equations in Latex using Tikz.☆3,756Updated 2 years ago
- A minimal & modern LaTeX template for your (bachelor's | master's | doctoral) thesis☆1,169Updated 11 months ago
- TikZJax is TikZ running under WebAssembly in the browser☆447Updated 4 months ago
- Research language for array processing in the Haskell/ML family☆1,584Updated last month
- Lean 3 Theorem Prover (community fork)☆435Updated last year
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,666Updated 4 months ago
- The SILE Typesetter — Simon’s Improved Layout Engine☆1,664Updated this week
- a simple syntax for complex argumentation☆925Updated 7 months ago
- Collection of quotes on notation design & how it affects thought.☆1,843Updated 3 years ago
- A functional programming language with static memory management☆841Updated this week
- Koka language compiler and interpreter☆3,307Updated this week
- Programming language for literate programming law specification☆1,983Updated this week
- pgf/TikZ diagram editor☆1,143Updated 6 months ago
- A light markup language☆1,729Updated 2 months ago
- Experimental spaced repetition platform for exploring ideas in memory augmentation and programmable attention☆1,704Updated 3 weeks ago
- Lean 4 programming language and theorem prover☆4,679Updated this week
- Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -☆1,521Updated 9 months ago
- This repository is for archival. Please see https://github.com/Mathics3/mathics-core☆2,074Updated 2 years ago
- A modern proof language☆3,571Updated this week
- An open-source Mathematica. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbo…☆775Updated this week