CrocSwap on GitHub

integer-mult-bounds

Read the source on GitHub

What it does

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

Counts were observed on 27/10/2026, 23:15:40 UTC. Observations older than 36 hours are excluded from current movement rankings.

Repository at a glance

Stars
312
Forks
313
Open issues
1
Merged PRs
4,633
Commits, last 30 days
8,289
Stars, 7 days
unavailable
Stars, 30 days
unavailable

Counts observed on 27/10/2026, 23:15:40 UTC. Growth uses complete dated windows; see Methodology.

History

History: 1 observation. Movement needs 2 or more.

Project details

Language
Python
Licence
Apache-2.0
Created
Last push
Category
Security
Topics
none listed
Observed

Explore and get started

Use the project's own documentation for supported platforms, dependencies and installation steps. The README and release notes are maintained by CrocSwap.

Development context

These are observations of work in the repository. They do not establish quality, security or support commitments.

Total commits on default branch
8,289
Open pull requests
411
Closed issues, lifetime
2
Median time to close an issue
1.0 days
Median time to merge a pull request
0.0 days

Close and merge times use up to 20 most recently updated closed issues or merged pull requests. They omit unresolved work and are context, not a maintenance score. Sample limits.

Other projects in Security, ordered by shared topics and then name. These are discovery links, not equivalence claims.

Found an incorrect description or number? Send a correction with this page's address and a source.