GitHub (MIT): https://github.com/danielcota/biski64

Highlights:

* ~0.40 ns/call. 100%+ faster than xoroshiro128++.

* Easily passes BigCrush and PractRand (64TB).

* Invertible and proven injective via Z3 Prover.

* Scaled down versions show even better mixing efficiency than well respected PRNGs like JSF.

* Minimum 2^64 period and parallel streams - through the use of a 64-bit Weyl sequence.

* no_std compatible in Rust (implements RngCore) and requires only stdint.h in C.

Seeking feedback on design, use cases, and further testing.