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,009Updated 2 years ago
• 3-manifolds / Sage_macOS
  SageMath as a macOS application bundle.
  ☆189Updated 3 weeks ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆362Updated this week
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆862Updated 2 weeks ago
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆206Updated last month
• sagemath / sage-windows-cygwin
  Build tools for the Sagemath Windows installer
  ☆350Updated 3 years ago
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆1,921Updated this week
• flintlib / flint
  FLINT (Fast Library for Number Theory)
  ☆494Updated last week
• latex3 / latex2e
  The LaTeX2e kernel
  ☆2,076Updated this week
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆345Updated 6 months ago
• WolframResearch / WolframLanguageForJupyter
  Wolfram Language kernel for Jupyter notebooks
  ☆1,096Updated last year
• stacks / stacks-project
  Repository for the Stacks Project
  ☆911Updated 7 months ago
• leanprover / lean4
  Lean 4 programming language and theorem prover
  ☆5,449Updated this week
• mkauers / ore_algebra
  ☆31Updated last week
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆266Updated this week
• leanprover-community / lean4game
  Server to host lean games.
  ☆256Updated last week
• algebraic-solving / msolve
  Library for Polynomial System Solving through Algebraic Methods
  ☆128Updated last month
• Singular / Singular
  sources for the Singular computer algebra system
  ☆276Updated this week
• mpmath / mpmath
  Python library for arbitrary-precision floating-point arithmetic
  ☆1,022Updated last week
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,433Updated this week
• fplll / fplll
  Lattice algorithms using floating-point arithmetic
  ☆349Updated last week
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆436Updated this week
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆330Updated this week
• pgf-tikz / pgf
  A Portable Graphic Format for TeX
  ☆1,215Updated 3 weeks ago
• sympy / sympy.github.com
  SymPy's web page (sympy.org)
  ☆194Updated 2 months ago
• latex3 / latex3
  The expl3 (LaTeX3) Development Repository
  ☆1,977Updated last week
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆594Updated this week
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆332Updated this week
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆690Updated last year
• pygae / galgebra
  Symbolic Geometric Algebra/Calculus package for SymPy
  ☆254Updated last month