sagemath / sage
Main repository of SageMath
☆1,586Updated this week
Alternatives and similar repositories for sage:
Users that are interested in sage are comparing it to the libraries listed below
- 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.s…☆2,006Updated 2 years ago
- The Sage Cell Server---providing a way to embed Sage computations into any web page.☆205Updated this week
- SageMath as a macOS application bundle.☆173Updated 3 weeks ago
- The user home repository for the Mathematics in Lean tutorial.☆299Updated this week
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆844Updated this week
- A Portable Graphic Format for TeX☆1,176Updated last month
- the MiKTeX source code☆834Updated last week
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆354Updated this week
- FLINT (Fast Library for Number Theory)☆472Updated this week
- PreTeXt: an authoring and publishing system for scholarly documents☆276Updated last week
- amateur translation project of Grothendieck's EGA.☆338Updated 4 months ago
- source part of the TeX Live subversion repository - for issues please contact the tex-k mailing list at tug.org☆278Updated this week
- Lean 4 programming language and theorem prover☆5,083Updated this week
- Repository for the Stacks Project☆883Updated 5 months ago
- Official repository of the FriCAS computer algebra system☆320Updated last week
- Build tools for the Sagemath Windows installer☆350Updated 3 years ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆366Updated this week
- Converts LaTeX documents to HTML☆278Updated 3 weeks ago
- GNU Octave Mirror (https://www.octave.org/hg/octave). Report bugs and submit pull requests (patches) at https://bugs.octave.org☆440Updated this week
- The expl3 (LaTeX3) Development Repository☆1,954Updated this week
- LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.☆1,020Updated this week
- TikZJax is TikZ running under WebAssembly in the browser☆476Updated 7 months ago
- sources for the Singular computer algebra system☆268Updated this week
- A SymPy version of WolframAlpha.☆683Updated 10 months ago
- The Lean version manager☆340Updated 3 weeks ago
- Group theory visualization software in the browser☆236Updated 11 months ago
- pgfplots - A TeX package to draw normal and/or logarithmic plots directly in TeX in two and three dimensions with a user-friendly interfa…☆206Updated 6 months ago
- The math library of Lean 4☆1,743Updated this week
- The LaTeX2e kernel☆2,017Updated this week
- Rubi for Mathematica☆241Updated 11 months ago