sagemath / sage
Main repository of SageMath
☆1,668Updated 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,009Updated 2 years ago
- Build tools for the Sagemath Windows installer☆350Updated 3 years ago
- The math library of Lean 4☆1,809Updated this week
- source part of the TeX Live subversion repository - for issues please contact the tex-k mailing list at tug.org☆290Updated this week
- PreTeXt: an authoring and publishing system for scholarly documents☆278Updated this week
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆850Updated this week
- Python library for arbitrary-precision floating-point arithmetic☆1,005Updated this week
- The Sage Cell Server---providing a way to embed Sage computations into any web page.☆206Updated 2 weeks ago
- SageMath as a macOS application bundle.☆179Updated last week
- Wolfram Language kernel for Jupyter notebooks☆1,085Updated last year
- TikZJax is TikZ running under WebAssembly in the browser☆482Updated 8 months ago
- GNU Octave Mirror (https://www.octave.org/hg/octave). Report bugs and submit pull requests (patches) at https://bugs.octave.org☆451Updated this week
- FLINT (Fast Library for Number Theory)☆479Updated this week
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,664Updated 8 months ago
- A performant NumPy extension for Galois fields and their applications☆379Updated 2 months ago
- Official repository of the FriCAS computer algebra system☆324Updated this week
- A Portable Graphic Format for TeX☆1,193Updated 3 months ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆359Updated last week
- Repository for the Stacks Project☆891Updated 6 months ago
- amateur translation project of Grothendieck's EGA.☆341Updated 5 months ago
- Server to host lean games.☆246Updated this week
- The user home repository for the Mathematics in Lean tutorial.☆313Updated 2 weeks ago
- Rubi for Mathematica☆244Updated last year
- pgfplots - A TeX package to draw normal and/or logarithmic plots directly in TeX in two and three dimensions with a user-friendly interfa…☆210Updated 7 months ago
- NotesTeX (or its nickname NoTeX) is a simple LaTeX notes taking package for students.☆470Updated 2 years ago
- Freeware notebook environment for Wolfram Language written in Javascript☆384Updated this week
- Lean 4 programming language and theorem prover☆5,214Updated this week
- LaTeX code for some of my lecture notes☆269Updated 3 years ago
- ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS☆415Updated 5 months ago
- The expl3 (LaTeX3) Development Repository☆1,965Updated this week