Topological Fixed-Point Theory: a machine-checked discrete compiler for the Standard Model, α⁻¹, and cosmology from two axioms. Papers, verification suite (Python/Wolfram/Lean), experiments & website.
Source code of the Theoretical Physics Reference online book
Pointing to the Moon, my personal website.
MOTO Autonomous ASI Deep Research Harness by Intrafere - creative novelty-seeking researcher with autonomous Lean 4 proof generation. For S.T.E.M. users; run for days at a time once pressing start - no interaction needed! Agents working in parallel from either local host LM studio, OpenRouter, OAuth or all 3. No internet needed. Star us for more!
My notes from the theoretical physics degree at Edinburgh University
Free learning materials in theoretical physics, quantum mechanics, and quantum computing.
A Python package for analyzing the Hofstadter model.
A unified platform for theoretical and computational chemists
A project of which target is to reedit the English version of Course of Theoretical Physics Volume 3: Quantum Mehchanics (non-relativistic theory) by L. D. Landau.
The lecture notes of Professor Leonard Susskind.
TransitionListener is a python code for computing the gravitational wave background produced in cosmological phase transitions.
Textbook recommendations for studying mathematics and theoretical physics.
Repository for the article "Group Theory in Physics - An Introduction with Mathematica", EPJ Special Topics (2024)
A set of autonomous Mathematica programs which explore the chaos in Gauss-Bonnet black holes, Reissner-Nordstrom black holes, Schwarzschild black holes, Born-Infeld black holes and hyper scale violating manifolds in Anti de-Sitter space.
Leymosun Science: Quantum Research Toolkit
AITP Research Charter and Protocol: a charter-first protocol, contract, and adapter surface for AI-assisted theoretical physics research.
Spectral Causal Theory: derivations, verification, analysis, and publications.
Single-observer computational model of reality, exploring novel ways of approaching the 'mysteries' of current scientific models. Informs Web4 and SAGE with MRH, fractal emergence analysis, and other concepts..
Computes representation matrices for Lie groups
A Mathematica package to derive functional equations from zero to numerical code.
Add a description, image, and links to the theoretical-physics topic page so that developers can more easily learn about it.
To associate your repository with the theoretical-physics topic, visit your repo's landing page and select "manage topics."