Improved exponent bounds for the exact discrete Fourier transform, building on OpenAI Math Problem #130.
☆18Oct 13, 2026Updated 2 weeks ago
Alternatives and similar repositories for fourier-transform-below-nlogn
Users that are interested in fourier-transform-below-nlogn are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean 4 formalization (work in progress) of O(n log n · log^(-ε) n) integer multiplication on a multitape Turing machine☆28Updated this week
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated 3 weeks ago
- Many-body objects for quantum computing: a Julia implementation☆12Jun 23, 2025Updated last year
- One-menu RTX 5090 installer for the abliterated Qwen3.8-Flash-Next on fngine: pinned build with isolated CUDA, verified download, serving…☆13Oct 15, 2026Updated last week
- An install script to install Gnu Radio and BladeRF on a Raspberry Pi☆15Nov 4, 2023Updated 2 years ago
- 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.
- A semidefinite programming solver for clustered low-rank SDPs☆17Oct 8, 2026Updated 2 weeks ago
- repository for the collaborative formalization seminar in Analysis in Bonn☆12May 1, 2026Updated 5 months ago
- Duality theory in linear optimization and its extensions☆12Feb 26, 2026Updated 8 months ago
- Documents related to an attempt with Levent Alpoge to get Claude to finish Balaban's program to construct Yang--Mills. (Under constructio…☆57Updated this week
- Formalization of de Rham cohomologies of a smooth manifold☆11Jun 4, 2025Updated last year
- Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 …☆310Updated this week
- Auxiliary tasks for task-oriented dialogue systems. Published in ICNLSP'22 and indexed in the ACL Anthology.☆17Feb 27, 2023Updated 3 years ago
- Python wrapper for extracting information from Scirate☆13Jul 21, 2023Updated 3 years ago
- Simple JS "transform" tool that will call window.close or process.exit when TAP output is complete☆17Dec 29, 2014Updated 11 years ago
- 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.
- ASCI Summer Research Lean☆11Oct 17, 2026Updated last week
- FlashInfer: Kernel Library for LLM Serving (Windows build & kernels)☆20Oct 13, 2026Updated last week
- Pluck a property out of an object in an Array.prototype callback☆14Jul 12, 2016Updated 10 years ago
- multiplatform clipboard for zig☆11May 12, 2026Updated 5 months ago
- ☆12Jul 8, 2024Updated 2 years ago
- A YAML editor for the modern Kirby games☆13Aug 23, 2025Updated last year
- A WIP level editor for Kirby: Star Allies☆11Dec 8, 2022Updated 3 years ago
- Virtual Machine, quantum computational super set of a MOS 6502 emulator.☆13Dec 11, 2021Updated 4 years ago
- "Explaining Attention with Program Synthesis" | Work to reproduce analyzing and replacing attention heads from MIT LINGO '25 Summer Resea…☆23Oct 2, 2026Updated 3 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Public challenge to find optimal qLDPC codes.☆38Updated this week
- 3DS Userland Exploit for VVVVVV v1.0☆15May 1, 2016Updated 10 years ago
- Node module for downloading and caching webpages for fast future retrieval☆11Dec 7, 2022Updated 3 years ago
- GPG key integration for Blockstack client applications☆10Aug 1, 2017Updated 9 years ago
- [DEPRECATED] A key system for hierarchical deterministic (HD / BIP32) keychains☆10May 2, 2017Updated 9 years ago
- Light cross-platform launcher for Google Chrome☆20Nov 29, 2021Updated 4 years ago
- Functions for simulatin quantum computing in GNU Octave and Matlab☆13Feb 22, 2022Updated 4 years ago
- One-sided verification under limited expert review: audited review of solutions and papers (mathematics for now).☆30Updated this week
- An ES6 template tag which escapes parameters for interpolation into shell commands☆14Jan 6, 2023Updated 3 years 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.
- ☆30Oct 13, 2026Updated last week
- Research: vGPU unlock on consumer NVIDIA RTX 5090 (Blackwell/GB202). 19 binary patches, full CPU-side pipeline working, GSP firmware bloc…☆29Apr 1, 2026Updated 6 months ago
- Power series arithmetic in Lean☆13Nov 22, 2025Updated 11 months ago
- End-to-end encrypted file sharing with Blockstack☆11Mar 6, 2017Updated 9 years ago
- A pure-Python implementation of RFC8785 (JSON Canonicalization Scheme)☆14Updated this week
- Web front-end for NYC's Reported app for reporting dangerous drivers to 311, at http://reported.nyc, social media account at https://bsky…☆12Updated this week
- Personal Blog☆12Updated this week