Alternatives and similar repositories for sympy:

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

• aktech / gil_talk
  A talk on Global Interpreter Lock in Python
  ☆10Updated 4 months ago
• sympy / sympy-paper
  Repo for the paper "SymPy: symbolic computing in python"
  ☆47Updated 4 years ago
• aktech / sympy-tutorial
  SymPy Presentation
  ☆37Updated 8 years ago
• sympy / sympy_benchmarks
  Some benchmarks of SymPy
  ☆14Updated 2 months ago
• robbielynch / ibrainfuck
  A brainfuck kernel for IPython/Jupyter.
  ☆28Updated 9 years ago
• sympy / planet-sympy
  The planet SymPy sources
  ☆13Updated 9 months ago
• diofant / diofant
  A Python CAS library
  ☆72Updated this week
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 2 months ago
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆27Updated 10 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• erezsh / lambdaX
  Partial evaluation for Python with syntactic sugar
  ☆36Updated 8 years ago
• enthought / depsolver
  Default Repo description from terraform module
  Updated 10 years ago
• Sumith1896 / termscore
  Get scores of this World T20 World Cup in your terminal
  ☆9Updated 8 years ago
• sympy / sympy-bot
  GitHub bot for SymPy
  ☆22Updated 4 months ago
• heavyai / rbc
  Remote Backend Compiler
  ☆31Updated 5 months ago
• prakhar1989 / JSJS
  A strongly typed language for the web!
  ☆40Updated 8 years ago
• python-gsoc / gsoc
  Scripts and ideas related to managing Google Summer of Code for the Python Software Foundation
  ☆36Updated 7 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 8 months ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• Carreau / jupyter-book
  ☆19Updated 6 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆21Updated 5 months ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆60Updated 2 years ago
• JuliaIntervals / CRlibm.jl
  Correctly-rounded mathematical functions for Julia
  ☆8Updated 2 months ago
• arxitics / arxiv-analytics
  A web portal that offers more features and a better user interface for reading eprints
  ☆24Updated 8 years ago
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆13Updated 4 months ago
• pfdamasceno / shakespeare
  Identify relevant scientific papers with simple machine learning techniques
  ☆26Updated 9 years ago
• numfocus / jobs-board
  Minimalist jobs board implementation
  ☆19Updated 5 months ago
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated 10 months ago