CrocSwap/integer-mult-bounds
Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.
- Stars
- 303
- Forks
- 309
- Open issues
- 2
- Last push
- today
About integer-mult-bounds
integer-mult-bounds is a free, open-source AI developer tool by CrocSwap, written mainly in Python. Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework. It has 303 GitHub stars and 309 forks, and was last updated today. It's released under the Apache-2.0 license, a standard open-source license.
- License
- Apache-2.0
- Language
- Python
- Stars
- 303
- Last update
- today
- Runs on Mac
- Not stated
- GPU
- Not stated
- Paid API key
- Not stated
- Self-hostable
- Not stated
Similar free tools
deepeval19k stars · The LLM Evaluation Framework
mediapipe37k stars · Cross-platform, customizable ML solutions for live and streaming media.
solon2.8k stars · 🔥 Java enterprise application development framework for full scenario: Restrained, Efficient, Open, Ecologicalll!!! 700% higher concurrency 50% memory savings Startup is 10 times faster. Packing 90%
mcp-framework931 stars · The Typescript MCP Framework
lm-evaluation-harness14k stars · A framework for few-shot evaluation of language models.
eino13k stars · The ultimate LLM/AI application development framework in Go.
Discussions
integer-mult-bounds FAQ
Is integer-mult-bounds free?
Yes. integer-mult-bounds is open source and free to use. It's released under the Apache-2.0 license, a standard open-source license.
Does integer-mult-bounds run on a Mac?
The project doesn't say. Check its installation guide before you start.
Does integer-mult-bounds need a GPU?
The project doesn't state hardware needs. AI models generally run much faster with a GPU.
Is integer-mult-bounds still maintained?
Yes. It was last updated today and has 2 open issues on GitHub.
What are alternatives to integer-mult-bounds?
Similar free, open-source tools include deepeval, mediapipe, solon, mcp-framework.