Lean formalization of the optimality proof of the 11 square packing
☆27Oct 6, 2026Updated last week
Alternatives and similar repositories for 11SquaresFormalized
Users that are interested in 11SquaresFormalized are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Claude Code harness manager: switchable profiles, scope provenance and on/off for every harness element☆19Oct 8, 2026Updated last week
- React.js with AWS Cognito for authentication and account scaffolding☆11Sep 8, 2018Updated 8 years ago
- Jev based decision tools for claude code☆39Updated this week
- Node.js Lambda invocation, via S3 trigger, of AWS Rekognition for facial recognition.☆13Sep 13, 2018Updated 8 years ago
- A Node.js module to scrape and normalize links from an HTML string.☆15Apr 1, 2015Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A minimalistic pdf reader browser extension for academic reading.☆26Updated this week
- Give Claude Code eyes 👁️ — a camera skill so it can SEE real hardware, displays and wiring: verify a rendered panel, check wiring before…☆51Aug 21, 2026Updated last month
- jsondiffpatch for react☆11Jun 9, 2021Updated 5 years ago
- framework for using llms on object grounding☆25Oct 4, 2026Updated 2 weeks ago
- CVE-2026-42978 — Use-After-Free race condition in Windows Push Notifications (WpnService). Patch diff, root cause analysis, TOCTOU lab, S…☆28Jun 23, 2026Updated 3 months ago
- Your coding agent says done. Show the receipt. Evidence-first workflows, practical skills, and plugins for Claude Code and Codex.☆33Oct 12, 2026Updated last week
- Claude's answers, rendered: Markdown, math, charts and diagrams drawn in the Claude Code terminal. Independent project, not affiliated wi…☆52Updated this week
- Preregistered Jacobian-lens reliability research on Gemma 4: 25k prompts, frozen probes, public traces, a prospective transfer miss, and …☆55Sep 11, 2026Updated last month
- A Chromium fork built for AI agents: built-in MCP server, per-agent logged-in identities, sessions as tab groups☆39Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Claude Skill that turns lecture transcripts and readings into linked Obsidian notes, adaptive flashcards, and a gap tracker.☆34Sep 28, 2026Updated 3 weeks ago
- Remove metadata from photos, PDFs, Office documents, audio and video. Strips EXIF, GPS location, camera serial numbers, author names and …☆33Oct 10, 2026Updated last week
- AI Skills Manager brings your Claude, Codex, Pi, and other tool-specific skills, agents, commands, and rules into one searchable Obsidian…☆26Updated this week
- Interactive static pattern discovery tool to locate structures from frequent patterns☆39Sep 5, 2026Updated last month
- ☆44Sep 24, 2026Updated 3 weeks ago
- Jev, an AI decision model, plays Pokémon Red. It beat the game in 37h 40m.☆130Sep 28, 2026Updated 3 weeks ago
- Formal proof that the optimal exercise boundary of an American put option is log convex when the constant dividend yield is nonnegative a…☆20Sep 7, 2026Updated last month
- Turn Zotero PDFs into source-linked Markdown. The default conversion uses your Mktero account.☆54Updated this week
- Dependency library for `ultimate-seed`☆19Feb 23, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- AWS-compatible Chrome build☆15Dec 1, 2017Updated 8 years ago
- Unofficial Linux port of the Grok Bot desktop app☆32Aug 29, 2026Updated last month
- WorktreeCreate hook for Claude Code that uses APFS clonefile() to give each new worktree near-zero disk overhead.☆16May 9, 2026Updated 5 months ago
- Use the Amazon S3 - Simple Storage Service from Perl☆13Aug 17, 2024Updated 2 years ago
- ⚠️ 🚧 Install precompiled versions of the Chromium/Chrome headless shell using npm or yarn☆21May 8, 2017Updated 9 years ago
- infinite canvas for infinite ghostty terminals☆29Apr 12, 2026Updated 6 months ago
- Skill librarian MCP server — every installed skill costs tokens; the librarian keeps your whole collection out of agent context. Agents a…☆42Updated this week
- DevOps Architecture for AWS Workloads☆12Dec 19, 2025Updated 10 months ago
- A langgraph based workflow with a C++ CUDA harness to optimize CUDA kernels☆36Sep 24, 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.
- LLM public goods game☆11Feb 22, 2025Updated last year
- Small template for iOS Xcode projects☆16May 16, 2021Updated 5 years ago
- A command line implementation of Tetris, written in Clojure.☆10Feb 22, 2023Updated 3 years ago
- Local Time Machine for OrbitDB☆11Feb 13, 2026Updated 8 months ago
- ☆15Aug 28, 2025Updated last year
- LR(1) Parser for the Ambients Protocol☆12Jun 17, 2022Updated 4 years ago
- ☆15Oct 12, 2026Updated last week