Alternatives and similar repositories for penrose:

Users that are interested in penrose are comparing it to the libraries listed below

• varkor / quiver
  A modern commutative diagram editor for the web.
  ☆3,203Updated last month
• vincentdoerig / latex-css
  LaTeX.css is a CSS library that makes your website look like a LaTeX document
  ☆3,275Updated last month
• yishn / tikzcd-editor
  A simple visual editor for creating commutative diagrams.
  ☆1,910Updated 4 years ago
• coq / coq
  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…
  ☆4,980Updated this week
• hiroppy / fusuma
  ✍️ Fusuma makes slides with Markdown easily.
  ☆5,408Updated 3 months ago
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,142Updated last month
• ManimCommunity / manim
  A community-maintained Python framework for creating mathematical animations.
  ☆30,763Updated this week
• 3b1b / manim
  Animation engine for explanatory math videos
  ☆76,245Updated this week
• MathInspector / MathInspector
  A visual programing environment for scientific computing with python
  ☆895Updated 3 years ago
• hmemcpy / milewski-ctfp-pdf
  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
  ☆11,174Updated 3 weeks ago
• susam / texme
  Self-rendering Markdown + LaTeX documents
  ☆2,350Updated last year
• leanprover / lean4
  Lean 4 programming language and theorem prover
  ☆5,198Updated this week
• synercys / annotated_latex_equations
  Examples of how to create colorful, annotated equations in Latex using Tikz.
  ☆3,790Updated 2 years ago
• leanprover-community / mathlib3
  Lean 3's obsolete mathematical components library: please use mathlib4
  ☆1,664Updated 8 months ago
• ivanceras / svgbob
  Convert your ascii diagram scribbles into happy little SVG
  ☆3,967Updated last month
• pygae / clifford
  Geometric Algebra for Python
  ☆802Updated last month
• github / semantic
  Parsing, analyzing, and comparing source code across many languages
  ☆9,021Updated 7 months ago
• tectonic-typesetting / tectonic
  A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
  ☆4,108Updated last month
• leanprover / lean3
  Lean Theorem Prover
  ☆2,151Updated last year
• SwiftLaTeX / SwiftLaTeX
  SwiftLaTeX, a WYSIWYG Browser-based LaTeX Editor
  ☆2,160Updated 9 months ago
• Wookai / paper-tips-and-tricks
  Best practice and tips & tricks to write scientific papers in LaTeX, with figures generated in Python or Matlab.
  ☆3,659Updated last year
• jgm / djot
  A light markup language
  ☆1,768Updated last month
• arxiv-vanity / arxiv-vanity
  Renders papers from arXiv as responsive web pages so you don't have to squint at a PDF.
  ☆1,617Updated last year
• ahrm / sioyek
  Sioyek is a PDF viewer with a focus on textbooks and research papers
  ☆7,695Updated last week
• kai-qu / notation
  Collection of quotes on notation design & how it affects thought.
  ☆1,849Updated 4 years ago
• KaTeX / KaTeX
  Fast math typesetting for the web.
  ☆18,825Updated this week
• foambubble / foam
  A personal knowledge management and sharing system for VSCode
  ☆15,784Updated last week
• cupy / cupy
  NumPy & SciPy for GPU
  ☆9,996Updated this week
• facebookresearch / hiplot
  HiPlot makes understanding high dimensional data easy
  ☆2,783Updated last year
• mwouts / jupytext
  Jupyter Notebooks as Markdown Documents, Julia, Python or R scripts
  ☆6,783Updated last week