Alternatives and similar repositories for RamanujanMachine

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

• RamanujanMachine / RamanujanMachine
  ☆343Updated 2 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆268Updated 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
  ☆415Updated 2 years ago
• InertialObservr / twitter_gifs
  source code for math gifs posted to twitter
  ☆128Updated 5 years ago
• weightagnostic / weightagnostic.github.io
  repo for interactive article
  ☆459Updated 3 years ago
• skriegman / reconfigurable_organisms
  A scalable pipeline for designing reconfigurable organisms
  ☆766Updated 5 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆214Updated last year
• grey-area / complex-power-tower
  ☆14Updated 2 years ago
• bollu / bollu.github.io
  code + contents of my website, and programming life
  ☆370Updated 2 weeks ago
• augustt198 / latex2sympy
  Parse LaTeX math expressions
  ☆404Updated 6 years ago
• adamisntdead / QuSimPy
  A Multi-Qubit Ideal Quantum Computer Simulator
  ☆725Updated 4 years ago
• adamyedidia / parsimony
  ☆346Updated 7 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆300Updated this week
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆88Updated last year
• eulertour / eulerv2
  A web based frontend to manim
  ☆104Updated 3 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆169Updated last year
• leanprover-community / mathlib3
  Lean 3's obsolete mathematical components library: please use mathlib4
  ☆1,667Updated last year
• nicolasloizeau / gol-computer
  A computer in Conway's game of life
  ☆173Updated last year
• duckythescientist / SmoothLife
  Continuous Domain Game of Life in Python with Numpy
  ☆699Updated 11 months ago
• spacetimeengineer / spacetimeengine
  A Python utility for analyzing a given solution to the Einstein's field equations. Built on Sympy.
  ☆155Updated 8 months ago
• teorth / estimates
  Code to automatically prove or verify estimates in analysis
  ☆318Updated 5 months ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆47Updated 2 months ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆277Updated last week
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆251Updated last year
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆123Updated last week
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆215Updated last week
• timhutton / GravityIsNotAForce
  Visualising the spacetime geodesics of general relativity
  ☆221Updated 4 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆229Updated 10 months ago
• vpj / python_autocomplete
  A simple neural network for python autocompletion
  ☆822Updated 5 years ago