open_gororoba. Pure-Rust computational physics workspace: Cayley-Dickson algebra (4D-16384D), multi-spacecraft heliosphere analysis, GPU lattice-Boltzmann, formal verification (262 Rocq proofs), and 1400+ tracked claims across 68 crates.

Problem

The full read on this project is a sign-in away — what it solves, who it serves, and where it sits in the market.

Audience

The full read on this project is a sign-in away — what it solves, who it serves, and where it sits in the market.

Market

The full read on this project is a sign-in away — what it solves, who it serves, and where it sits in the market.

Pricing

The full read on this project is a sign-in away — what it solves, who it serves, and where it sits in the market.