Lean formalization work extending the matrix multiplication 9/4 argument to arbitrary fields
☆30Oct 9, 2026Updated last week
Alternatives and similar repositories for matrix-multiplication-all-fields
Users that are interested in matrix-multiplication-all-fields are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 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
- ☆17Oct 11, 2026Updated last week
- Code, datasets, and results for "The Embedder's Dilemma: LLMs Are Better, but at What Cost?" (COLM 2026). MTEB(LLM) benchmarks 10 LLMs an…☆40Sep 19, 2026Updated 3 weeks ago
- Tree-based indexes for neural-search☆33Mar 4, 2024Updated 2 years ago
- ☆27Jul 16, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Реализация sklearn-based Transformer-а для Weight of Evidence преобразования☆10May 6, 2020Updated 6 years ago
- ☆13Jul 24, 2025Updated last year
- An open-source Roblox-like engine to easily create 3D multi-player environments and games for embodied agents. Implemented in Rust with T…☆37Oct 7, 2026Updated last week
- ☆14Nov 5, 2024Updated last year
- ☆31Jul 24, 2026Updated 2 months ago
- Relay support for Zed☆10Apr 4, 2026Updated 6 months ago
- Build a coding agent from scratch, one harness primitive at a time. 15 chapters (ch-00..ch-14), each green on two gates.☆79Aug 22, 2026Updated last month
- 86,420,337 lines — a 10 GB log — open in 80 ms, and 0 bytes of it live in memory. A Mac-native viewer and editor for the files that break…☆36Updated this week
- The repository provides code for the paper RECE: Reduced Cross-Entropy Loss for Large-Catalogue Sequential Recommenders, CIKM'24☆11Oct 21, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Portable Lean 4 autoformalization skills for Codex and Claude Code☆50Oct 7, 2026Updated last week
- Official code for Towards Looped Models Done Right based on xLLM☆46Oct 6, 2026Updated last week
- A ground-up, native-Rust reimplementation of the entire Lean 4 toolchain — drop-in at the binary surfaces (.olean, C ABI, LSP, CLI), dete…☆22Updated this week
- a lightweight wrapper built on comfyuis backend. no nodes, no fluff, just give generate!☆23Sep 10, 2026Updated last month
- ☆11May 27, 2021Updated 5 years ago
- ☆12Oct 19, 2020Updated 5 years ago
- Code for XPERT algorithm from Personalized Retrieval over Millions of Items☆13Sep 14, 2023Updated 3 years ago
- A living standard for a web stack that AI agents can verify, not just generate☆27Aug 28, 2026Updated last month
- ☆27Aug 12, 2026Updated 2 months ago
- 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.
- Frontier ARC-AGI-3 agent: 99.86% RHAE, all 183 levels solved for $654☆51Aug 11, 2026Updated 2 months ago
- Try the demo of WebANNS on our GitHub page!☆17Jul 14, 2025Updated last year
- EyeProlog turns portable ISO Prolog programs into answers and inspectable proofs.☆22Updated this week
- nichy is a Rust type layout and niche optimization visualizer.☆28Updated this week
- ☆14Mar 6, 2025Updated last year
- [ICML 2026] Twins: Learn to Predict Unified Representations with Focal Loss☆39Jul 26, 2026Updated 2 months ago
- ☆40Updated this week
- Efficient BM25 with DuckDB 🦆☆69Dec 20, 2024Updated last year
- The official implementation for ICML2025 paper "Supercharging Graph Transformers with Advective Diffusion"☆17Jul 2, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A tensorflow implementation of our www2020 paper "LightRec: a Memory and Search-Efficient Recommender System".☆12Jul 7, 2020Updated 6 years ago
- The event continuation language☆28Updated this week
- Official implementation of Sharpness-Aware Flow Matching☆17Jul 25, 2026Updated 2 months ago
- GPU-accelerated approximate convex decomposition for 3D meshes.☆50Sep 25, 2026Updated 3 weeks ago
- sampling.js☆10May 15, 2016Updated 10 years ago
- PC-ALM☆241Sep 8, 2026Updated last month
- Official repository for "Proxy-based Item Representation for Attribute and Context-aware Recommendation", WSDM 2024.☆12Jan 22, 2024Updated 2 years ago