Skip to content
#

worm-attestation

Star

Here are 2 public repositories matching this topic...

SNAPKITTYWEST / sov-kernel-monster

Star 2

Sovereign Quantum Computer — QATAAUM compiler (OpenQASM 2/3, 9-level IR, SABRE) + execution kernel (Fortran 2018, MLIR, ARM64 SVE2, AVX-512, PTX). Jordan Spectral Transformer. Lean 4 formally verified. Blake3+Ed25519 WORM. FSL-1.1.

fortran formal-verification quantum-compiler quantum-computer sovereign openqasm mlir lean4 jacobian-conjecture born-rule snapkitty zero-sorry jordan-spectral-transformer worm-attestation qataaum
  • Updated Jul 25, 2026
  • Rust

Improve this page

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

Learn more