smichr / sympy
SymPy main development repo
☆9Updated 2 months ago
Alternatives and similar repositories for sympy:
Users that are interested in sympy are comparing it to the libraries listed below
- A talk on Global Interpreter Lock in Python☆10Updated 4 months ago
- Repo for the paper "SymPy: symbolic computing in python"☆47Updated 4 years ago
- SymPy Presentation☆37Updated 8 years ago
- Some benchmarks of SymPy☆14Updated 2 months ago
- A brainfuck kernel for IPython/Jupyter.☆28Updated 9 years ago
- The planet SymPy sources☆13Updated 9 months ago
- A Python CAS library☆72Updated this week
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 2 months ago
- The Boole Interactive Reasoning Assistant☆27Updated 10 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- Partial evaluation for Python with syntactic sugar☆36Updated 8 years ago
- Default Repo description from terraform moduleUpdated 10 years ago
- Get scores of this World T20 World Cup in your terminal☆9Updated 8 years ago
- GitHub bot for SymPy☆22Updated 4 months ago
- Remote Backend Compiler☆31Updated 5 months ago
- A strongly typed language for the web!☆40Updated 8 years ago
- Scripts and ideas related to managing Google Summer of Code for the Python Software Foundation☆36Updated 7 years ago
- Physics Derivation Graph: mathematical connections among equations☆20Updated 8 months ago
- Python term rewriting☆29Updated 12 years ago
- ☆19Updated 6 years ago
- Python S-expression emulation using tuple-like objects.☆21Updated 5 months ago
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- Correctly-rounded mathematical functions for Julia☆8Updated 2 months ago
- A web portal that offers more features and a better user interface for reading eprints☆24Updated 8 years ago
- ☆17Updated 4 years ago
- Plain-text declaration export for Lean 4☆13Updated 4 months ago
- Identify relevant scientific papers with simple machine learning techniques☆26Updated 9 years ago
- Minimalist jobs board implementation☆19Updated 5 months ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated 10 months ago