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,010Updated 2 years ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆372Updated this week
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆2,108Updated this week
• 3-manifolds / Sage_macOS
  SageMath as a macOS application bundle.
  ☆194Updated 2 weeks ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆338Updated this week
• leanprover / elan
  The Lean version manager
  ☆393Updated 3 weeks ago
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆210Updated this week
• sagemath / sage-windows-cygwin
  Build tools for the Sagemath Windows installer
  ☆350Updated 3 years ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆371Updated 3 weeks ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆480Updated this week
• leanprover-community / lean4game
  Server to host lean games.
  ☆277Updated this week
• 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,108Updated last week
• WolframResearch / WolframLanguageForJupyter
  Wolfram Language kernel for Jupyter notebooks
  ☆1,105Updated last year
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆874Updated this week
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆349Updated 3 years ago
• Singular / Singular
  sources for the Singular computer algebra system
  ☆280Updated this week
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆268Updated this week
• leanprover / lean4
  Lean 4 programming language and theorem prover
  ☆5,830Updated this week
• stacks / stacks-project
  Repository for the Stacks Project
  ☆920Updated this week
• flintlib / flint
  FLINT (Fast Library for Number Theory)
  ☆506Updated this week
• pgf-tikz / pgf
  A Portable Graphic Format for TeX
  ☆1,230Updated 2 months ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,528Updated 2 weeks ago
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆292Updated this week
• TeX-Live / texlive-source
  source part of the TeX Live subversion repository - for issues please contact the tex-k mailing list at tug.org
  ☆300Updated this week
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆262Updated 6 months ago
• otfried / ipe
  The Ipe extensible drawing editor
  ☆197Updated 7 months ago
• fplll / fplll
  Lattice algorithms using floating-point arithmetic
  ☆358Updated last month
• MiKTeX / miktex
  the MiKTeX source code
  ☆873Updated 2 weeks ago
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆601Updated this week
• tikzit / tikzit
  pgf/TikZ diagram editor
  ☆1,186Updated last year