sagemath / sageLinks
Main repository of SageMath
☆1,923Updated this week
Alternatives and similar repositories for sage
Users that are interested in sage are comparing it to the libraries listed below
Sorting:
- 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,004Updated 2 years ago
- The math library of Lean 4☆2,306Updated this week
- An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g…☆1,118Updated this week
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆899Updated this week
- GNU Octave Mirror (https://www.octave.org/hg/octave). Report bugs and submit pull requests (patches) at https://bugs.octave.org☆497Updated this week
- SageMath as a macOS application bundle.☆202Updated 2 weeks ago
- ☆165Updated 6 years ago
- FLINT (Fast Library for Number Theory)☆525Updated this week
- Repository for the Stacks Project☆943Updated last week
- A project to digitalise results from physics into Lean.☆328Updated this week
- Lean 4 programming language and theorem prover☆6,262Updated this week
- The user home repository for the Mathematics in Lean tutorial.☆405Updated 3 weeks ago
- A Lean companion to Analysis I☆1,146Updated this week
- Build tools for the Sagemath Windows installer☆348Updated 4 years ago
- Wolfram Language kernel for Jupyter notebooks☆1,107Updated last year
- A database with many Manim users and content creators☆394Updated this week
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆382Updated this week
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,667Updated last year
- the MiKTeX source code☆884Updated 2 months ago
- ☆36Updated 3 weeks ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆661Updated last week
- Tool for live presentations using manim☆672Updated this week
- A Portable Graphic Format for TeX☆1,257Updated this week
- Server to host lean games.☆309Updated last week
- The Sage Cell Server---providing a way to embed Sage computations into any web page.☆214Updated last week
- This is improved on mathematica keygen(this code can also use on system modeler).It has full tutorials and you can input your own actkey.☆90Updated 11 months ago
- An Infinitely Large Napkin☆1,574Updated 2 weeks ago
- PreTeXt: an authoring and publishing system for scholarly documents☆296Updated this week
- Physics simulation plugin of Manim that can generate scenes in various branches of Physics.☆372Updated last year
- The Lean version manager☆418Updated 3 months ago