Alternatives and similar repositories for Sage_macOS:

Users that are interested in Sage_macOS are comparing it to the libraries listed below

• WolframResearch / vscode-wolfram
  Official Visual Studio Code extension for Wolfram Language
  ☆121Updated 2 weeks ago
• mkauers / ore_algebra
  ☆30Updated 3 weeks ago
• 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…
  ☆94Updated last week
• sagemath / sage
  Main repository of SageMath
  ☆1,559Updated this week
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆30Updated 2 weeks ago
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆32Updated last year
• PacktPublishing / LaTeX-graphics-with-TikZ
  LaTeX graphics with TikZ, by Packt Publishing
  ☆143Updated 7 months ago
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆54Updated 6 years ago
• algebraic-solving / msolve
  Library for Polynomial System Solving through Algebraic Methods
  ☆110Updated last month
• TeXShop / TeXShop
  Unofficial TeXShop source code repository. This repository is generated via scripts from the official source releases.
  ☆50Updated 2 months ago
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆204Updated last month
• njpipeorgan / wolfram-language-notebook
  Notebook support for Wolfram Language in VS Code
  ☆171Updated last year
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆145Updated last week
• thedeepdeepsky / mathematica_keygen
  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.
  ☆78Updated 4 months ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆294Updated last week
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆170Updated 3 months ago
• coq / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆192Updated this week
• vEnhance / von
  Olympiad problem database
  ☆48Updated 2 weeks ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆225Updated last month
• passagemath / passagemath
  General purpose mathematical software system, fork of SageMath supporting modularized installation with pip
  ☆13Updated last week
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆129Updated 6 months ago
• jirilebl / ca
  Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis
  ☆10Updated last week
• 3-manifolds / fix_mac_sage
  ☆18Updated 3 years ago
• texmacs / tm-forge
  A repository of user contributed content for TeXmacs
  ☆53Updated last week
• sagemath / sage-windows-cygwin
  Build tools for the Sagemath Windows installer
  ☆350Updated 3 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 2 years ago
• LearningToSQI / SQISign-SageMath
  ☆33Updated last year
• wenweili / Modulform
  Introduction to Modular Forms: A Chinese textbook about modular forms
  ☆71Updated this week
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆238Updated 11 months ago
• flintlib / flint
  FLINT (Fast Library for Number Theory)
  ☆464Updated this week