Popular repositories Loading
-
umst-prototype
umst-prototype PublicUMST: Physics-Gated AI for Material Design - Hybrid AI framework enforcing thermodynamic constraints for cementitious materials
Rust 2
-
umst-formal
umst-formal PublicFormal verification and categorical semantics for the Unified Material-State Tensor (UMST) — Agda, Coq, Lean 4, Haskell QuickCheck
Agda 2
-
umst-prototype-2a
umst-prototype-2a PublicUMST Prototype 2a: Epistemic Sensing Architecture for Physics-Constrained Material Characterization (CC-BY-4.0)
Rust 1
-
umst-formal-double-slit
umst-formal-double-slit PublicThe universe charges rent for knowing. Each bit of which-path information exacts an irreversible thermodynamic toll — and the interference pattern pays the price. Formally verified across Lean 4, C…
Lean 1
Repositories
- umst-formal-double-slit Public
The universe charges rent for knowing. Each bit of which-path information exacts an irreversible thermodynamic toll — and the interference pattern pays the price. Formally verified across Lean 4, Coq, Agda & Haskell. Zero sorry. 515 theorems. No exits.
tytolabs/umst-formal-double-slit’s past year of commit activity - umst-prototype-2a Public
UMST Prototype 2a: Epistemic Sensing Architecture for Physics-Constrained Material Characterization (CC-BY-4.0)
tytolabs/umst-prototype-2a’s past year of commit activity - umst-prototype Public
UMST: Physics-Gated AI for Material Design - Hybrid AI framework enforcing thermodynamic constraints for cementitious materials
tytolabs/umst-prototype’s past year of commit activity - umst-formal Public
Formal verification and categorical semantics for the Unified Material-State Tensor (UMST) — Agda, Coq, Lean 4, Haskell QuickCheck
tytolabs/umst-formal’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…