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
  ☆913Updated last week
• sagemath / sage
  Main repository of SageMath
  ☆2,033Updated this week
• sagemathinc / cocalc
  CoCalc: Collaborative Calculation in the Cloud
  ☆1,249Updated this week
• sagemath / sage-windows-cygwin
  Build tools for the Sagemath Windows installer
  ☆348Updated 4 years ago
• WolframResearch / WolframLanguageForJupyter
  Wolfram Language kernel for Jupyter notebooks
  ☆1,120Updated last year
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆700Updated last year
• mathics / Mathics
  This repository is for archival. Please see https://github.com/Mathics3/mathics-core
  ☆2,071Updated 3 years ago
• symengine / symengine
  SymEngine is a fast symbolic manipulation library, written in C++
  ☆1,290Updated 2 weeks ago
• mpmath / mpmath
  Python library for arbitrary-precision floating-point arithmetic
  ☆1,054Updated 2 weeks ago
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆216Updated this week
• flintlib / flint
  FLINT (Fast Library for Number Theory)
  ☆534Updated this week
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆394Updated this week
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆633Updated 2 weeks ago
• pgf-tikz / pgf
  A Portable Graphic Format for TeX
  ☆1,269Updated 2 weeks ago
• Singular / Singular
  sources for the Singular computer algebra system
  ☆293Updated last week
• leanprover / lean3
  Lean Theorem Prover
  ☆2,152Updated 2 years ago
• stacks / stacks-project
  Repository for the Stacks Project
  ☆959Updated 3 weeks ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆277Updated last week
• flintlib / arb
  Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆470Updated last year
• szhorvat / MaTeX
  LaTeX labels in Mathematica
  ☆398Updated last year
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,105Updated last month
• latex3 / latex3
  The expl3 (LaTeX3) Development Repository
  ☆2,052Updated this week
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆174Updated 2 months ago
• 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,129Updated last month
• WolframResearch / WolframClientForPython
  Call Wolfram Language functions from Python
  ☆469Updated 3 months ago
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆834Updated 2 years ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆350Updated this week
• gpoore / pythontex
  A LaTeX package that executes Python and other code in LaTeX documents, and includes the output
  ☆920Updated 6 months ago
• 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,249Updated this week
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆258Updated last year