Skip to content
@RamanujanMachine

Ramanujan Machine

Pinned Loading

  1. RamanujanMachine RamanujanMachine Public

    Python 361 81

  2. ramanujantools ramanujantools Public

    Official symbolic and numeric research tools developed by the Ramanujan Machine research group.

    Python 12 7

  3. LIReC LIReC Public

    Library of Integer RElations and Constants

    Python 4 2

Repositories

Showing 10 of 18 repositories
  • an-infinite-family-of-apery-like-recurrences-for-eulers-constant Public

    Computational supplement for "An Infinite Family of Apéry-like Recurrences for Euler’s Constant"

    RamanujanMachine/an-infinite-family-of-apery-like-recurrences-for-eulers-constant's past year of commit activity
    Lean 1 0 0 0 Updated Nov 7, 2026
  • new-directions-in-irrationality Public

    Computational supplement for New Directions in Irrationality: reproducible Python notebooks and certificates, with links to public Lean formalization forks.

    RamanujanMachine/new-directions-in-irrationality's past year of commit activity
    Lean 1 0 0 0 Updated Nov 6, 2026
  • new_directions_notebooks Public Forked from hilabarkan1/new_directions_notebooks
    RamanujanMachine/new_directions_notebooks's past year of commit activity
    Jupyter Notebook 0 1 0 0 Updated Nov 6, 2026
  • Ramanujans-Dreams Public

    A system for modular automated exploration within Conservative Matrix Fields for formulas of universal constants and their properties.

    RamanujanMachine/Ramanujans-Dreams's past year of commit activity
    Python 0 MIT 1 19 0 Updated Oct 22, 2026
  • RD-RunMon Public

    Ramanujan's Dreams run monitor - remote and local run monitoring tool.

    RamanujanMachine/RD-RunMon's past year of commit activity
    Python 0 MIT 1 3 0 Updated Oct 22, 2026
  • meijerg_zeta3_zeta4 Public

    CMF conservation and the arithmetic of A zeta(3) + B zeta(4)

    RamanujanMachine/meijerg_zeta3_zeta4's past year of commit activity
    Lean 0 1 0 0 Updated Oct 13, 2026
  • zeta2_four_trajectory_matrices Public
    RamanujanMachine/zeta2_four_trajectory_matrices's past year of commit activity
    Lean 0 1 0 0 Updated Oct 13, 2026
  • zetas_irr Public
    RamanujanMachine/zetas_irr's past year of commit activity
    Lean 0 1 0 0 Updated Oct 13, 2026
  • ramanujantools Public

    Official symbolic and numeric research tools developed by the Ramanujan Machine research group.

    RamanujanMachine/ramanujantools's past year of commit activity
    Python 12 MIT 7 2 5 Updated Aug 5, 2026
  • RamanujanChallengeSolutions Public
    RamanujanMachine/RamanujanChallengeSolutions's past year of commit activity
    Jupyter Notebook 4 GPL-3.0 0 0 0 Updated Aug 1, 2026
View all repositories

Most used topics

Loading…