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
  ☆902Updated this week
• sagemath / sage
  Main repository of SageMath
  ☆1,946Updated this week
• leanprover / lean3
  Lean Theorem Prover
  ☆2,152Updated last year
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆695Updated last year
• WolframResearch / WolframLanguageForJupyter
  Wolfram Language kernel for Jupyter notebooks
  ☆1,109Updated last year
• leanprover-community / mathlib3
  Lean 3's obsolete mathematical components library: please use mathlib4
  ☆1,667Updated last year
• sagemath / sage-windows-cygwin
  Build tools for the Sagemath Windows installer
  ☆348Updated 4 years ago
• mpmath / mpmath
  Python library for arbitrary-precision floating-point arithmetic
  ☆1,043Updated last week
• symengine / symengine
  SymEngine is a fast symbolic manipulation library, written in C++
  ☆1,273Updated 2 weeks ago
• sagemathinc / cocalc
  CoCalc: Collaborative Calculation in the Cloud
  ☆1,229Updated this week
• stacks / stacks-project
  Repository for the Stacks Project
  ☆947Updated 2 weeks ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆385Updated this week
• mathics / Mathics
  This repository is for archival. Please see https://github.com/Mathics3/mathics-core
  ☆2,071Updated 3 years 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,208Updated this week
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆275Updated this week
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆626Updated this week
• pgf-tikz / pgf
  A Portable Graphic Format for TeX
  ☆1,259Updated this week
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆215Updated 3 weeks ago
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,100Updated 2 weeks ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆914Updated 8 years ago
• Singular / Singular
  sources for the Singular computer algebra system
  ☆290Updated last week
• flintlib / flint
  FLINT (Fast Library for Number Theory)
  ☆526Updated 2 weeks ago
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,205Updated last week
• wxMaxima-developers / wxmaxima
  A gui for the computer algebra system Maxima built with wxWidgets
  ☆519Updated this week
• UniMath / UniMath
  This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆990Updated last month
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆433Updated last year
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆833Updated 2 years ago
• flintlib / arb
  Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆468Updated last year
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆345Updated last month
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆296Updated this week