Alternatives and similar repositories for sage

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

• sagemath / sage-archive-2023-02-01
  This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.s…
  ☆2,008Updated 2 years ago
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆877Updated this week
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆2,148Updated this week
• 3-manifolds / Sage_macOS
  SageMath as a macOS application bundle.
  ☆194Updated last month
• stacks / stacks-project
  Repository for the Stacks Project
  ☆930Updated this week
• sagemath / sage-windows-cygwin
  Build tools for the Sagemath Windows installer
  ☆350Updated 3 years ago
• leanprover / lean4
  Lean 4 programming language and theorem prover
  ☆5,958Updated this week
• WolframResearch / WolframLanguageForJupyter
  Wolfram Language kernel for Jupyter notebooks
  ☆1,108Updated last year
• pgf-tikz / pgf
  A Portable Graphic Format for TeX
  ☆1,234Updated 3 weeks ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆375Updated last week
• leanprover-community / mathlib3
  Lean 3's obsolete mathematical components library: please use mathlib4
  ☆1,667Updated last year
• ManimCommunity / awesome-manim
  A database with many Manim users and content creators
  ☆373Updated 2 weeks ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,544Updated last week
• gnu-octave / octave
  GNU Octave Mirror (https://www.octave.org/hg/octave). Report bugs and submit pull requests (patches) at https://bugs.octave.org
  ☆489Updated this week
• teorth / analysis
  A Lean companion to Analysis I
  ☆906Updated this week
• leanprover-community / lean4game
  Server to host lean games.
  ☆290Updated this week
• latex3 / latex2e
  The LaTeX2e kernel
  ☆2,135Updated this week
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆502Updated this week
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆380Updated last month
• dtbinh / OpenCourse
  ☆163Updated 6 years ago
• mhostetter / galois
  A performant NumPy extension for Galois fields and their applications
  ☆407Updated last month
• TeX-Live / texlive-source
  source part of the TeX Live subversion repository - for issues please contact the tex-k mailing list at tug.org
  ☆302Updated last week
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆352Updated 9 months ago
• leanprover / elan
  The Lean version manager
  ☆404Updated last month
• fplll / fplll
  Lattice algorithms using floating-point arithmetic
  ☆361Updated 2 months ago
• rocq-prover / rocq
  The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…
  ☆5,150Updated this week
• latex3 / latex3
  The expl3 (LaTeX3) Development Repository
  ☆2,016Updated this week
• ManimCommunity / manim_editor
  Web Presenter for Mathematical Animations using Manim.
  ☆325Updated 11 months ago
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆605Updated this week
• jeertmans / manim-slides
  Tool for live presentations using manim
  ☆638Updated last week