Lean 4 infrastructure for complexity-theory research and proof-route audits. Ongoing work; no unconditional P vs NP proof.
☆10Nov 1, 2026Updated this week
Alternatives and similar repositories for p-np2
Users that are interested in p-np2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- figma-extension-test☆14Oct 29, 2026Updated last week
- A personal catalog for everything you have watched on Netflix, Prime Video, Disney+ or at the cinema. Import your streaming history, brow…☆31Oct 20, 2026Updated 2 weeks ago
- WeasyPrint plugin that draws Visio drawings (VSDX, VSD) as vector SVG through libvisio☆43Updated this week
- how to tung tung ur sahur☆49Updated this week
- WeasyPrint plugin that renders SVG natively and close to Chromium: foreignObject, filters, fonts, masks☆45Updated this week
- 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.
- Pure C++ and HIP inference for gpt-oss on AMD GPUs - no rocBLAS, no RCCL, no MPI. Every kernel, collective and the tokenizer written from…☆36Sep 30, 2026Updated last month
- Source-available AI assistant with persistent bots that share conversations and work on isolated computers. Self-hosted, with web, deskto…☆48Updated this week
- Reel Studio is an all-in-one content creation platform for making short-form video and growing your audience, at scale.☆40Updated this week
- Clear work. Reliable handoffs. An open-source agent skill for dependency-aware ticket coordination, shared HTML tracking, and durable rec…☆45Oct 25, 2026Updated last week
- Benchmark of AI coding agents building web apps and deploying them to Cloudish, DigitalOcean, Render and Vercel, measuring success, time,…☆16Oct 27, 2026Updated last week
- Whitby: a Solo-inspired layout for the Herdr app☆45Updated this week
- Best Agent Memory MCP servers, ranked and compared: long-term memory for Claude Code, Codex, Cursor and any MCP client. Glen, Mem0, Super…☆50Updated this week
- Source-verified agent skills for Go: Cobra command-line interfaces, Viper configuration, and Wails desktop apps☆23Oct 22, 2026Updated 2 weeks ago
- TypeScript SDK for Qentra Protocol: randomness requests, results and application integration.☆44Oct 25, 2026Updated last week
- 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.
- Local-first Python runtime for tool-using AI agents, with CLI, API, memory, MCP, A2A, and inspectable execution surfaces.☆33Updated this week
- Build, share, and verify assembly projects.☆245Updated this week
- Shared skills, agents, workflows, and configuration for Claude Code and Codex☆50Updated this week
- Breaking-change detection and monitoring for the APIs you depend on. One engine for OpenAPI documents and MCP servers.☆47Updated this week
- Open-source feature voting & product feedback platform☆44Updated this week
- Laraship: one-command Laravel and Filament deployment for Ubuntu. A Bash script that sets up isolated Docker containers per site, a share…☆21Oct 29, 2026Updated last week
- Your AI agent builds exactly what you asked for, and proves it. A Claude Code plugin: brief → quoted requirements → spec → tickets → blin…☆45Updated this week
- Source-verified agent skills for Cloudflare, starting with Artifacts☆27Oct 14, 2026Updated 3 weeks ago
- Luigi's Mansion decomp☆33Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The open-source AI video studio that runs on your own GPU: generate, recast, enhance and cut video with open-weight models and native Com…☆43Updated this week
- ☆120Updated this week
- ☆36Oct 29, 2026Updated last week
- Withdrawal Queue☆30Oct 25, 2026Updated last week
- Cloudflare Pages and Workers build status for Herdr: a header icon, a popup with the latest build, and notifications when a deploy fails.☆28Updated this week
- Review what your agent changed and approve what it may do: React components for multi-file diff review and tool approvals that return a r…☆25Updated this week
- A linter for rules a normal linter can't check. (powered by Typesafe)☆35Updated this week
- Skills that can be used by your agents in ChatChat.☆242Jul 21, 2026Updated 3 months ago
- OpenGL -> Metal Translation For Apple Silicon. Works With a x86_64 Wine, Arm64 / Arm64EC Wine, And Native Arm64 Processes.☆45Updated this week
- 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.
- MathPinpoint: problem-level math retrieval dataset. Find the web page that solves the same problem under the same conditions, correctly. …☆42Oct 28, 2026Updated last week
- ☆50Updated this week
- TheAll — a native macOS AI workspace for Claude Code and OpenAI Codex, with saved conversations, model switching, and an iOS/Android web …☆83Updated this week
- macOS like operating system but it is free to use ;)☆24Updated this week
- ☆157Updated this week
- ☆64Jul 17, 2026Updated 3 months ago
- The anti-vibe coding AI tool built for experienced engineers.☆71Updated this week