New results and AI-powered research on the square packing problem
☆48Nov 7, 2026Updated this week
Alternatives and similar repositories for squares
Users that are interested in squares are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A proof that Z is Diophantine in Q.☆46Updated this week
- ☆29Updated this week
- Tools for writing good AI generated papers☆18Oct 24, 2026Updated 2 weeks ago
- Lean formalization of the smooth and topological Poincare conjectures following Morgan and Tian.☆14Oct 5, 2026Updated last month
- ☆11Jan 5, 2025Updated last year
- 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.
- Towers of category constructors☆13Updated this week
- Lean formalization of bounded gaps between primes☆48Aug 18, 2026Updated 2 months ago
- Formally Verified X.509 Certificate Validation☆18Nov 19, 2025Updated 11 months ago
- What C# can do for studying Finite Groups, quotient groups, semi-direct products, homomorphisms, automorphisms group, characters table, m…☆15Updated this week
- ☆19Oct 28, 2026Updated last week
- ☆16Jun 28, 2026Updated 4 months ago
- A general geometry library in LEAN 4.☆83Oct 10, 2026Updated 3 weeks ago
- ☆12Aug 19, 2026Updated 2 months ago
- ☆18Oct 15, 2026Updated 3 weeks 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.
- Benchmarking coding agents on formalized undergraduate research problems☆25Oct 25, 2026Updated 2 weeks ago
- The Astro adapter for cats☆11Jul 26, 2025Updated last year
- A training codebase for Zeroth-Order Optimization☆14Updated this week
- An external lean checker with a proof of consistency☆146Updated this week
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆15Jul 6, 2023Updated 3 years ago
- ☆23Oct 18, 2026Updated 3 weeks ago
- NVFP4 KV cache for vLLM on SM120 (RTX PRO 6000) via FlashInfer FA2 explicit-SF-stride patch — ~1.5x fp8 pool at ~95-104% speed☆20Jun 5, 2026Updated 5 months ago
- JEV-guided context compaction for OpenCode. Prune stale tool history instead of rewriting conversations with an LLM.☆15Oct 26, 2026Updated last week
- A formal proof of an exponentially better upper bound on Ramsey numbers☆19Oct 22, 2023Updated 3 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.
- ☆267Sep 8, 2026Updated 2 months ago
- AutoSFT is an AI system that post-trains AI: a multi-agent research policy that iteratively designs the SFT data recipe, with a fixed bas…☆25Oct 15, 2026Updated 3 weeks ago
- Agentic workflow for tackling all open Erdos problems at once.☆34May 10, 2026Updated 5 months ago
- Plug-and-play PyTorch transformer research framework. Swap attention, FFN, norm, positional, connection, projection, optimizer, scheduler…☆18Oct 25, 2026Updated 2 weeks ago
- The e4mc fork that lets anyone join your LAN world from anywhere, even with offline accounts.☆27Oct 30, 2026Updated last week
- Documents related to an attempt with Levent Alpoge to get Claude to finish Balaban's program to construct Yang--Mills. (Under constructio…☆82Updated this week
- A Lean formalization of the Stacks Project☆120Updated this week
- Artificial intelligence with a network of connected neurons☆21Oct 25, 2026Updated last week
- ☆27Apr 16, 2026Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Stuff for the pi coding agent☆13Apr 20, 2026Updated 6 months ago
- ☆14Jan 22, 2026Updated 9 months ago
- Welcome to the Google Summer of Code (GSoC) 2024! This repository is your go-to resource for all the information you need to participate …☆17Feb 26, 2024Updated 2 years ago
- ☆27Oct 8, 2026Updated last month
- My custom Pi skills☆14Updated this week
- Community-curated record of math problems solved by AI - significance rankings, verification labels, CC BY 4.0 dataset☆30Updated this week
- Fused MoE kernel☆24Oct 30, 2026Updated last week