Alternatives and similar repositories for RamanujanMachine

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

• RamanujanMachine / RamanujanMachine
  ☆339Updated 2 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆253Updated last year
• facebookarchive / Polygames
  The project is a platform of zero learning with a library of games.
  ☆268Updated 3 years ago
• facebookresearch / SymbolicMathematics
  Deep Learning for Symbolic Mathematics
  ☆545Updated 3 years ago
• duckythescientist / SmoothLife
  Continuous Domain Game of Life in Python with Numpy
  ☆695Updated 7 months ago
• google-research / tensorflow-coder
  ☆278Updated 2 years ago
• skriegman / reconfigurable_organisms
  A scalable pipeline for designing reconfigurable organisms
  ☆766Updated 5 years ago
• google-deepmind / mathematics_dataset
  This dataset code generates mathematical question and answer pairs, from a range of question types at roughly school-level difficulty.
  ☆1,890Updated 7 months ago
• eulertour / eulerv2
  A web based frontend to manim
  ☆103Updated 2 years ago
• approach0 / search-engine
  A math-aware search engine.
  ☆348Updated last year
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆408Updated 2 years ago
• WolframResearch / WolframClientForPython
  Call Wolfram Language functions from Python
  ☆465Updated 3 weeks ago
• augustt198 / latex2sympy
  Parse LaTeX math expressions
  ☆403Updated 6 years ago
• weightagnostic / weightagnostic.github.io
  repo for interactive article
  ☆458Updated 3 years ago
• InertialObservr / twitter_gifs
  source code for math gifs posted to twitter
  ☆129Updated 4 years ago
• Strilanc / Quirk
  A drag-and-drop quantum circuit simulator that runs in your browser. A toy for exploring and understanding small quantum circuits.
  ☆1,005Updated last year
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆433Updated last year
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆354Updated 9 months ago
• maxitg / SetReplace
  C++/Wolfram Language package for exploring set and graph rewriting systems
  ☆231Updated 3 weeks ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆288Updated this week
• nicolasloizeau / gol-computer
  A computer in Conway's game of life
  ☆171Updated 7 months ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆161Updated last year
• vpj / python_autocomplete
  A simple neural network for python autocompletion
  ☆823Updated 5 years ago
• google-deepmind / mathematics_conjectures
  ☆375Updated 3 years ago
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆250Updated last year
• stephencwelch / Imaginary-Numbers-Are-Real
  Code To Accompany YouTube Series Imaginary Numbers Are Real
  ☆293Updated 5 years ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆273Updated last week
• ZAPPhysics / QFT_Sims
  ☆119Updated 4 years ago
• mathigon / textbooks
  Source code of Mathigon's interactive textbooks
  ☆368Updated 5 months ago