sagemath / sage

Related projects ⓘ

Alternatives and complementary repositories for sage

• sagemath / sage-archive-2023-02-01
  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
• sagemath / sage-windows-cygwin
  Build tools for the Sagemath Windows installer
  ☆350Updated 3 years ago
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆812Updated this week
• mpmath / mpmath
  Python library for arbitrary-precision floating-point arithmetic
  ☆962Updated this week
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆203Updated last week
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆346Updated this week
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆1,523Updated this week
• flintlib / flint
  FLINT (Fast Library for Number Theory)
  ☆444Updated this week
• Singular / Singular
  sources for the Singular computer algebra system
  ☆261Updated this week
• Mathics3 / mathics-core
  An open-source Mathematica. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbo…
  ☆775Updated this week
• MiKTeX / miktex
  the MiKTeX source code
  ☆802Updated last month
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆309Updated last week
• kpeeters / cadabra2
  A field-theory motivated approach to computer algebra.
  ☆230Updated this week
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆245Updated this week
• 3-manifolds / Sage_macOS
  SageMath as a macOS application bundle.
  ☆158Updated last week
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆264Updated 2 weeks ago
• dtbinh / OpenCourse
  ☆118Updated 5 years ago
• gnu-octave / octave
  GNU Octave Mirror (https://www.octave.org/hg/octave). Report bugs and submit pull requests (patches) at https://bugs.octave.org
  ☆408Updated this week
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,236Updated 2 weeks ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆330Updated 3 weeks ago
• leanprover / lean4
  Lean 4 programming language and theorem prover
  ☆4,686Updated this week
• WolframResearch / WolframLanguageForJupyter
  Wolfram Language kernel for Jupyter notebooks
  ☆1,046Updated 10 months ago
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆133Updated last week
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆267Updated this week
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆85Updated this week
• mkauers / ore_algebra
  ☆29Updated last month
• sympy / sympy.github.com
  SymPy's web page (sympy.org)
  ☆188Updated last month
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆556Updated this week
• leanprover / elan
  The Lean version manager
  ☆316Updated this week
• 3-manifolds / SnapPy
  SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…
  ☆87Updated this week