[CVPR 2026] Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning
☆45Sep 27, 2026Updated 3 weeks ago
Alternatives and similar repositories for Hilbert-Geo
Users that are interested in Hilbert-Geo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆23Jun 3, 2025Updated last year
- Local-first AI agent workspace for multi-agent collaboration, agent orchestration, scoped permissions, evidence-aware runs, and human-in-…☆1,056Updated this week
- Local-first Codex session backup, verified cleanup, restore, and reviewed cross-device context for macOS and Windows.☆95Aug 27, 2026Updated last month
- Self-hosted two-way Notion and CalDAV sync on Cloudflare Workers + D1 or Node.js + PostgreSQL☆300Oct 8, 2026Updated last week
- Curated DeepSeek Harness (DSH) plugins, extensions, tools, skills, clients, runtimes, integrations, and verified references — English and…☆574Updated this 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.
- 软件实习项目作业☆1,086Sep 2, 2026Updated last month
- ☆791Oct 8, 2026Updated last week
- ☆1,371Updated this week
- MCPHub Desktop 是一款基于 Tauri 2 构建的桌面客户端，用于在个人电脑上统一管理 MCP服务器、Skills、RAG 知识库。所有进程、配置、密钥与向量数据都运行/保存在用户自己的机器上，不依赖任何远端服务。☆891Updated this week
- 5–10x faster browser operations: Jev clicks, Codex thinks and verifies. Built at EZCollegeApp.☆1,222Sep 23, 2026Updated 3 weeks ago
- 小豆集市 · 数字商品交易平台：卡密、课程、电子书、软件、素材模板、会员权益、游戏道具都能卖；自动发货、买家免注册、微信/支付宝收款、持牌机构清算、次日自动到账；实物可当面交易；没货源可在「货源广场」从平台自营渠道 1,500+ 件底价拿货、加价转售。Digital-goo…☆307Updated this week
- FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproduci…☆754Oct 9, 2026Updated last week
- CraftStation Agent Runtime Composition System☆701Updated this week
- 终端优先的 Linux AI 运维工作台：SSH/SFTP、真实命令回显、分级审批与一步一卡教学。Windows 桌面预稳定版。A terminal-first AI workbench for Linux operations.☆99Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A website on Dirt☆132Sep 28, 2026Updated 2 weeks ago
- Free strategy scorecard for trading backtests. Detect overfitting, weak edge, drawdown risk, and random-timing luck from returns, equity …☆981Oct 4, 2026Updated 2 weeks ago
- ☆688Oct 8, 2026Updated last week
- 基于 Jingyun Studio + DeepSeek Harness (DSH) 打造的一站式 AI 商业化桌面客户端，一个将 AI 智能体 / 技能 / 工作流转化为可交易商品的完整商业化平台客户端。 井云为 DSH 注入了完整的商业闭环：登录注册 → 会员体系 →…☆1,007Sep 30, 2026Updated 2 weeks ago
- 面向 AI Agent 的高并发、低延迟上下文治理与 Prompt Cache 守护网关 (Tree-sitter AST / Tool Delta / 50%~80% Token 削减)☆203Updated this week
- 基于 AI Agent 的产业园区项目管理研究 · 原型验证平台（Prototype，不代表最终产出产品）☆101Sep 17, 2026Updated last month
- Java + Spring Boot + Electron 全栈温习项目。毕业之后回过头，用最经典的 CRUD 把每一层技术栈重新练一遍☆95Jul 29, 2026Updated 2 months ago
- 希儿最初的家~☆796Updated this week
- Flatkey media generation CLI for images, videos, audio, text, credits, and model discovery.☆911Updated this week
- 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.
- Local-first Codex multi-model router and Windows configurator☆318Sep 14, 2026Updated last month
- FuXi is a fast, self-contained AI coding agent that lives in your terminal — edit code, run commands, and drive tools, with cost-aware ro…☆3,342Sep 29, 2026Updated 2 weeks ago
- ☆1,505Sep 17, 2026Updated last month
- 般若波罗蜜。回到每一个争吵和沉默的节点，看看另一个版本的结局。☆900Sep 17, 2026Updated last month
- Run Linux-style commands on Windows via deterministic bash→PowerShell translation. No VM, no WSL. MCP server + CLI built for AI agents (C…☆994Updated this week
- Turn any image into an editable, multicolor 3MF bead relief — locally in your browser.☆488Oct 6, 2026Updated last week
- EdgeRock: Strong Reasoning at Constant Memory. Multimodal models with O(N) generation and O(1) persistent history. Inference and evaluati…☆491Updated this week
- Fifty Years of SAR Automatic Target Recognition: The Road Forward （IEEE GRSM 2026）☆1,020Oct 5, 2026Updated 2 weeks ago
- AI Agent prototype for tender and bid document workflows, featuring tender parsing, industry Skills, draft generation, role-based review,…☆102Sep 1, 2026Updated last month
- 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.
- Persistent multi-model workflow teams for DeepSeek Harness — dynamic lead planning, bounded DAGs, per-agent model/tools, Run Center and T…☆289Updated this week
- ☆102Oct 10, 2026Updated last week
- Tiny post-quantum encryption for sensitive data. Write-only by design. ML-KEM-768 + X25519 + AES-256-GCM. Please break it.☆521Updated this week
- A powerful Pixiv filtering tool. Search artworks by multiple tags with OR logic and improve Pixiv browsing experience.☆30Aug 22, 2026Updated last month
- From AI Assistance to Agentic Workflows: Making MCP Practical in the Browser☆189Sep 28, 2026Updated 2 weeks ago
- 研迹 ResearchTrail｜本地 AI Native投资研究工作台。串联证券、组合、证据报告、论点复审与 Today 简报 ，让研究有据、判断留痕。Python 业务内核 · Electron 桌面 · 可复现 Agent 评测。☆36Updated this week
- Print-ready envelope & postcard die-line templates — 1:1, cut & fold, CC BY 4.0.☆103Sep 16, 2026Updated last month