Alternatives and similar repositories for RamanujanMachine

Users that are interested in RamanujanMachine are comparing it to the libraries listed below

• RamanujanMachine / RamanujanMachine
  ☆342Updated 2 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆257Updated last year
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆413Updated 2 years ago
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆251Updated last year
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆228Updated 8 months ago
• augustt198 / latex2sympy
  Parse LaTeX math expressions
  ☆404Updated 6 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆127Updated last year
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆363Updated this week
• InertialObservr / twitter_gifs
  source code for math gifs posted to twitter
  ☆128Updated 5 years ago
• google / brain-tokyo-workshop
  🧠🗼
  ☆1,277Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated last week
• grey-area / complex-power-tower
  ☆14Updated 2 years ago
• maxitg / SetReplace
  C++/Wolfram Language package for exploring set and graph rewriting systems
  ☆232Updated 3 months ago
• facebookarchive / Polygames
  The project is a platform of zero learning with a library of games.
  ☆267Updated 4 years ago
• mathigon / textbooks
  Source code of Mathigon's interactive textbooks
  ☆370Updated 7 months ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆295Updated this week
• weightagnostic / weightagnostic.github.io
  repo for interactive article
  ☆459Updated 3 years ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆434Updated 2 years ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆277Updated this week
• siyucosmo / ML-Recon
  ☆134Updated 6 years ago
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆431Updated this week
• WolframResearch / WolframLanguageForJupyter
  Wolfram Language kernel for Jupyter notebooks
  ☆1,117Updated last year
• WolframResearch / WolframClientForPython
  Call Wolfram Language functions from Python
  ☆467Updated 3 months ago
• gwroblew / Quantum-Computing-Playground
  Source code of quantumplayground.net.
  ☆108Updated 9 years ago
• ZAPPhysics / QFT_Sims
  ☆119Updated 4 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆207Updated last year
• stacks / stacks-project
  Repository for the Stacks Project
  ☆954Updated 3 weeks ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆105Updated 8 months ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆43Updated this week