mathematical-physics

Observer Patch Holography is a mathematically explicit approach to reconstructing physics from observers. Its executable model connects local repair to quantum measurements, clocks, and smooth effective spacetime, bringing a unified account of physics within reach.

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.

a payment application intended for deployment by the united states treasury that replaces banking with accounting

Collaborative, open-source notes on mathematical physics with Obsidian.md

A suite of tools for solving Nonlinear Schrodinger equations via higher-order algorithms and Darboux transformations.

Useful programs for orbital mechanics

The mass gap over the compact simple groups

A Python package for analyzing the Hofstadter model.

Software for computations with tensor categories

Mathematica package for calculating polynomial integrals over the unitary group

Arquivo de pesquisa interdisciplinar do Laboratório Tamesis sobre informação, geometria, sistemas complexos e cognição, com distinção rigorosa entre hipóteses e evidências.

From Chirality to the Standard Model. Paper, LaTeX source, and an executable notebook with exact verification and Lean proofs.

Deriving the Standard Model from a single finite geometry with zero free parameters

Repository for the article "Group Theory in Physics - An Introduction with Mathematica", EPJ Special Topics (2024)

From topology to first principles.

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.

Adèlic spectral frameworks for computational number theory: exploring exact discrete bounds for pattern avoidance via CP-SAT, and quantum-physical realizations of automorphic L-function zeros.

EpiSimulator: A Data-Driven Stochastic Hybrid Model for COVID-19 in Italy.

Hamiltonian Gauge Gravity Surveyor (HiGGS). Tools for Hamiltonian constraint, canonical and Dirac-Bergmann analysis of gravity theories with spacetime curvature and torsion.

Source code for my blog on physics, mathematics and philosophy