An SMT Solver
☆29Nov 9, 2026Updated this week
Alternatives and similar repositories for Xolver
Users that are interested in Xolver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 基于 AgentScope 2.0 的电商智能客服 Agent：17 个业务工具覆盖售前到售后，业务数据全部经工具查询、不做生成；含自研 Fire Trace 调试平台。无需 API Key 即可完整跑通☆20Sep 15, 2026Updated last month
- An agent for eassy reading and polishing.☆20Sep 9, 2026Updated 2 months ago
- RAG knowledge-base chat app built on LangChain — FAISS vector search, FastAPI backend, Next.js WebUI, OpenAI/Gemini compatible☆22Oct 14, 2026Updated 3 weeks ago
- A structure-derived indicator (block total correlation of the GNM) for where assuming independent residue motion costs the most. Pure num…☆22Sep 20, 2026Updated last month
- illusion Markdown (extension: .mdi) is a universal Markdown extension format specifically designed to support and enhance Japanese text f…☆22Oct 24, 2026Updated 2 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆972Jul 22, 2026Updated 3 months ago
- A professional frontend-only Rubik's Cube & speedsolving timer. Features WCA inspection, scrambles, and stats. Hosted at ztimer.zcompany.…☆50Aug 19, 2026Updated 2 months ago
- A C++ SMT/OMT Parser Library☆53Updated this week
- AI动画制作☆98May 26, 2026Updated 5 months ago
- 轻量级跨平台网页桌面应用打包工具，可将 HTML、Vue、React、Vite 静态项目打包为 Windows 和 Linux 原生应用。A lightweight cross-platform tool for packaging HTML, Vue, React, an…☆130Sep 5, 2026Updated 2 months ago
- 给 AI 伴侣的记忆仪式——你好，再见☆104Aug 14, 2026Updated 2 months ago
- Map unfamiliar code. Verify every answer.☆49Updated this week
- Open Reality: phone video to AI-queryable 3D scenes. MCP tools for Claude/Codex/Cursor (npm openreality-mcp), the self-hostable broker, a…☆655Oct 30, 2026Updated last week
- ☆641Sep 28, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Syna — offline-first LAN messenger. Kotlin Multiplatform, end-to-end encrypted (X25519 + AES-256-GCM), burn-after-reading, group chat, se…☆22Sep 18, 2026Updated last month
- Trace-backed Agent Authorization Reviews for tool-using AI agents. Staging-only evidence for payment, record-change, access, and export a…☆62Jul 10, 2026Updated 4 months ago
- Chainable JS SDF library + 基于 SDF 的离散结构生成器层 (form × generator decoupling). Port & extension of fogleman/sdf.☆411Updated this week
- Yozu web app scaffold for an AI travel decision and execution layer: landing, demo flow, source-backed trip options, approval-gated coord…☆979Jun 9, 2026Updated 5 months ago
- Reconcile stuck AI-agent tasks after restarts and timeouts. Preview SQLite changes, close stale delivery states, and never guess success.☆982Nov 1, 2026Updated last week
- Open-source AI coding workbench for local projects. Seamlessly connects cloud & local LLMs with terminal execution, live diff review, and…☆197Updated this week
- 🎬 Generate images from any camera viewpoint via 3D interactive control. Drag the camera in 3D space or use sliders to set azimuth/elevat…☆1,005Aug 28, 2026Updated 2 months ago
- BioMate external connector interfaces — Claude, Claude Code, ChatGPT, Slack, WeChat☆769Oct 31, 2026Updated last week
- A professional web-based Rubik's Cube and speedcubing timer with official WCA scrambles and Stackmat support.☆97Sep 6, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆250Updated this week
- A composable toolkit for evaluating generated and reconstructed audio☆116Jul 24, 2026Updated 3 months ago
- Combined RNA and ATAC Footprint Training of Gene Regulatory Network☆581Sep 4, 2026Updated 2 months ago
- 企业级 AI 资源纳管平台，提供统一 AI网关、Token调度能力，纳管 OpenAI、Azure、Claude、DeepSeek 等主流模型，并支持 MCP 工具与 Skill 的集中注册分发。具备内外双轨定价、成本归因、统一身份认证、安全审计与效能报表，帮助企业精准控制…☆1,034Nov 4, 2026Updated last week
- 能够实现：人提供idea，agent自动帮你生成论文☆116May 19, 2026Updated 5 months ago
- Autonomous LLM Trading Asterism — a research-only multi-agent trading platform with evidence-first research, an auditable console, Shadow…☆1,077Updated this week
- CrewMeld — Enterprise AI Digital Workforce Platform. Manage AI employees like real team members. Visual SOP orchestration, 13 LLM provide…☆1,118Aug 28, 2026Updated 2 months ago
- ☆570Updated this week
- A Roadmap to Build World Models for Robot Policy Evaluation☆1,134Jul 12, 2026Updated 3 months ago
- 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.
- Local-first Python framework for generating, executing, validating, and packaging agent training data with executable state, tool evidenc…☆36Oct 1, 2026Updated last month
- 面向 AI Agent 的可溯源 A 股板块研究 Skill，贯通政策、权威媒体、市场资金、公司与 ETF，支持实时查询、研究编排和二次应用开发。☆309Jul 28, 2026Updated 3 months ago
- Audit AI chat exports locally before sharing or migration. Find possible secrets, personal-data patterns, broken JSON/JSONL, SQLite issue…☆986Nov 2, 2026Updated last week
- DianXing - AI-Driven End-to-End Code Security Auditing☆858Jun 24, 2026Updated 4 months ago
- Self-improving AI testing engine across Android, iOS, and Web.☆1,134Oct 7, 2026Updated last month
- Build AI agents grounded in a creator's documents, audio, and video.☆974Sep 1, 2026Updated 2 months ago
- SEO foundation checks as an Agent Skill: give it a URL, get a crawler's-eye pass/fail report with evidence. 26 structural checks, zero LL…☆989Updated this week
Are these results useful?