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 …
  ☆62Updated 2 months ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆110Updated this week
• harp-lab / gdlog
  ☆82Updated 7 months ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 5 months ago
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆36Updated last month
• sdiehl / tiny-gpt2
  A reference implementation of GPT-2 in Python, for teaching ML compilers
  ☆12Updated 2 weeks ago
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated last year
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆200Updated 3 months ago
• bobatkey / CS316-2022
  Materials for the 2022-2023 edition of CS316 "Functional Programming"
  ☆24Updated 2 years ago
• teorth / erdos-guy-selfridge
  Project to verify the Guy-Selfridge conjectures
  ☆17Updated this week
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated last month
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆128Updated 6 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated 11 months ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆17Updated 10 months ago
• madvorak / read-lean
  How to read Lean
  ☆17Updated 4 months ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆47Updated last week
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆15Updated 10 months ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 2 months ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• barry-jay-personal / blog
  a general blog about my projects, or anything
  ☆18Updated 2 months ago
• Dicklesworthstone / grassmann_article
  ☆51Updated 11 months ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆24Updated last week
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆60Updated 3 weeks ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 3 months ago
• dselsam / tc
  Reference type checker for the Lean theorem prover
  ☆16Updated 7 years ago
• HnimNart / deeplearning
  ☆53Updated 4 years ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆105Updated this week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆70Updated last week