An SMT Solver
☆29Aug 18, 2026Updated 2 months ago
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:
- Map unfamiliar code. Verify every answer.☆49Sep 25, 2026Updated 3 weeks 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
- illusion Markdown (extension: .mdi) is a universal Markdown extension format specifically designed to support and enhance Japanese text f…☆22Oct 9, 2026Updated last week
- An agent for eassy reading and polishing.☆20Sep 9, 2026Updated last month
- A professional web-based Rubik's Cube and speedcubing timer with official WCA scrambles and Stackmat support.☆98Sep 6, 2026Updated last month
- 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.
- 轻量级跨平台网页桌面应用打包工具，可将 HTML、Vue、React、Vite 静态项目打包为 Windows 和 Linux 原生应用。A lightweight cross-platform tool for packaging HTML, Vue, React, an…☆129Sep 5, 2026Updated last month
- 个人cpu机器ai相关后端服务☆40Updated this week
- Local-first Python framework for generating, executing, validating, and packaging agent training data with executable state, tool evidenc…☆36Oct 1, 2026Updated 2 weeks ago
- 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
- Find the cheapest API for any model and connect it from your AI agent: Grandet Skill and an anonymous MCP server, backed by listed prices…☆506Updated this week
- 🚀 波场（TRX）靓号生成器，利用GPU进行加速，代码开源，安全可靠。Tron(TRX)靓号地址生成器，使用GPU，开源，安全，享受。☆50Sep 22, 2026Updated 3 weeks ago
- CLI runbook for agent long run.☆1,416Sep 2, 2026Updated last month
- Official Paper Implementation of ScaleResfusion: Residual Rectified Flow Based on Residual Vector Field☆55Updated this week
- ☆979Jul 22, 2026Updated 2 months ago
- 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.
- 基于 Spring Boot 3、Redis、RocketMQ、XXL-Job 的优惠券商家服务平台，聚焦秒杀领券、批量发券、异步解耦与缓存一致性。☆66Jul 25, 2026Updated 2 months ago
- Trace-backed Agent Authorization Reviews for tool-using AI agents. Staging-only evidence for payment, record-change, access, and export a…☆62Jul 10, 2026Updated 3 months ago
- ☆646Sep 28, 2026Updated 3 weeks ago
- OceanScale — GPU-native ocean simulator for underwater robotics (source alpha)☆102Aug 8, 2026Updated 2 months ago
- Pythagorean Market Maker (PMM) and $TBD Smart Contracts☆83Updated this week
- All-in-One Multimodal Parsing Engine + Ontology-Powered, LLM Wiki-Driven AI-Ready Knowledge Engine☆1,406Oct 10, 2026Updated last week
- strategy-factory☆99Aug 12, 2026Updated 2 months ago
- AI动画制作☆97May 26, 2026Updated 4 months ago
- Track2Map: Online Deformable SLAM with Motion-Aware Pose Optimization in Robotic Surgery☆43Aug 4, 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.
- Autonomous LLM Trading Asterism — a research-only multi-agent trading platform with evidence-first research, an auditable console, Shadow…☆1,088Oct 7, 2026Updated 2 weeks ago
- Turn npm, Python, and Rust release evidence into bounded Codex maintenance tasks.☆106Sep 11, 2026Updated last month
- ☆578Updated this week
- Remote DSH host management for DeepSeek Harness — run a headless dsh on your own server, operate it from the local GUI (SSH tunnels, mixe…☆137Aug 27, 2026Updated last month
- Reconcile stuck AI-agent tasks after restarts and timeouts. Preview SQLite changes, close stale delivery states, and never guess success.☆930Aug 25, 2026Updated last month
- OpenJev: open-source, local alternative to Jev. System-One decision models: typed questions in, calibrated probabilities out; general dec…☆66Oct 9, 2026Updated last week
- Build AI agents grounded in a creator's documents, audio, and video.☆978Sep 1, 2026Updated last month
- Windows 笔记导出与迁移工具：七平台适配、四格式导出、离线阅读，明确验证范围与失败状态。☆1,005Sep 9, 2026Updated last month
- A composable toolkit for evaluating generated and reconstructed audio☆116Jul 24, 2026Updated 2 months 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.
- ApocData · AI-native financial database for China A-share market. Drop-in Skill / MCP for Claude,ChatGPT, Qwen, Kimi, DeepSeek agents.☆102Oct 14, 2026Updated last week
- BioMate external connector interfaces — Claude, Claude Code, ChatGPT, Slack, WeChat☆772Oct 10, 2026Updated last week
- Chainable JS SDF library + 基于 SDF 的离散结构生成器层 (form × generator decoupling). Port & extension of fogleman/sdf.☆415Sep 19, 2026Updated last month
- Perturb-and-continue causal tests of chain-of-thought: does the written reasoning actually constrain the answer? Code, data, and probes f…☆73Updated this week
- TopoData is a C# application, provides PLC/DCS data acquisition , storage and python script capabilities , along with HTTP WebAPI、Mqtt in…☆151Updated this week
- Industry and company research domain pack for DeepSeek Harness: methodology skills, industry chain mapping, public-source policy/news tra…☆216Updated this week
- A mechanism-data hybrid pretraining-finetuning framework for rapid and reliable urban pluvial flooding prediction☆63Aug 12, 2026Updated 2 months ago