#

unification-theory

Here are 3 public repositories matching this topic...

engboris / stellogen

An experimental language exploring computation and meaning through term unification, with logic-agnostic types.

logic verification proof-assistant type-theory formal-methods logic-programming optional-typing formal-specification transcendental-syntax unification-theory

Updated Oct 20, 2025
OCaml

dut

grauvision / dut

Discrete Unification Theory

quantum-mechanics cosmology tud general-relativity relativity dut gravity-model unified-model discrete-theory discrete-unification-theory teoria-de-la-unificacion-discreta unification-theory non-commutative

Updated May 10, 2025
TeX

notfundamental / GRTT-Strong-Lensing-HFF

Contains the COLAB notebook and datasets for Gravity Resonance Threshold Theory paper.

gravity harmonics strong-lensing unification-theory

Updated Oct 10, 2025
Jupyter Notebook

Improve this page

Add a description, image, and links to the unification-theory topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the unification-theory topic, visit your repo's landing page and select "manage topics."