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
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆355Updated this week
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆844Updated this week
• 3-manifolds / Sage_macOS
  SageMath as a macOS application bundle.
  ☆173Updated 3 weeks ago
• Singular / Singular
  sources for the Singular computer algebra system
  ☆268Updated this week
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆320Updated last week
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆205Updated this week
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆1,748Updated this week
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆366Updated this week
• flintlib / flint
  FLINT (Fast Library for Number Theory)
  ☆476Updated this week
• sagemath / sage-windows-cygwin
  Build tools for the Sagemath Windows installer
  ☆350Updated 3 years ago
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆578Updated this week
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆299Updated last week
• leanprover-community / lean4game
  Server to host lean games.
  ☆234Updated last week
• 3-manifolds / SnapPy
  SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…
  ☆94Updated this week
• kpeeters / cadabra2
  A field-theory motivated approach to computer algebra.
  ☆233Updated this week
• stacks / stacks-project
  Repository for the Stacks Project
  ☆883Updated 5 months 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
  ☆440Updated this week
• leanprover-community / mathlib3
  Lean 3's obsolete mathematical components library: please use mathlib4
  ☆1,662Updated 7 months ago
• leanprover / elan
  The Lean version manager
  ☆340Updated 3 weeks ago
• fplll / fplll
  Lattice algorithms using floating-point arithmetic
  ☆333Updated 3 months ago
• morpho-matters / morpholib
  A general-purpose programmatic animation tool
  ☆211Updated this week
• mkauers / ore_algebra
  ☆30Updated this week
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆338Updated 4 months ago
• JerryI / wolfram-js-frontend
  Freeware notebook environment for Wolfram Language written in Javascript
  ☆360Updated this week
• algebraic-solving / msolve
  Library for Polynomial System Solving through Algebraic Methods
  ☆112Updated 2 months ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆261Updated 2 weeks ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆269Updated this week
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆236Updated 11 months ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆434Updated last year