Alternatives and similar repositories for Cayley-Graph-Plotting

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

• ATOMSLab / LeanChemicalTheories
  ☆34Updated last year
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆110Updated 3 weeks ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆275Updated this week
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆220Updated last month
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆210Updated last month
• teorth / expdb
  Exponent pair database
  ☆57Updated last week
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆95Updated last week
• b-mehta / unit-fractions
  ☆15Updated last year
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆175Updated 3 weeks ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆411Updated 2 weeks ago
• kilacoda / chanim
  Animation engine for explanatory chemistry videos
  ☆163Updated last year
• nschloe / cplot
  Plot complex functions
  ☆166Updated last year
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆264Updated 6 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…
  ☆104Updated this week
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆169Updated this week
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆166Updated this week
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆58Updated this week
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆84Updated this week
• chubbc / manim_slides
  The HTML Presentation Framework
  ☆49Updated last year
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆72Updated last month
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆26Updated 7 months ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆63Updated this week
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆39Updated 3 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…
  ☆119Updated last year
• UnMolDeQuimica / manim-Chemistry
  Manim plugin designed to make chemistry animations easier.
  ☆72Updated 4 months ago
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆28Updated last week
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆373Updated 3 weeks ago
• ruehlef / ribbon
  Code that searches for ribbon bands
  ☆15Updated 4 months ago
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆61Updated 3 months ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆191Updated this week