baillie-psw

Here are 3 public repositories matching this topic...

fibodevy / UnleashedPascal-BigInts

Arbitrary-precision integers, decimals and rationals for Unleashed Pascal: signed BigInt, unsigned UBigInt, BigDecimal and BigRational in one dependency-free unit, typically within 1-4x of GMP.

Updated Oct 16, 2026
Pascal

koemigg / strengthened-baillie-psw

Star

Test if a number is a probable prime using Strengthening the Baillie-PSW primality test.

javascript prime-numbers baillie-psw

Updated Jul 28, 2022
JavaScript

pCwOrM / hermes-verifiable-math

Star

Deterministic symbolic computation, certified factorization, elliptic curve invariants, and formal Lean 4 verification for Hermes Agent.

elliptic-curves sympy formal-verification symbolic-computation integer-factorization ai-agents mathematical-reasoning lean4 baillie-psw nousresearch zero-hallucination hermes-agent hermes-agent-plugin proof-certificates

Updated Nov 5, 2026
Python

Add this topic to your repo

To associate your repository with the baillie-psw topic, visit your repo's landing page and select "manage topics."

Learn more