primal puts raw power into prime numbers.
APACHE-2.0 License
Common data structures and algorithms in Rust
A Rust Crate For Generating Large Prime and Composite Integers From A CSPRNG
A static verifier for Rust, based on the Viper verification infrastructure.
Bulk GCD in Rust
Algorithms, 4th Edition. Coursera MOOC. in Rust.
Slow prime-related algorithms
A FRACTRAN procedural macro for Rust