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,002Updated 2 years ago
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆925Updated last week
• 3-manifolds / Sage_macOS
  SageMath as a macOS application bundle.
  ☆223Updated 2 months ago
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆2,600Updated this week
• sagemath / sage-windows-cygwin
  Build tools for the Sagemath Windows installer
  ☆350Updated 4 years 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
  ☆548Updated this week
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆767Updated this week
• pgf-tikz / pgf
  A Portable Graphic Format for TeX
  ☆1,280Updated 2 weeks 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,142Updated last week
• flintlib / flint
  FLINT (Fast Library for Number Theory)
  ☆541Updated last week
• latex3 / latex3
  The expl3 (LaTeX3) Development Repository
  ☆2,064Updated last week
• algebraic-solving / msolve
  Library for Polynomial System Solving through Algebraic Methods
  ☆165Updated last week
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆401Updated this week
• Singular / Singular
  sources for the Singular computer algebra system
  ☆295Updated this week
• WolframResearch / WolframLanguageForJupyter
  Wolfram Language kernel for Jupyter notebooks
  ☆1,126Updated last year
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆218Updated 2 weeks ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆358Updated this week
• jeertmans / manim-slides
  Tool for live presentations using manim
  ☆735Updated this week
• leanprover / lean4
  Lean 4 programming language and theorem prover
  ☆6,878Updated this week
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆399Updated this week
• dtbinh / OpenCourse
  ☆176Updated 6 years ago
• mpmath / mpmath
  Python library for arbitrary-precision floating-point arithmetic
  ☆1,065Updated last week
• teorth / analysis
  A Lean companion to Analysis I
  ☆1,367Updated this week
• leanprover-community / mathlib3
  Lean 3's obsolete mathematical components library: please use mathlib4
  ☆1,665Updated last year
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆703Updated last year
• TeX-Live / texlive-source
  source part of the TeX Live subversion repository - for issues please contact the tex-k mailing list at tug.org
  ☆323Updated this week
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆211Updated 2 years ago
• thedeepdeepsky / mathematica_keygen
  This is improved on mathematica keygen(this code can also use on system modeler).It has full tutorials and you can input your own actkey.
  ☆94Updated 3 weeks ago
• MiKTeX / miktex
  the MiKTeX source code
  ☆905Updated 2 months ago
• stacks / stacks-project
  Repository for the Stacks Project
  ☆976Updated last month