Alternatives and similar repositories for SnapPy

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

• regina-normal / regina
  The main source code for Regina
  ☆38Updated this week
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆411Updated 2 weeks ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆199Updated last year
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆268Updated this week
• 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
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆372Updated this week
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆220Updated last month
• ncatlab / nlab
  Source code for the nLab
  ☆176Updated 3 months ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆68Updated 2 years ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆189Updated last week
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 9 months ago
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆19Updated last year
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆28Updated this week
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆28Updated last week
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆69Updated this week
• LiamMcAllisterGroup / cytools
  A software package for analyzing Calabi-Yau manifolds.
  ☆35Updated this week
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆153Updated this week
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆346Updated 8 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆262Updated 6 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆118Updated 7 months ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆67Updated last year
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• jlaragonvera / Geometric-Algebra
  Mathematica packages for geometric algebra
  ☆48Updated last month
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆144Updated 2 weeks ago
• thosgood / translations
  some maths papers in English
  ☆18Updated this week
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆175Updated 2 weeks ago
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• pitmonticone / LeanProject
  Template for blueprint-driven formalization projects in Lean.
  ☆57Updated this week