sdiehl / sympy-mcpLinks
A MCP server for symbolic manipulation of mathematical expressions
☆25Updated last week
Alternatives and similar repositories for sympy-mcp
Users that are interested in sympy-mcp are comparing it to the libraries listed below
Sorting:
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆62Updated 2 months ago
- A Low Barrier Proof Assistant☆110Updated this week
- ☆82Updated 7 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 5 months ago
- A bibliography for protocol design☆36Updated last month
- A reference implementation of GPT-2 in Python, for teaching ML compilers☆12Updated 2 weeks ago
- Class of data structures that can be unfolded.☆22Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- a categorical deep learning compiler☆200Updated 3 months ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 2 years ago
- Project to verify the Guy-Selfridge conjectures☆17Updated this week
- A probabilistic approximate DNF counter☆37Updated last month
- Rewriting Principia Mathematica in Lean☆128Updated 6 months ago
- Slog 1.0☆43Updated 11 months ago
- Copies of prolog solvers for use from python☆17Updated 10 months ago
- How to read Lean☆17Updated 4 months ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆47Updated last week
- Datalog + Egg = Good☆66Updated 2 years ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆15Updated 10 months ago
- Brzozowski derivative python sketch☆85Updated 2 months ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- a general blog about my projects, or anything☆18Updated 2 months ago
- ☆51Updated 11 months ago
- A verified tensor library in Lean☆24Updated last week
- An introduction to the J programming language that gets to the point.☆60Updated 3 weeks ago
- vertical + gpu + free join + datalog☆20Updated 3 months ago
- Reference type checker for the Lean theorem prover☆16Updated 7 years ago
- ☆53Updated 4 years ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆105Updated this week
- A formal consistency proof of Quine's set theory New Foundations☆70Updated last week