sagemath / sage
Main repository of SageMath
☆1,456Updated this week
Related projects ⓘ
Alternatives and complementary repositories for sage
- 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,014Updated last year
- Build tools for the Sagemath Windows installer☆350Updated 3 years ago
- Wolfram Language kernel for Jupyter notebooks☆1,047Updated 11 months ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆347Updated this week
- the MiKTeX source code☆802Updated 2 months ago
- SageMath as a macOS application bundle.☆159Updated 2 weeks ago
- The math library of Lean 4☆1,547Updated this week
- An open-source Mathematica. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbo…☆780Updated this week
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆813Updated this week
- The Sage Cell Server---providing a way to embed Sage computations into any web page.☆203Updated 3 weeks ago
- Official repository of the FriCAS computer algebra system☆311Updated last week
- Lean 4 programming language and theorem prover☆4,720Updated this week
- FLINT (Fast Library for Number Theory)☆445Updated last week
- source part of the TeX Live subversion repository - for issues please contact the tex-k mailing list at tug.org☆265Updated this week
- The LaTeX2e kernel☆1,942Updated this week
- GNU Octave Mirror (https://www.octave.org/hg/octave). Report bugs and submit pull requests (patches) at https://bugs.octave.org☆411Updated this week
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆255Updated this week
- 2D & 3D TeX-Aware Vector Graphics Language☆557Updated this week
- PreTeXt: an authoring and publishing system for scholarly documents☆268Updated this week
- amateur translation project of Grothendieck's EGA.☆330Updated last month
- Tool for live presentations using manim☆488Updated this week
- Repository for the Stacks Project☆861Updated 2 months ago
- The Ipe extensible drawing editor☆162Updated 2 weeks ago
- Call Wolfram Language functions from Python☆446Updated 2 months ago
- A Portable Graphic Format for TeX☆1,143Updated 3 weeks ago
- A SymPy version of WolframAlpha.☆673Updated 7 months ago
- Rubi for Mathematica☆232Updated 9 months ago
- ☆411Updated last week
- sources for the Singular computer algebra system☆262Updated this week
- Physics simulation plugin of Manim that can generate scenes in various branches of Physics.☆324Updated 3 months ago