Proof search with a diversity-balanced symbolic frontier, bounded future atlas, and optional language-model guidance.
☆22Oct 21, 2026Updated 3 weeks ago
Alternatives and similar repositories for ViaLean
Users that are interested in ViaLean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [CVPR 2026] Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning☆43Sep 27, 2026Updated last month
- A Codex skill that rebuilds images, diagrams and paper figures into element-level editable PowerPoint, with attributed examples and visua…☆148Oct 27, 2026Updated 2 weeks ago
- ☆21Aug 31, 2026Updated 2 months ago
- 斑海豹 — Phocinae-Largha-150M-v1: a 144.3M bilingual decision model. Tiny model. Big decisions. 小海豹，大决断。☆624Oct 20, 2026Updated 3 weeks ago
- A focused GitHub desktop workspace for notifications, issues, pull requests, Actions, repository discovery, and an optional repository-aw…☆260Sep 25, 2026Updated last month
- 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.
- A Codex plugin that quietly captures meaningful project work and syncs it to Plane.☆86Nov 4, 2026Updated last week
- FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproduci…☆927Nov 3, 2026Updated last week
- CraftStation Agent Runtime Composition System☆933Updated this week
- 🧠 NeuroConscious Transformer (NCT) - A next-generation neuromorphic consciousness architecture integrating Transformer with Global Works…☆540Aug 1, 2026Updated 3 months ago
- Minecraft CityGen: Turn your own Minecraft builds into an entire city.☆475Oct 31, 2026Updated last week
- ☆43Sep 21, 2026Updated last month
- MCPHub Desktop 是一款基于 Tauri 2 构建的桌面客户端，用于在个人电脑上统一管理 MCP服务器、Skills、RAG 知识库。所有进程、配置、密钥与向量数据都运行/保存在用户自己的机器上，不依赖任何远端服务。☆1,061Updated this week
- Bounded project-memory skills for Codex CLI and Claude Code.☆492Sep 8, 2026Updated 2 months ago
- 🔥企业级 Go WebSocket 框架，专注于高性能实时通信。提供智能重连、消息确认(ACK)、连接池管理等关键特性，支持千万级并发连接☆271Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 基于 Jingyun Studio + DeepSeek Harness (DSH) 打造的一站式 AI 商业化桌面客户端，一个将 AI 智能体 / 技能 / 工作流转化为可交易商品的完整商业化平台客户端。 井云为 DSH 注入了完整的商业闭环：登录注册 → 会员体系 →…☆930Sep 30, 2026Updated last month
- 为虎牙、斗鱼、哔哩哔哩和抖音直播添加弹幕一键 +1 以及全平台弹幕收藏｜Add a one-click "+1" feature for bullet chat and enable cross-platform bullet chat saving for Huya, D…☆107Oct 24, 2026Updated 2 weeks ago
- SiftGate☆502Updated this week
- Computer vision deployment resources and engineering workflow configuration☆741Updated this week
- ☆932Oct 16, 2026Updated 3 weeks ago
- Privacy-first macOS calendar wallpaper with quick menu bar schedule access. 隐私优先的 macOS 日程壁纸与菜单栏快速查看工具。☆98Aug 6, 2026Updated 3 months ago
- ☆946Oct 29, 2026Updated last week
- 一条命令，把口播毛片变成可二次精修的剪辑工程。☆965Oct 30, 2026Updated last week
- Your Agent usage, in one place.☆199Updated 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.
- EdgeRock: Strong Reasoning at Constant Memory. Multimodal models with O(N) generation and O(1) persistent history. Inference and evaluati…☆995Oct 23, 2026Updated 2 weeks ago
- A local-first coding agent that works in your repository and leaves reviewable changes☆162Updated this week
- Cross-platform DICOM viewer for CT, MRI & PET/CT with MPR, 3D, fusion, editable segmentation and local AI auto-segmentation via TotalSegm…☆306Updated this week
- LLM-first, 3D-native robotics and simulation workspace.☆1,029Updated this week
- 哗啦！（哗啦待办）｜自托管的团队任务与项目协作工作台。Self-hosted task and project collaboration.☆110Updated this week
- 大模型驱动的npc决策，npc和玩家平权☆1,180Mar 29, 2026Updated 7 months ago
- A three-level benchmark for evaluating audit depth, evidence allocation, and reliability in generative CAD systems.☆86Sep 25, 2026Updated last month
- Agent Skill 步进治理体系：由程序保证 Agent 不跳步骤（step-gate Rust 门控 + 交付门 + 链治理）☆913Sep 5, 2026Updated 2 months ago
- ☆263Aug 28, 2026Updated 2 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.
- AI Bro — a local-first workspace for AI conversations, source-linked knowledge, and tasks.☆976Oct 27, 2026Updated 2 weeks ago
- ChatGPT Pro100（10x，原5x）/Pro200（20x）国内购买与续费指南：Pro100 的 Work／Codex 套餐内用量翻倍、售价不变；本人账号、支付宝、自助或人工办理及30天订阅保障。含中文、English、Русский。☆293Updated this week
- 基于Markdown的简历编辑+PDF导出+管理工作台☆20Oct 12, 2026Updated 3 weeks ago
- OntiCards 是面向企业的 AI 数据中枢（AI Data Hub），围绕业务数据库提供一站式能力：数据源连接、元数据理解、自然语言查询、跨源融合、数据质检、查询审计与数据资产管理等☆724Updated this week
- 几个 AI 终端开着，谁在等你一眼能看见。Claude Code、Codex 还在原来的终端里，旁边就能改文件、看 Git。macOS 本地工作台。☆619Updated this week
- TCMinerProxy｜Rust 全新独立架构 Stratum 矿池代理中转工具 / Stratum pool proxy & relay built with Rust，支持算力分流、私有矿池搭建、TMS 加密隧道，适配全币种 POW 挖矿，全球大型矿场主流算力运维方案…☆1,381Updated this week
- A self-hosted, OpenAI-compatible LLM gateway with multi-provider failover, key rotation, and a built-in admin console.☆315Oct 28, 2026Updated 2 weeks ago
Are these results useful?