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…
  ☆1,999Updated 2 years ago
• 3-manifolds / Sage_macOS
  SageMath as a macOS application bundle.
  ☆224Updated last week
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆2,711Updated this week
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆931Updated this week
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆778Updated this week
• flintlib / flint
  FLINT (Fast Library for Number Theory)
  ☆552Updated this week
• sagemath / sage-windows-cygwin
  Build tools for the Sagemath Windows installer
  ☆349Updated 4 years ago
• leanprover / lean4
  Lean 4 programming language and theorem prover
  ☆7,009Updated this week
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆425Updated this week
• algebraic-solving / msolve
  Library for Polynomial System Solving through Algebraic Methods
  ☆167Updated 2 weeks ago
• pgf-tikz / pgf
  A Portable Graphic Format for TeX
  ☆1,283Updated last week
• mkauers / ore_algebra
  ☆37Updated last month
• WolframResearch / WolframLanguageForJupyter
  Wolfram Language kernel for Jupyter notebooks
  ☆1,128Updated 2 years ago
• mhostetter / galois
  A performant NumPy extension for Galois fields and their applications
  ☆447Updated 2 weeks ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆404Updated this week
• leanprover-community / lean4game
  Server to host lean games.
  ☆370Updated this week
• dtbinh / OpenCourse
  ☆177Updated 6 years ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆447Updated 4 months ago
• stacks / stacks-project
  Repository for the Stacks Project
  ☆978Updated last month
• 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.
  ☆95Updated last month
• teorth / analysis
  A Lean companion to Analysis I
  ☆1,412Updated last week
• WLJSTeam / wolfram-js-frontend
  Freeware notebook interface for Wolfram Language written in Javascript
  ☆519Updated this week
• leanprover / elan
  The Lean version manager
  ☆459Updated 2 months ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,784Updated last week
• Singular / Singular
  sources for the Singular computer algebra system
  ☆295Updated 2 weeks ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆113Updated this week
• latex3 / latex3
  The expl3 (LaTeX3) Development Repository
  ☆2,067Updated this week
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆467Updated this week
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆371Updated 2 months ago
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆372Updated 3 years ago