Alternatives and similar repositories for Cayley-Graph-Plotting

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

• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆437Updated 5 months ago
• LiamMcAllisterGroup / cytools
  A software package for analyzing Calabi-Yau manifolds.
  ☆36Updated this week
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆395Updated this week
• cduck / hyperbolic
  A Python 3 library for constructing and drawing hyperbolic geometry
  ☆149Updated last year
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆95Updated last month
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆294Updated 2 weeks ago
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆260Updated 2 months ago
• galatolofederico / manim-presentation
  Tool for live presentations using manim
  ☆168Updated 2 years ago
• patrick-kidger / typst_pyimage
  Typst extension, adding support for generating figures using inline Python code
  ☆109Updated 2 months ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆263Updated last year
• morpho-matters / morpholib
  A general-purpose programmatic animation tool
  ☆238Updated this week
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆206Updated this week
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆30Updated last week
• leanprover-community / lean4game
  Server to host lean games.
  ☆346Updated 2 weeks 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…
  ☆112Updated 2 weeks ago
• pygae / galgebra
  Symbolic Geometric Algebra/Calculus package for SymPy
  ☆270Updated 6 months ago
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆211Updated 2 years ago
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆107Updated last week
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆196Updated last week
• kilacoda / chanim
  Animation engine for explanatory chemistry videos
  ☆175Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆54Updated last week
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆124Updated 2 months ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆212Updated last year
• ATOMSLab / LeanChemicalTheories
  ☆37Updated last year
• regina-normal / regina
  The main source code for Regina
  ☆39Updated this week
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆121Updated 2 months ago
• nschloe / cplot
  Plot complex functions
  ☆167Updated 2 years ago
• complex-analysis / complex-analysis.github.io
  Complex Analysis: A Visual and Interactive Introduction
  ☆202Updated 2 weeks ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆122Updated last year
• VAlgoLang / VAlgoLang
  Domain Specific Language using Manim to create animations for data structures and algorithms
  ☆52Updated 4 years ago