Alternatives and similar repositories for sympy:

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

• sympy / sympy-paper
  Repo for the paper "SymPy: symbolic computing in python"
  ☆47Updated 4 years ago
• aktech / gil_talk
  A talk on Global Interpreter Lock in Python
  ☆10Updated 2 weeks ago
• aktech / sympy-tutorial
  SymPy Presentation
  ☆37Updated 9 years ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• robbielynch / ibrainfuck
  A brainfuck kernel for IPython/Jupyter.
  ☆28Updated 9 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 4 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated last year
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• diofant / diofant
  A Python CAS library
  ☆72Updated last week
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆27Updated 10 years ago
• nvquanghuy / texpaste
  The pastebin for mathematicians
  ☆35Updated 10 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• ImperialCollegeLondon / M1F-explained
  A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"
  ☆10Updated last year
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• sympy / sympy-bot
  GitHub bot for SymPy
  ☆22Updated 5 months ago
• SylvainDe / DidYouMean-Python
  Module to have suggestions in case of errors (NameError, AttributeError, etc).
  ☆120Updated last month
• vidhan13j07 / Spoj-CLI
  A command line tool to read the problems and submit solutions directly through terminal.
  ☆14Updated 9 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated last week
• hausdorff / pyli
  A Python 3 compiler that anyone can understand.
  ☆67Updated 10 years ago
• arxitics / arxiv-analytics
  A web portal that offers more features and a better user interface for reading eprints
  ☆24Updated 8 years ago
• colah / Motivated-Topology
  A topology textbook with a hubristic title
  ☆29Updated 9 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago