tigantic/physics-os: The Planetary Operating System for Physics Computation — 3.27M SLOC · 19 Languages · 20 Industries · Lean 4 + Halo2 ZK + Ed25519 Trustless Certificates · O(log N) QTT Compression · 4.4×10¹² DOF on Commodity Hardware
Language: Python
Topics: cfd, computational-physics, ed25519, exascale, formal-verification, gpu-computing, halo2, hpc, lean4, mcp-server, navier-stokes, physics-simulation, qtt, quantum-inspired, rust, scientific-computing, tensor-networks, tensor-train, trustless, zero-knowledge-proofs
Category: mathematical-computation-mcp