sagemath / sage-archive-2023-02-01
This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github.com/sagemath/sage, we have renamed and archived this repository.
☆2,008Updated 2 years ago
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
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆851Updated this week
- Main repository of SageMath☆1,690Updated this week
- Build tools for the Sagemath Windows installer☆350Updated 3 years ago
- CoCalc: Collaborative Calculation in the Cloud☆1,200Updated this week
- The Sage Cell Server---providing a way to embed Sage computations into any web page.☆206Updated 3 weeks ago
- This repository is for archival. Please see https://github.com/Mathics3/mathics-core☆2,073Updated 2 years ago
- sources for the Singular computer algebra system☆273Updated last week
- Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆461Updated last year
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆360Updated this week
- A textbook on informal homotopy type theory☆2,066Updated 3 weeks ago
- Repository for the Stacks Project☆892Updated 6 months ago
- A SymPy version of WolframAlpha.☆687Updated 11 months ago
- 2D & 3D TeX-Aware Vector Graphics Language☆586Updated this week
- The expl3 (LaTeX3) Development Repository☆1,967Updated this week
- Group theory visualization software in the browser☆243Updated last year
- An open-source, customizable intermediate logic textbook☆1,130Updated last month
- A computer algebra system written in pure Python☆13,468Updated last week
- Python library for arbitrary-precision floating-point arithmetic☆1,011Updated 2 weeks ago
- Lean Theorem Prover☆2,151Updated last year
- L-Functions and Modular Forms Database☆263Updated this week
- Axiom is a free, open source computer algebra system☆378Updated last year
- Wolfram Language kernel for Jupyter notebooks☆1,087Updated last year
- pgf/TikZ diagram editor☆1,164Updated 11 months ago
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,664Updated 9 months ago
- amateur translation project of Grothendieck's EGA.☆341Updated 5 months ago
- A simple visual editor for creating commutative diagrams.☆1,918Updated 4 years ago
- Latex Symbol Classifier Web Frontend☆823Updated 2 years ago
- SymPy's web page (sympy.org)☆193Updated last month
- Official repository of the FriCAS computer algebra system☆325Updated last week
- FLINT (Fast Library for Number Theory)☆481Updated last week