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,006Updated 2 years ago
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆2,225Updated this week
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆886Updated 2 weeks ago
• 3-manifolds / Sage_macOS
  SageMath as a macOS application bundle.
  ☆199Updated 2 weeks ago
• leanprover / lean4
  Lean 4 programming language and theorem prover
  ☆6,144Updated this week
• flintlib / flint
  FLINT (Fast Library for Number Theory)
  ☆515Updated this week
• stacks / stacks-project
  Repository for the Stacks Project
  ☆935Updated this week
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆625Updated this week
• leanprover-community / mathlib3
  Lean 3's obsolete mathematical components library: please use mathlib4
  ☆1,668Updated last year
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆391Updated 3 weeks ago
• gnu-octave / octave
  GNU Octave Mirror (https://www.octave.org/hg/octave). Report bugs and submit pull requests (patches) at https://bugs.octave.org
  ☆492Updated this week
• dtbinh / OpenCourse
  ☆163Updated 6 years ago
• leanprover / elan
  The Lean version manager
  ☆411Updated 2 months ago
• Mathics3 / mathics-core
  An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g…
  ☆1,112Updated this week
• sagemath / sage-windows-cygwin
  Build tools for the Sagemath Windows installer
  ☆350Updated 3 years ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆307Updated this week
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,560Updated last month
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆379Updated last week
• form-dev / form
  The FORM project for symbolic manipulation of very big expressions
  ☆1,192Updated 3 weeks ago
• teorth / analysis
  A Lean companion to Analysis I
  ☆1,062Updated this week
• WolframResearch / WolframLanguageForJupyter
  Wolfram Language kernel for Jupyter notebooks
  ☆1,109Updated last year
• pgf-tikz / pgf
  A Portable Graphic Format for TeX
  ☆1,245Updated last month
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆409Updated last week
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆253Updated last year
• ManimCommunity / awesome-manim
  A database with many Manim users and content creators
  ☆382Updated 2 weeks ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆354Updated 9 months ago
• 3b1b / 3Blue1Brown.com
  ☆546Updated last week
• Singular / Singular
  sources for the Singular computer algebra system
  ☆282Updated last week
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆341Updated last week
• algebraic-solving / msolve
  Library for Polynomial System Solving through Algebraic Methods
  ☆141Updated 3 weeks ago