Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.
☆281Oct 17, 2026Updated this week
Alternatives and similar repositories for integer-mult-bounds
Users that are interested in integer-mult-bounds are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆143Aug 12, 2026Updated 2 months ago
- A non-production Postgres text-search extension for exercising TIN-compatible application SQL in development, test, CI, and staging envir…☆160Oct 8, 2026Updated last week
- Desktop provider switcher for Claude Code and Codex. Keep every endpoint, API key, and model in one place, switch the active provider in …☆17Updated this week
- Prolly is a content-addressed ordered map built on prolly trees. It gives applications immutable snapshots, cheap branching, structural s…☆113Sep 13, 2026Updated last month
- Endless OMP chat with durable history and binary summary-tree memory, inspired by OptChat☆78Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- PC-ALM☆240Sep 8, 2026Updated last month
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆71Updated this week
- Halofy is the open access and governance layer for AI agents across your organization. Identity, policy, provenance, audit, and signed er…☆319Updated this week
- ☆353Oct 2, 2026Updated 2 weeks ago
- Replacing lawyers with markdown files☆396Aug 12, 2026Updated 2 months ago
- Expo SDK 57 voice app with GPT-Live 1 and AI Elements Persona.☆137Sep 15, 2026Updated last month
- An agent skill that plays ARC-AGI-3. One rule: say what an action will do before you spend it. Claude Code on Opus 5 finished all 25 publ…☆90Aug 19, 2026Updated last month
- Michael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices, in both the 3rd and …☆45Sep 26, 2026Updated 3 weeks ago
- A rust port of con-leche☆31Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Reason over explicit states, many branches at once: merge duplicates, cancel dead ends, advance together.☆181Oct 3, 2026Updated 2 weeks ago
- Megatron-LM adapted for Puro-2B☆99Aug 30, 2026Updated last month
- A simple, beautiful webhook to notification platform.☆188Oct 9, 2026Updated last week
- Reproduction code for Lattice Deduction Transformers☆42Updated this week
- Agent skill: write a Guided Review of a diff and export it as a portable HTML file (plannotator guide export)☆34Aug 17, 2026Updated 2 months ago
- Audit AI agent tool-call transcripts: hash-chain sealing, deterministic replay, and scope overreach checks. Dependency-free Python CLI.☆185Sep 14, 2026Updated last month
- make your framework hinge rusty (wow it's also written in rust too)☆57Jul 30, 2026Updated 2 months ago
- Live Migration, Snapshot/Restore for WebAssembly.☆48Oct 8, 2026Updated last week
- A standalone AI skill for creating accurate, usable developer documentation.☆82Aug 19, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Claude Code skill for MiniMax H3 shot breakdown and character performance. Facial expression only renders when the shot has a <d> dialogu…☆178Oct 3, 2026Updated 2 weeks ago
- A char-level transformer trained from scratch on an $8 ESP32-S3. Not inference: the chip runs the full training loop, with backprop writt…☆89Aug 26, 2026Updated last month
- ☆70Updated this week
- Specially crafted .tar.gz with embedded chapter boundary information☆145Aug 4, 2026Updated 2 months ago
- Types generator for your Bun.sql queries☆112Updated this week
- MTL Explorer: a self-hosted GPS track explorer for maps, stats, filtering, route planning, and photo-linked trail history.☆55Updated this week
- WebGL2 replica of Apple's Liquid Glass: squircle SDF thickness field -> Snell refraction with a meniscus rim, dispersion, variable-blur s…☆138Sep 29, 2026Updated 2 weeks ago
- A model for high-frequency mathematical intelligence.☆150Oct 6, 2026Updated last week
- Async Python wrapper for Seedance, Kling, MiniMax and Wan video generation. Supports CLI and a local web UI☆554Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- macOS menubar app that visually rotates or spins another app's window, using ScreenCaptureKit to fake what macOS has no API to do☆49Oct 9, 2026Updated last week
- Turn a Big Mouth Billy Bass into a real-time voice assistant powered by Strands BidiAgent + Amazon Nova 2 Sonic on a Raspberry Pi 5☆90Oct 6, 2026Updated last week
- Agentic browser control driven by your own Claude / Cursor subscriptions☆180Aug 15, 2026Updated 2 months ago
- Interactive terminal coding agent in Rust — runs the DeepSeek V4 Flash model locally on macOS (Metal), with a Ratatui TUI, a full tool su…☆35Updated this week
- Keyboard-driven WhatsApp client for the terminal (Rust/Ratatui + Go/whatsmeow)☆195Updated this week
- MCP server for Open and Async: AI tools to draft decision docs, run async standups, and triage sync vs. async work☆49Updated this week
- A self-hosted drop-in replacement for TypeSafe's jev, powered by GliFormer.☆303Sep 20, 2026Updated 3 weeks ago