sdiehl / sympy-mcpLinks
A MCP server for symbolic manipulation of mathematical expressions
☆30Updated last month
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 …☆63Updated 3 months ago
- ☆82Updated 8 months ago
- A Low Barrier Proof Assistant☆113Updated this week
- A bibliography for protocol design☆37Updated 2 months ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 6 months ago
- ☆51Updated last year
- Rewriting Principia Mathematica in Lean☆132Updated 7 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- 🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/☆60Updated 2 months ago
- vertical + gpu + free join + datalog☆20Updated 4 months ago
- A probabilistic approximate DNF counter☆37Updated 3 weeks ago
- Brzozowski derivative python sketch☆85Updated 2 months ago
- ☆53Updated 4 years ago
- An introduction to the J programming language that gets to the point.☆62Updated last month
- a categorical deep learning compiler☆202Updated 3 months ago
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆114Updated 2 weeks ago
- a general blog about my projects, or anything☆18Updated 2 months ago
- A verified tensor library in Lean☆26Updated last week
- A reference implementation of GPT-2 in Python, for teaching ML compilers☆14Updated this week
- This library provides an implementation of the DBSP language for incremental streaming computations.☆129Updated 4 months ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆107Updated this week
- Datalog + Egg = Good☆66Updated 2 years ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆45Updated 2 years ago
- Reference counting with linear types☆31Updated 11 months ago
- LD_PRELOADable library for exploring the glibc heap☆107Updated 3 months ago
- Reproduction Package for the paper "back arrowBack to Author Console Type-Constrained Code Generation with Language Models" [PLDI 2025]☆55Updated 2 weeks ago
- ☆18Updated last month
- Class of data structures that can be unfolded.☆22Updated last year