Alternatives and similar repositories for sage-archive-2023-02-01:

Users that are interested in sage-archive-2023-02-01 are comparing it to the libraries listed below

• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆851Updated this week
• sagemath / sage
  Main repository of SageMath
  ☆1,690Updated this week
• sagemath / sage-windows-cygwin
  Build tools for the Sagemath Windows installer
  ☆350Updated 3 years ago
• sagemathinc / cocalc
  CoCalc: Collaborative Calculation in the Cloud
  ☆1,200Updated this week
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆206Updated 3 weeks ago
• mathics / Mathics
  This repository is for archival. Please see https://github.com/Mathics3/mathics-core
  ☆2,073Updated 2 years ago
• Singular / Singular
  sources for the Singular computer algebra system
  ☆273Updated last week
• flintlib / arb
  Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆461Updated last year
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆360Updated this week
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,066Updated 3 weeks ago
• stacks / stacks-project
  Repository for the Stacks Project
  ☆892Updated 6 months ago
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆687Updated 11 months ago
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆586Updated this week
• latex3 / latex3
  The expl3 (LaTeX3) Development Repository
  ☆1,967Updated this week
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆243Updated last year
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,130Updated last month
• sympy / sympy
  A computer algebra system written in pure Python
  ☆13,468Updated last week
• mpmath / mpmath
  Python library for arbitrary-precision floating-point arithmetic
  ☆1,011Updated 2 weeks ago
• leanprover / lean3
  Lean Theorem Prover
  ☆2,151Updated last year
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆263Updated this week
• daly / axiom
  Axiom is a free, open source computer algebra system
  ☆378Updated last year
• WolframResearch / WolframLanguageForJupyter
  Wolfram Language kernel for Jupyter notebooks
  ☆1,087Updated last year
• tikzit / tikzit
  pgf/TikZ diagram editor
  ☆1,164Updated 11 months ago
• leanprover-community / mathlib3
  Lean 3's obsolete mathematical components library: please use mathlib4
  ☆1,664Updated 9 months ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆341Updated 5 months ago
• yishn / tikzcd-editor
  A simple visual editor for creating commutative diagrams.
  ☆1,918Updated 4 years ago
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆823Updated 2 years ago
• sympy / sympy.github.com
  SymPy's web page (sympy.org)
  ☆193Updated last month
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆325Updated last week
• flintlib / flint
  FLINT (Fast Library for Number Theory)
  ☆481Updated last week