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
  ☆846Updated this week
• sagemath / sage
  Main repository of SageMath
  ☆1,631Updated this week
• sagemath / sage-windows-cygwin
  Build tools for the Sagemath Windows installer
  ☆350Updated 3 years ago
• leanprover / lean3
  Lean Theorem Prover
  ☆2,151Updated last year
• leanprover-community / mathlib3
  Lean 3's obsolete mathematical components library: please use mathlib4
  ☆1,662Updated 8 months ago
• mpmath / mpmath
  Python library for arbitrary-precision floating-point arithmetic
  ☆996Updated this week
• flintlib / arb
  Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆461Updated 11 months ago
• symengine / symengine
  SymEngine is a fast symbolic manipulation library, written in C++
  ☆1,212Updated 2 weeks ago
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆206Updated this week
• Singular / Singular
  sources for the Singular computer algebra system
  ☆272Updated this week
• mathics / Mathics
  This repository is for archival. Please see https://github.com/Mathics3/mathics-core
  ☆2,072Updated 2 years ago
• flintlib / flint
  FLINT (Fast Library for Number Theory)
  ☆477Updated 2 weeks ago
• agda / agda
  Agda is a dependently typed programming language / interactive theorem prover.
  ☆2,589Updated this week
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆357Updated last week
• sagemathinc / cocalc
  CoCalc: Collaborative Calculation in the Cloud
  ☆1,197Updated this week
• stacks / stacks-project
  Repository for the Stacks Project
  ☆887Updated 5 months ago
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,059Updated this week
• sympy / sympy
  A computer algebra system written in pure Python
  ☆13,368Updated this week
• qutip / qutip
  QuTiP: Quantum Toolbox in Python
  ☆1,790Updated last week
• daly / axiom
  Axiom is a free, open source computer algebra system
  ☆375Updated last year
• coq / coq
  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…
  ☆4,959Updated this week
• UniMath / UniMath
  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆972Updated last week
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆580Updated this week
• gpoore / pythontex
  A LaTeX package that executes Python and other code in LaTeX documents, and includes the output
  ☆894Updated 11 months ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆325Updated this week
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆898Updated 8 years ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆261Updated this week
• gnu-octave / octave
  GNU Octave Mirror (https://www.octave.org/hg/octave). Report bugs and submit pull requests (patches) at https://bugs.octave.org
  ☆441Updated this week
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆821Updated 2 years ago
• WolframResearch / WolframLanguageForJupyter
  Wolfram Language kernel for Jupyter notebooks
  ☆1,077Updated last year