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
  ☆255Updated last year
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆411Updated 2 years ago
• InertialObservr / twitter_gifs
  source code for math gifs posted to twitter
  ☆129Updated 5 years ago
• dselsam / certigrad
  Bug-free machine learning on stochastic computation graphs
  ☆396Updated 6 years ago
• eulertour / eulerv2
  A web based frontend to manim
  ☆104Updated 2 years ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆276Updated this week
• maxitg / SetReplace
  C++/Wolfram Language package for exploring set and graph rewriting systems
  ☆231Updated 2 months ago
• grey-area / complex-power-tower
  ☆14Updated last year
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆433Updated last year
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆250Updated last year
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆228Updated 7 months ago
• facebookarchive / Polygames
  The project is a platform of zero learning with a library of games.
  ☆267Updated 3 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆163Updated last year
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆421Updated last week
• google-research / tensorflow-coder
  ☆278Updated 2 years ago
• stacks / stacks-project
  Repository for the Stacks Project
  ☆951Updated last week
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆358Updated 11 months ago
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆905Updated this week
• google / TensorNetwork
  A library for easy and efficient manipulation of tensor networks.
  ☆1,854Updated 2 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆206Updated last year
• NeuralMMO / client
  3D Client for https://github.com/neuralmmo/environment
  ☆224Updated last year
• WolframResearch / WolframClientForPython
  Call Wolfram Language functions from Python
  ☆465Updated 2 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated 3 weeks ago
• skriegman / reconfigurable_organisms
  A scalable pipeline for designing reconfigurable organisms
  ☆767Updated 5 years ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆473Updated 2 months ago
• spacetimeengineer / spacetimeengine
  A Python utility for analyzing a given solution to the Einstein's field equations. Built on Sympy.
  ☆154Updated 5 months ago
• rigetti / grove
  Quantum algorithms built using pyQuil.
  ☆381Updated 3 years ago
• weightagnostic / weightagnostic.github.io
  repo for interactive article
  ☆458Updated 3 years ago