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
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆205Updated this week
• 3-manifolds / Sage_macOS
  SageMath as a macOS application bundle.
  ☆173Updated 3 weeks ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆299Updated this week
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆844Updated this week
• pgf-tikz / pgf
  A Portable Graphic Format for TeX
  ☆1,176Updated last month
• MiKTeX / miktex
  the MiKTeX source code
  ☆834Updated last week
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆354Updated this week
• flintlib / flint
  FLINT (Fast Library for Number Theory)
  ☆472Updated this week
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆276Updated last week
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆338Updated 4 months ago
• TeX-Live / texlive-source
  source part of the TeX Live subversion repository - for issues please contact the tex-k mailing list at tug.org
  ☆278Updated this week
• leanprover / lean4
  Lean 4 programming language and theorem prover
  ☆5,083Updated this week
• stacks / stacks-project
  Repository for the Stacks Project
  ☆883Updated 5 months ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆320Updated last week
• sagemath / sage-windows-cygwin
  Build tools for the Sagemath Windows installer
  ☆350Updated 3 years ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆366Updated this week
• latex2html / latex2html
  Converts LaTeX documents to HTML
  ☆278Updated 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
  ☆440Updated this week
• latex3 / latex3
  The expl3 (LaTeX3) Development Repository
  ☆1,954Updated this week
• brucemiller / LaTeXML
  LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.
  ☆1,020Updated this week
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆476Updated 7 months ago
• Singular / Singular
  sources for the Singular computer algebra system
  ☆268Updated this week
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆683Updated 10 months ago
• leanprover / elan
  The Lean version manager
  ☆340Updated 3 weeks ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆236Updated 11 months ago
• pgf-tikz / pgfplots
  pgfplots - A TeX package to draw normal and/or logarithmic plots directly in TeX in two and three dimensions with a user-friendly interfa…
  ☆206Updated 6 months ago
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆1,743Updated this week
• latex3 / latex2e
  The LaTeX2e kernel
  ☆2,017Updated this week
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆241Updated 11 months ago