cayley-dickson

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.

rust algebra computational-physics gpu-computing formal-verification lattice-boltzmann cayley-dickson heliophysics

Updated Apr 16, 2026
Rust

Improve this page

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

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

cayley-dickson

Here are 6 public repositories matching this topic...

discretegames / hypercomplex

thoppe / Cayley-Dickson

meirizarrygelpi / CayleyDickson.jl

ogeagla / clj-hypercomplex

doppelgenkan / CayleyDicksonAlgebra

Oichkatzelesfrettschen / open_gororoba

Improve this page

Add this topic to your repo