sagemath / sageLinks
Main repository of SageMath
☆1,789Updated last 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,008Updated 2 years ago
- An Infinitely Large Napkin☆1,485Updated this week
- FLINT (Fast Library for Number Theory)☆497Updated this week
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆370Updated this week
- Python library for arbitrary-precision floating-point arithmetic☆1,024Updated this week
- Lean 4 programming language and theorem prover☆5,660Updated this week
- The math library of Lean 4☆2,006Updated this week
- Repository for the Stacks Project☆915Updated 8 months ago
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆865Updated last week
- SageMath as a macOS application bundle.☆191Updated last week
- Wolfram Language kernel for Jupyter notebooks☆1,104Updated last year
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆461Updated this week
- An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g…☆1,105Updated this week
- The Sage Cell Server---providing a way to embed Sage computations into any web page.☆208Updated last week
- LaTeX code for some of my lecture notes☆344Updated 3 years ago
- Build tools for the Sagemath Windows installer☆350Updated 3 years ago
- ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS☆439Updated 7 months ago
- sources for the Singular computer algebra system☆278Updated this week
- source part of the TeX Live subversion repository - for issues please contact the tex-k mailing list at tug.org☆299Updated this week
- A project to digitalise results from physics into Lean.☆252Updated this week
- Rubi for Mathematica☆248Updated last year
- An extremely fast LaTeX formatter written in Rust☆541Updated 2 weeks ago
- CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.☆1,265Updated this week
- amateur translation project of Grothendieck's EGA.☆347Updated 7 months ago
- A Portable Graphic Format for TeX☆1,228Updated last month
- The user home repository for the Mathematics in Lean tutorial.☆354Updated 3 weeks ago
- Official repository of the FriCAS computer algebra system☆337Updated this week
- Library for Polynomial System Solving through Algebraic Methods☆133Updated last week
- Tool for live presentations using manim☆612Updated last week
- A performant NumPy extension for Galois fields and their applications☆395Updated 2 weeks ago