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
  ☆11Updated last month
• sympy / sympy-paper
  Repo for the paper "SymPy: symbolic computing in python"
  ☆47Updated 4 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• aktech / sympy-tutorial
  SymPy Presentation
  ☆38Updated 9 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆60Updated 2 years ago
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆27Updated 10 years ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated last week
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated last year
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆69Updated last week
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆59Updated 5 months ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 10 months ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆56Updated last month
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• sympy / sympy-bot
  GitHub bot for SymPy
  ☆21Updated 6 months ago
• trishume / ratewithscience
  Rate things on arbitrary scales using big data and science!
  ☆50Updated 5 years ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• arxitics / arxiv-analytics
  A web portal that offers more features and a better user interface for reading eprints
  ☆24Updated 8 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆40Updated last year
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year