CrocSwap/integer-mult-bounds

PythonApache-2.0activerising

Health

Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.

Stars260

Forks265

Open Issues592

Contributors265

Last Push0d ago

Health Breakdown

Activity

Community

Maintenance

Should you contribute to CrocSwap/integer-mult-bounds?

CrocSwap/integer-mult-bounds has a FoundDev health score of 75/100, which puts it in the active-and-maintained tier. The maintainer team is shipping recently, issues are being closed, and a PR you open this week has a realistic chance of being reviewed.

Last push was 0 days ago — that signals an actively maintained project. New issues are likely to get a maintainer response within days. The project is written primarily in Python, so prior Python experience will shorten ramp-up.

Licensed under Apache-2.0, a standard OSI-approved license — safe to contribute to under normal employer IP policies.