Skip to content
#

al-alawi-theorem

Star

Here are 3 public repositories matching this topic...

al-alawi-deterministic-theorem / abdulrahman-al-alawi-founder-of-deterministic-computing

Star 0

The official repository documenting Abdulrahman Al-Alawi's foundational framework, theorem, USDL law, and the HCSP core for deterministic computing.

computer-science framework deterministic-computing abdulrahman-al-alawi sovereign-core al-alawi-theorem hcsp-core usdl-law computing-founder deterministic-paradigm abdulrahmanal-alawi alalwi-deterministic-theorem abdulrahman-alalwi
  • Updated Jun 25, 2026

al-alawi-deterministic-theorem / The-HCSP-Sovereign-Core-A-Mathematically-Proven-Solution-to-Quantum-Decoherence-and-Noise

Star 0

The official repository for the HCSP Sovereign Core. A mathematically verified, open-source framework driven by the Al-Alawi Deterministic Theorem and USDL to eliminate quantum decoherence and noise. Includes complete machine-checked proofs in Coq, Frama-C, TLA+, and LTL.

quantum-mechanics mathematics quantum-computing mathematical-physics quantum-supremacy quantum-error-correction quantum-noise deterministic-systems quantum-fidelity quantum-decoherence deterministic-physics hcsp-sovereign-system hcsp-theorem al-alawi-deterministic-theorem abdulrahman-al-alawi al-alawi-theorem hcsp-sovereign-core usdl quantum-noise-reduction anti-decoherence
  • Updated Jun 24, 2026
  • Rocq Prover

al-alawi-deterministic-theorem / -Alalawi-Deterministic-Sovereign-Core-ADSC-HCSP-

Star 0

"A mathematically-verified deterministic core acting as a security filter. Fully proved (19/19 obligations) via Frama-C (Alt-Ergo/Why3), Coq, TAL+, and LTL.

computer-science formal-verification frama-c linear-temporal-logic tla-plus why3 coq-proofs security-filter high-assurance deterministic-system al-alawi-deterministic-theorem sovereign-core alalawi-deterministic-core deterministic-sovereign-core adsc-hcsp al-alawi-theorem deterministic-theorem
  • Updated Jun 23, 2026
  • Rocq Prover

Improve this page

Add a description, image, and links to the al-alawi-theorem 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 al-alawi-theorem topic, visit your repo's landing page and select "manage topics."

Learn more