CrocSwap/integer-mult-bounds
- Total stars
- 96
- Today · UTC
- +4since 22:39 UTC
More actions
Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.
Save to My finds to follow releases and star growth. Saved in this browser.
About the project
A research repository of community proofs improving the asymptotic exponent for integer multiplication (κ > 2^-15), with certificates, Lean checks and reproducible audits.
Useful for
- Reproduce checks via make verify-pair and make verify-joint
- Study the Lean certificates and axiom audit from PR #61
- Verify recurrence assembly arithmetic with an independent script
README summarized by DeepSeek V4.1 Flash. Details may be inaccurate.
Star growth looks organic. Data as of October 8, 2026, 23:34 UTC.
The star-growth assessment does not verify whether the project is safe to run.
Stars per day
Bars show daily stars; the line is a moving average of the available history. Short histories do not yet establish a reliable usual pace. Red marks spike days.
Why it’s trending
- Star-counter measurements on 2026-10-08 (UTC), 22:39–23:23: 92 → 96 stars (+4). This is the change over that interval.
- The repository is 1 day old and already has 96 stars. With less than two weeks of history, there's no usual pace to compare the spike against yet.
- Top new repositories this week: #195.
- About 51 forks a day — people are taking the code.
- Recent forks include notable developers: @Th0rgal (539 followers), @anxkhn (396 followers).
Three GitHub discoveries in each edition
What they do, why they are gaining interest, and what to check before using them.
Editions at 10:00, 16:00, 22:00 MSK.
Numbers
- Total stars
- 96
- Today
- +4 stars measured 2026-10-08, 22:39–23:23 UTC
- Forks
- 34
- Issues and pull requests
- 111
- Watchers
- 1
- Language
- Python
- License
- Apache-2.0
- Latest release
- community-kappa-15-2026-10-08 · October 8, 2026
- Created
- October 7, 2026
- Last push
- October 8, 2026
Star trust
Growth looks organic: forks and discussion are in line with active projects, and stars arrive unevenly, the way people give them.
These are heuristics, not a verdict: we judge by the repository’s behavior, not by a list of stargazers.
Spotted in
- October 9, 2026Top new repositories this week: #150
- October 8, 2026Top new repositories this week: #195
README badge
Paste it into your README — the badge shows the current magnitude and links to this page.
[](https://gitnova.dev/en/r/CrocSwap/integer-mult-bounds)