integer-mult-bounds anxkhn · COMPLETED
Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.
github.com/anxkhn/integer-mult-bounds · ★ 0 · Forks 0 · Size 27.3 MB
SUMMARY
Technologies 9
Scored 9
Observed 9
Practices 6
Evidence 9
Skips 0
COVERAGE
Analyzed 1460 files · 99 commits · 0 API calls
TECHNOLOGIES & DEPTH
PowerShell LANGUAGE Depth 70
2 files · PRODUCTION
C++ LANGUAGE Depth 70
38 files · PRODUCTION
JSON LANGUAGE Depth 70
412 files · PRODUCTION
Markdown LANGUAGE Depth 70
172 files · PRODUCTION
TOML LANGUAGE Depth 70
2 files · PRODUCTION
YAML LANGUAGE Depth 70
4 files · PRODUCTION
Python LANGUAGE Depth 70
468 files · PRODUCTION
NumPy LIBRARY Depth 81
8 files · PRODUCTION
TypeScript LANGUAGE Depth 85
24 files · PRODUCTION, TEST
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2026-10-07
Last commit 2026-10-08
Active months 1
Commits 99