Alternatives and similar repositories for Cayley-Graph-Plotting

Users that are interested in Cayley-Graph-Plotting are comparing it to the libraries listed below

• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆72Updated last month
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆159Updated last week
• chubbc / manim_slides
  The HTML Presentation Framework
  ☆48Updated last year
• ATOMSLab / LeanChemicalTheories
  ☆33Updated last year
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆234Updated this week
• LiamMcAllisterGroup / cytools
  A software package for analyzing Calabi-Yau manifolds.
  ☆34Updated this week
• pygae / galgebra
  Symbolic Geometric Algebra/Calculus package for SymPy
  ☆256Updated last month
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆392Updated last month
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆159Updated 2 weeks ago
• ManimCommunity / manim-plugintemplate
  A template project to both illustrate and serve as an example for plugin creations on top of the manim.
  ☆18Updated 4 years ago
• nschloe / cplot
  Plot complex functions
  ☆162Updated last year
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆188Updated 2 weeks ago
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆214Updated last week
• teorth / expdb
  Exponent pair database
  ☆50Updated this week
• OrangeX4 / Latex-Sympy-Calculator
  Convert Latex to Sympy and calculate it in Latex or Markdown in VSCode.
  ☆103Updated last year
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆251Updated 5 months ago
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆106Updated this week
• RickDW / manim-revealjs
  Plugins for using Manim animations in Reveal.js slide decks.
  ☆57Updated 3 years ago
• teorth / symmetric_project
  ☆87Updated last year
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆40Updated last year
• galatolofederico / manim-presentation
  Tool for live presentations using manim
  ☆166Updated 2 years ago
• anjandn / manim_reveal
  Combines the manim library with reveal.js to create animated slides.
  ☆23Updated 5 years ago
• patrick-kidger / typst_pyimage
  Typst extension, adding support for generating figures using inline Python code
  ☆79Updated last year
• naveen521kk / manim-mobject-svg
  Create SVG files from VMobject and VGroup
  ☆20Updated 3 months ago
• 3-manifolds / SnapPy
  SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…
  ☆99Updated 2 weeks ago
• UnMolDeQuimica / manim-Chemistry
  Manim plugin designed to make chemistry animations easier.
  ☆70Updated 3 months ago
• kilacoda / chanim
  Animation engine for explanatory chemistry videos
  ☆161Updated last year
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆250Updated last year
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆27Updated this week
• leanprover-community / lean4game
  Server to host lean games.
  ☆256Updated last week