Alternatives and similar repositories for RamanujanMachine

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

• RamanujanMachine / RamanujanMachine
  ☆347Updated 2 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆273Updated last year
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆433Updated 2 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆414Updated 2 years ago
• facebookresearch / SymbolicMathematics
  Deep Learning for Symbolic Mathematics
  ☆551Updated 4 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆302Updated last week
• google-research / tensorflow-coder
  ☆279Updated 2 years ago
• weightagnostic / weightagnostic.github.io
  repo for interactive article
  ☆459Updated 4 years ago
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆935Updated this week
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆281Updated last week
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆88Updated last year
• Ranlot / single-parameter-fit
  Real numbers, data science and chaos: How to fit any dataset with a single parameter
  ☆648Updated 3 years ago
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆253Updated last year
• 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,928Updated last year
• google-deepmind / mathematics_conjectures
  ☆381Updated 4 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆172Updated last year
• stacks / stacks-project
  Repository for the Stacks Project
  ☆984Updated this week
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆220Updated 2 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆129Updated last year
• mathematical-tours / mathematical-tours.github.io
  Site web of the Mathematical Tours
  ☆508Updated last year
• teorth / estimates
  Code to automatically prove or verify estimates in analysis
  ☆321Updated 6 months ago
• adamyedidia / parsimony
  ☆346Updated 7 years ago
• augustt198 / latex2sympy
  Parse LaTeX math expressions
  ☆405Updated 6 years ago
• eulertour / eulerv2
  A web based frontend to manim
  ☆104Updated 3 years ago
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆229Updated 2 months ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆229Updated 11 months ago
• InertialObservr / twitter_gifs
  source code for math gifs posted to twitter
  ☆128Updated 5 years ago
• skriegman / reconfigurable_organisms
  A scalable pipeline for designing reconfigurable organisms
  ☆766Updated 5 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆262Updated 9 months ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆374Updated 3 months ago