Alternatives and similar repositories for RamanujanMachine

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

• RamanujanMachine / RamanujanMachine
  ☆337Updated 2 years ago
• eulertour / eulerv2
  A web based frontend to manim
  ☆102Updated 2 years ago
• anvaka / e-sum
  Visualization of exponential sums
  ☆103Updated 2 months ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆250Updated last year
• krassowski / jupyter-manim
  manim cell magic for IPython/Jupyter to show the output video
  ☆198Updated 3 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆403Updated last year
• WolframResearch / WolframClientForPython
  Call Wolfram Language functions from Python
  ☆456Updated 9 months ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆282Updated this week
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆122Updated 10 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 10 months ago
• facebookresearch / SymbolicMathematics
  Deep Learning for Symbolic Mathematics
  ☆537Updated 3 years ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆457Updated last week
• duckythescientist / SmoothLife
  Continuous Domain Game of Life in Python with Numpy
  ☆694Updated 4 months ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆434Updated last year
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆83Updated this week
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆156Updated 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,879Updated 5 months ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆196Updated last year
• leanprover / lean3
  Lean Theorem Prover
  ☆2,151Updated last year
• nicolasloizeau / gol-computer
  A computer in Conway's game of life
  ☆170Updated 5 months ago
• devosoft / avida
  ☆621Updated 4 months ago
• skriegman / reconfigurable_organisms
  A scalable pipeline for designing reconfigurable organisms
  ☆766Updated 5 years ago
• leanprover / elan
  The Lean version manager
  ☆382Updated last week
• teorth / analysis
  A Lean companion to Analysis I
  ☆558Updated this week
• copy / life
  The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife
  ☆416Updated 4 years ago
• google-research / tensorflow-coder
  ☆278Updated 2 years ago
• vpj / python_autocomplete
  A simple neural network for python autocompletion
  ☆823Updated 4 years ago
• cdchoy / ppcc
  A Powerpoint CPU
  ☆92Updated 4 years ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆337Updated this week
• augustt198 / latex2sympy
  Parse LaTeX math expressions
  ☆401Updated 5 years ago