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
  ☆265Updated last year
• mathigon / textbooks
  Source code of Mathigon's interactive textbooks
  ☆373Updated 9 months ago
• facebookarchive / Polygames
  The project is a platform of zero learning with a library of games.
  ☆267Updated 4 years ago
• facebookresearch / SymbolicMathematics
  Deep Learning for Symbolic Mathematics
  ☆549Updated 4 years ago
• grey-area / complex-power-tower
  ☆14Updated 2 years ago
• eulertour / eulerv2
  A web based frontend to manim
  ☆104Updated 3 years ago
• QBobWatson / gt-linalg
  Interactive Linear Algebra, free online textbook at Georgia Tech
  ☆936Updated 3 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
• maxitg / SetReplace
  C++/Wolfram Language package for exploring set and graph rewriting systems
  ☆236Updated 4 months ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆432Updated 2 years ago
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆251Updated last year
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆415Updated 2 years ago
• stacks / stacks-project
  Repository for the Stacks Project
  ☆976Updated last month
• boazbk / tcs
  Book in preparation: introduction to theoretical computer science
  ☆986Updated last year
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆110Updated 10 months ago
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆117Updated last week
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆371Updated last month
• dcernst / dcernst.github.io
  Personal webpage
  ☆52Updated 2 weeks ago
• stephencwelch / Imaginary-Numbers-Are-Real
  Code To Accompany YouTube Series Imaginary Numbers Are Real
  ☆297Updated 6 years ago
• WolframResearch / WolframClientForPython
  Call Wolfram Language functions from Python
  ☆471Updated 5 months ago
• WolframResearch / WolframLanguageForJupyter
  Wolfram Language kernel for Jupyter notebooks
  ☆1,126Updated last year
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆925Updated last week
• adamyedidia / parsimony
  ☆345Updated 7 years ago
• approach0 / search-engine
  A math-aware search engine.
  ☆349Updated 2 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆47Updated last month
• QBobWatson / ila
  Interactive Linear Algebra
  ☆745Updated 2 years ago
• ZAPPhysics / QFT_Sims
  ☆120Updated 5 years ago