Alternatives and similar repositories for RamanujanMachine

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

• RamanujanMachine / RamanujanMachine
  ☆340Updated 2 years ago
• facebookarchive / Polygames
  The project is a platform of zero learning with a library of games.
  ☆267Updated 3 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆253Updated last year
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆434Updated last year
• google-deepmind / ferminet
  An implementation of the Fermionic Neural Network for ab-initio electronic structure calculations
  ☆773Updated last month
• Ranlot / single-parameter-fit
  Real numbers, data science and chaos: How to fit any dataset with a single parameter
  ☆646Updated 2 years ago
• InertialObservr / twitter_gifs
  source code for math gifs posted to twitter
  ☆128Updated 4 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆405Updated 2 years ago
• grey-area / complex-power-tower
  ☆14Updated last year
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆405Updated this week
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• skriegman / reconfigurable_organisms
  A scalable pipeline for designing reconfigurable organisms
  ☆766Updated 5 years ago
• LeelaChessZero / lczero
  A chess adaption of GCP's Leela Zero
  ☆388Updated 5 years ago
• QBobWatson / gt-linalg
  Interactive Linear Algebra, free online textbook at Georgia Tech
  ☆924Updated 3 years ago
• duckythescientist / SmoothLife
  Continuous Domain Game of Life in Python with Numpy
  ☆694Updated 6 months ago
• leanprover-community / mathlib3
  Lean 3's obsolete mathematical components library: please use mathlib4
  ☆1,667Updated last year
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated 5 months ago
• km-git-acc / dbn_upper_bound
  Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project
  ☆13Updated 2 years ago
• maxitg / SetReplace
  C++/Wolfram Language package for exploring set and graph rewriting systems
  ☆231Updated 4 months ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆273Updated this week
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆156Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆48Updated last month
• WolframResearch / WolframClientForPython
  Call Wolfram Language functions from Python
  ☆459Updated 10 months ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆125Updated last year
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆203Updated last year
• eulertour / eulerv2
  A web based frontend to manim
  ☆103Updated 2 years ago
• mnielsen / magic_paper
  Experiments in an explorable visual medium for mathematics
  ☆262Updated 7 years ago
• akalenuk / wordsandbuttons
  A growing collection of interactive tutorials, demos, and quizzes about maths, algorithms, and programming.
  ☆494Updated 2 weeks ago
• cdchoy / ppcc
  A Powerpoint CPU
  ☆92Updated 4 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months ago