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
  ☆883Updated last week
• sagemath / sage
  Main repository of SageMath
  ☆1,882Updated this week
• sagemathinc / cocalc
  CoCalc: Collaborative Calculation in the Cloud
  ☆1,225Updated this week
• sagemath / sage-windows-cygwin
  Build tools for the Sagemath Windows installer
  ☆350Updated 3 years ago
• mathics / Mathics
  This repository is for archival. Please see https://github.com/Mathics3/mathics-core
  ☆2,072Updated 3 years ago
• leanprover / lean3
  Lean Theorem Prover
  ☆2,155Updated last year
• mpmath / mpmath
  Python library for arbitrary-precision floating-point arithmetic
  ☆1,034Updated this week
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆376Updated this week
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆694Updated last year
• WolframResearch / WolframLanguageForJupyter
  Wolfram Language kernel for Jupyter notebooks
  ☆1,108Updated last year
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆211Updated last month
• WolframResearch / WolframClientForPython
  Call Wolfram Language functions from Python
  ☆464Updated 2 weeks ago
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆613Updated this week
• latex3 / latex3
  The expl3 (LaTeX3) Development Repository
  ☆2,024Updated this week
• gpoore / pythontex
  A LaTeX package that executes Python and other code in LaTeX documents, and includes the output
  ☆909Updated 3 months ago
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,089Updated last week
• pgf-tikz / pgf
  A Portable Graphic Format for TeX
  ☆1,243Updated last month
• stacks / stacks-project
  Repository for the Stacks Project
  ☆934Updated last week
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆273Updated this week
• sympy / sympy.github.com
  SymPy's web page (sympy.org)
  ☆199Updated 5 months ago
• symengine / symengine
  SymEngine is a fast symbolic manipulation library, written in C++
  ☆1,261Updated last week
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆292Updated 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,164Updated this week
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆253Updated last year
• Singular / Singular
  sources for the Singular computer algebra system
  ☆280Updated last week
• flintlib / arb
  Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆465Updated last year
• UniMath / UniMath
  This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆988Updated last week
• aleaxit / gmpy
  General Multi-Precision arithmetic for Python 2.6+/3+ (GMP, MPIR, MPFR, MPC)
  ☆558Updated last week
• leanprover-community / mathlib3
  Lean 3's obsolete mathematical components library: please use mathlib4
  ☆1,668Updated last year
• 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,111Updated this week