Integer multiplication below n log n: a conditional witness kappa = 6685733/10^10 (> 2^-11) for T(n) = O(n (log n)^(1-kappa)) in the multitape model, building on OpenAI's problem and Colkitt's integer-mult-bounds: certificates, independent replays, Lean 4 checks
☆27Oct 11, 2026Updated last week
Alternatives and similar repositories for integer-mult-kappa
Users that are interested in integer-mult-kappa are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Terminal User Interface to help debugging programs written for Triton VM.☆11May 11, 2026Updated 5 months ago
- ☆12Dec 12, 2025Updated 10 months ago
- string diagrams for the working programmer☆16Jul 17, 2023Updated 3 years ago
- Structured decompositions!☆15Mar 26, 2025Updated last year
- Einsum Expressions in Julia☆15Aug 2, 2025Updated last year
- 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.
- Solver for sparse matrix cone programs☆16Mar 2, 2026Updated 7 months ago
- A collection of functions written in Triton VM assembly (tasm)☆12Sep 29, 2026Updated 3 weeks ago
- Bayesian inference on wiring diagrams.☆18Sep 28, 2023Updated 3 years ago
- Computation graphs for matrix functions☆18Oct 6, 2026Updated 2 weeks ago
- ☆15Jun 14, 2025Updated last year
- NCTSSOS is a non-commutative polynomial optimization tool based on the moment-SOHS hierarchy.☆15Jun 26, 2026Updated 3 months ago
- Julia package for learning cellular sheaf Laplacians☆17Apr 21, 2021Updated 5 years ago
- Vecchia approximations for Gaussian log-likelihoods☆18Updated this week
- ☆20Apr 19, 2026Updated 6 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Tropical Numbers☆17Nov 2, 2025Updated 11 months ago
- Writing tasm with Rust syntax☆16Aug 27, 2026Updated last month
- ☆14Feb 15, 2022Updated 4 years ago
- ☆18Jan 24, 2023Updated 3 years ago
- Probabilistic programming for latent Gaussian models in Julia. INLA, TMB, and HMC-Laplace, all in one.☆50Updated this week
- A Kaspa pool using rusty-kaspa by WASM bindings.☆10Aug 1, 2024Updated 2 years ago
- A BitTorrent daemon☆19Jul 29, 2026Updated 2 months ago
- Library for chordal matrix computations☆24Mar 2, 2026Updated 7 months ago
- Community-curated record of math problems solved by AI - significance rankings, verification labels, CC BY 4.0 dataset☆30Oct 15, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Implementation of the tree width algorithms.☆19Nov 24, 2025Updated 10 months ago
- Automated discovery of optimal branching rules for the branch-and-bound algorithm☆19Sep 14, 2026Updated last month
- A GPU built from scratch which can render graphics and train ML models☆15Jul 4, 2026Updated 3 months ago
- Audio to Midi Onset Trigger LV2 Plugin☆11May 11, 2023Updated 3 years ago
- A constant/linear throughput load generator in Zig ⚡☆23Oct 10, 2026Updated last week
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated 2 weeks ago
- GPU-accelerated native charting library inspired by Lightweight Charts, built on Vello + wgpu☆18Jul 12, 2026Updated 3 months ago
- Lira is a declarative domain-specific language designed to be the backbone of financial contracts that can be executed on the blockchain☆21Jul 14, 2023Updated 3 years ago
- ☆26Mar 2, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Local-first tool that strips emails, secrets, paths, and other identifying content out of your prompts before they reach a cloud LLM — an…☆23Oct 7, 2026Updated 2 weeks ago
- A local MCP server for cross-repository semantic code intelligence in TypeScript and Go, backed by a persistent LadybugDB graph.☆22Updated this week
- calfNXT - successor of Calf Studio Gear☆33Oct 13, 2026Updated last week
- Bayesian inference on spatial and spatiotemporal data, faster than you can say "Cholesky!"☆29Sep 7, 2026Updated last month
- [WIP] Claude Skills for Political Scientists☆26Jul 8, 2026Updated 3 months ago
- C++ FreeVerb implementation in STK☆15Apr 22, 2012Updated 14 years ago
- Formalizing the Intel 4004 microprocessor☆26Jul 14, 2026Updated 3 months ago