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,723Updated this week
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆857Updated this week
• sagemath / sage-windows-cygwin
  Build tools for the Sagemath Windows installer
  ☆350Updated 3 years ago
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆206Updated 2 weeks ago
• mpmath / mpmath
  Python library for arbitrary-precision floating-point arithmetic
  ☆1,017Updated last week
• sagemathinc / cocalc
  CoCalc: Collaborative Calculation in the Cloud
  ☆1,205Updated this week
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆362Updated this week
• Singular / Singular
  sources for the Singular computer algebra system
  ☆274Updated last week
• flintlib / arb
  Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆464Updated last year
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆591Updated last week
• mathics / Mathics
  This repository is for archival. Please see https://github.com/Mathics3/mathics-core
  ☆2,073Updated 2 years ago
• leanprover / lean3
  Lean Theorem Prover
  ☆2,151Updated last year
• daly / axiom
  Axiom is a free, open source computer algebra system
  ☆379Updated last year
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆266Updated 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,031Updated this week
• UniMath / UniMath
  This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆980Updated this week
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆330Updated this week
• gpoore / pythontex
  A LaTeX package that executes Python and other code in LaTeX documents, and includes the output
  ☆901Updated last week
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆169Updated 8 months ago
• leanprover-community / mathlib3
  Lean 3's obsolete mathematical components library: please use mathlib4
  ☆1,662Updated 9 months ago
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆497Updated 9 months ago
• flintlib / flint
  FLINT (Fast Library for Number Theory)
  ☆492Updated last week
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆901Updated 8 years ago
• pygae / galgebra
  Symbolic Geometric Algebra/Calculus package for SymPy
  ☆252Updated last month
• WolframResearch / WolframClientForPython
  Call Wolfram Language functions from Python
  ☆455Updated 8 months ago
• sympy / sympy
  A computer algebra system written in pure Python
  ☆13,557Updated this week
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆690Updated last year
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆247Updated last year
• JuliaLang / IJulia.jl
  Julia kernel for Jupyter
  ☆2,830Updated 2 weeks ago
• pgf-tikz / pgf
  A Portable Graphic Format for TeX
  ☆1,209Updated 2 weeks ago