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.