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

• sagemath / sage
  Main repository of SageMath
  ☆1,829Updated last week
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆874Updated this week
• sagemathinc / cocalc
  CoCalc: Collaborative Calculation in the Cloud
  ☆1,215Updated this week
• sagemath / sage-windows-cygwin
  Build tools for the Sagemath Windows installer
  ☆350Updated 3 years ago
• symengine / symengine
  SymEngine is a fast symbolic manipulation library, written in C++
  ☆1,247Updated last month
• mathics / Mathics
  This repository is for archival. Please see https://github.com/Mathics3/mathics-core
  ☆2,072Updated 2 years ago
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆210Updated this week
• wxMaxima-developers / wxmaxima
  A gui for the computer algebra system Maxima built with wxWidgets
  ☆506Updated last week
• mpmath / mpmath
  Python library for arbitrary-precision floating-point arithmetic
  ☆1,029Updated this week
• sympy / sympy.github.com
  SymPy's web page (sympy.org)
  ☆199Updated 4 months 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 / mathlib3
  Lean 3's obsolete mathematical components library: please use mathlib4
  ☆1,668Updated 11 months ago
• Singular / Singular
  sources for the Singular computer algebra system
  ☆280Updated this week
• rocq-prover / rocq
  The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…
  ☆5,137Updated this week
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆601Updated this week
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆691Updated last year
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆338Updated this week
• daly / axiom
  Axiom is a free, open source computer algebra system
  ☆383Updated last year
• leanprover / lean3
  Lean Theorem Prover
  ☆2,154Updated last year
• WolframResearch / WolframLanguageForJupyter
  Wolfram Language kernel for Jupyter notebooks
  ☆1,105Updated last year
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆272Updated this week
• SWI-Prolog / swipl-devel
  SWI-Prolog Main development repository
  ☆1,080Updated this week
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,082Updated last month
• pgf-tikz / pgf
  A Portable Graphic Format for TeX
  ☆1,230Updated 2 months ago
• stacks / stacks-project
  Repository for the Stacks Project
  ☆920Updated this week
• WolframResearch / WolframClientForPython
  Call Wolfram Language functions from Python
  ☆456Updated 10 months ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆170Updated last month
• sympy / sympy
  A computer algebra system written in pure Python
  ☆13,700Updated this week
• gpoore / pythontex
  A LaTeX package that executes Python and other code in LaTeX documents, and includes the output
  ☆904Updated 2 months ago
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆292Updated this week