Alternatives and similar repositories for RamanujanMachine

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

• RamanujanMachine / RamanujanMachine
  ☆338Updated 2 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆254Updated last year
• facebookresearch / SymbolicMathematics
  Deep Learning for Symbolic Mathematics
  ☆545Updated 4 years ago
• InertialObservr / twitter_gifs
  source code for math gifs posted to twitter
  ☆129Updated 5 years ago
• Ranlot / single-parameter-fit
  Real numbers, data science and chaos: How to fit any dataset with a single parameter
  ☆647Updated 2 years ago
• weightagnostic / weightagnostic.github.io
  repo for interactive article
  ☆458Updated 3 years ago
• facebookarchive / Polygames
  The project is a platform of zero learning with a library of games.
  ☆267Updated 3 years ago
• skriegman / reconfigurable_organisms
  A scalable pipeline for designing reconfigurable organisms
  ☆767Updated 5 years ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆432Updated last year
• grey-area / qcircuits
  A Python package for simulating small-scale quantum computers.
  ☆56Updated 3 years ago
• bollu / bollu.github.io
  code + contents of my website, and programming life
  ☆365Updated 2 weeks ago
• eulertour / eulerv2
  A web based frontend to manim
  ☆104Updated 2 years ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆275Updated this week
• maxitg / SetReplace
  C++/Wolfram Language package for exploring set and graph rewriting systems
  ☆231Updated last month
• mathigon / textbooks
  Source code of Mathigon's interactive textbooks
  ☆368Updated 6 months ago
• augustt198 / latex2sympy
  Parse LaTeX math expressions
  ☆403Updated 6 years ago
• antononcube / MathematicaForPrediction
  Mathematica implementations of machine learning algorithms used for prediction and personalization.
  ☆363Updated 4 months ago
• rigetti / grove
  Quantum algorithms built using pyQuil.
  ☆381Updated 3 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆410Updated 2 years ago
• grey-area / complex-power-tower
  ☆14Updated last year
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆291Updated this week
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆52Updated last week
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆163Updated last year
• approach0 / search-engine
  A math-aware search engine.
  ☆348Updated last year
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆250Updated last year
• google-deepmind / mathematics_conjectures
  ☆377Updated 3 years ago
• silq-lang / silq
  ☆634Updated this week
• krassowski / jupyter-manim
  manim cell magic for IPython/Jupyter to show the output video
  ☆198Updated 3 years ago
• Guillemdb / FractalAI
  Celular automaton-based calculus for the masses
  ☆112Updated 5 years ago
• google-deepmind / ferminet
  An implementation of the Fermionic Neural Network for ab-initio electronic structure calculations
  ☆782Updated 3 months ago