Alternatives and similar repositories for sympy-mcp

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

• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆64Updated this week
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆119Updated this week
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆203Updated 5 months ago
• harp-lab / gdlog
  ☆83Updated 9 months ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
  ☆146Updated last month
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆132Updated 8 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆114Updated this week
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 4 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• sdiehl / usolver
  A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.
  ☆43Updated last month
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 7 months ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆178Updated 4 years ago
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆39Updated 3 months ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated last year
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆110Updated 2 weeks ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆75Updated 2 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆82Updated 3 weeks ago
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆131Updated 6 months ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆82Updated last week
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated last week
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆110Updated last year
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆18Updated last year
• HnimNart / deeplearning
  ☆53Updated 4 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆167Updated 8 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆134Updated 2 months ago
• egraphs-good / egraph-visualizer
  Interactive visualizer for e-graphs
  ☆22Updated 7 months ago
• justinmeiners / why-train-when-you-can-optimize
  Learn multi-variable optimization by creating a drawing assistant. No deep learning required!
  ☆28Updated 2 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated last month
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆107Updated 4 months ago