Primality Testing
3 projects
Showing 3 of 3 projects
CoqPrimeRocq Prover
A Coq library for certifying primality using Pocklington and Elliptic Curve certificates, with efficient modular arithmetic.
#mathematics#coq#theorem-proving
Stars43
Forks17
Last commit1 month ago
micro-rsa-dsa-dhTypeScript
Minimal JavaScript implementation of classic public-key cryptography algorithms: RSA, DSA, Diffie-Hellman, and ElGamal.
#public-key-crypto#dh#rsa
Stars23
Forks2
Last commit1 month ago
primes-utilsRuby
A Ruby gem providing extremely fast methods for prime number testing, generation, and factorization.
#mathematics#miller-rabin#ruby-3
Stars3
Forks1
Last commit6 months ago
Related Tags
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.