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
  ☆865Updated last week
• sagemath / sage
  Main repository of SageMath
  ☆1,789Updated last week
• sagemath / sage-windows-cygwin
  Build tools for the Sagemath Windows installer
  ☆350Updated 3 years ago
• sagemathinc / cocalc
  CoCalc: Collaborative Calculation in the Cloud
  ☆1,212Updated this week
• mathics / Mathics
  This repository is for archival. Please see https://github.com/Mathics3/mathics-core
  ☆2,069Updated 2 years ago
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆208Updated last week
• WolframResearch / WolframLanguageForJupyter
  Wolfram Language kernel for Jupyter notebooks
  ☆1,104Updated last year
• mpmath / mpmath
  Python library for arbitrary-precision floating-point arithmetic
  ☆1,024Updated this week
• Singular / Singular
  sources for the Singular computer algebra system
  ☆278Updated this week
• leanprover / lean3
  Lean Theorem Prover
  ☆2,151Updated last year
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆691Updated last year
• symengine / symengine
  SymEngine is a fast symbolic manipulation library, written in C++
  ☆1,239Updated last week
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆826Updated 2 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆905Updated 8 years ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆370Updated this week
• flintlib / flint
  FLINT (Fast Library for Number Theory)
  ☆497Updated this week
• 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,105Updated this week
• latex3 / latex3
  The expl3 (LaTeX3) Development Repository
  ☆1,994Updated this week
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆337Updated this week
• daly / axiom
  Axiom is a free, open source computer algebra system
  ☆383Updated last year
• wxMaxima-developers / wxmaxima
  A gui for the computer algebra system Maxima built with wxWidgets
  ☆506Updated this week
• sympy / sympy.github.com
  SymPy's web page (sympy.org)
  ☆196Updated 3 months ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,485Updated this week
• stacks / stacks-project
  Repository for the Stacks Project
  ☆915Updated 8 months ago
• approach0 / search-engine
  A math-aware search engine.
  ☆347Updated last year
• leanprover-community / mathlib3
  Lean 3's obsolete mathematical components library: please use mathlib4
  ☆1,667Updated 11 months ago
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆288Updated this week
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆271Updated 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,117Updated this week
• WolframResearch / WolframClientForPython
  Call Wolfram Language functions from Python
  ☆456Updated 9 months ago