Alternatives and similar repositories for RamanujanMachine:

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

• RamanujanMachine / RamanujanMachine
  ☆334Updated 2 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆225Updated last month
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆397Updated 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,864Updated 3 months ago
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆244Updated last year
• spacetimeengineer / spacetimeengine
  A Python utility for analyzing a given solution to the Einstein's field equations. Built on Sympy.
  ☆151Updated 2 years ago
• google / brain-tokyo-workshop
  🧠🗼
  ☆1,263Updated 8 months ago
• stacks / stacks-project
  Repository for the Stacks Project
  ☆891Updated 6 months ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆188Updated last year
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆241Updated last year
• google-deepmind / spriteworld
  Spriteworld: a flexible, configurable python-based reinforcement learning environment
  ☆369Updated 4 years ago
• boazbk / tcs
  Book in preparation: introduction to theoretical computer science
  ☆948Updated last year
• google-research / tensorflow-coder
  ☆277Updated 2 years ago
• google-deepmind / dm_memorytasks
  A set of 13 diverse machine-learning tasks that require memory to solve.
  ☆221Updated 3 years ago
• vpj / python_autocomplete
  A simple neural network for python autocompletion
  ☆823Updated 4 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆275Updated this week
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆341Updated 5 months ago
• leanprover / elan
  The Lean version manager
  ☆355Updated last week
• mila-iqia / myia
  Myia prototyping
  ☆456Updated last year
• weightagnostic / weightagnostic.github.io
  repo for interactive article
  ☆456Updated 3 years ago
• facebookarchive / Polygames
  The project is a platform of zero learning with a library of games.
  ☆265Updated 3 years ago
• WolframResearch / WolframClientForPython
  Call Wolfram Language functions from Python
  ☆456Updated 7 months ago
• QBobWatson / gt-linalg
  Interactive Linear Algebra, free online textbook at Georgia Tech
  ☆922Updated 2 years ago
• ConnorJL / GPT2
  An implementation of training for GPT2, supports TPUs
  ☆1,425Updated 2 years ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆325Updated last week
• quantumlib / OpenFermion-Cirq
  Quantum circuits for simulations of quantum chemistry and materials.
  ☆276Updated 4 years ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆214Updated 2 months ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆434Updated last year
• heronsystems / adeptRL
  Reinforcement learning framework to accelerate research
  ☆204Updated 3 years ago
• openai / miniF2F
  Formal to Formal Mathematics Benchmark
  ☆342Updated last year