A C++ SMT/OMT Parser Library
☆53Oct 23, 2026Updated this week
Alternatives and similar repositories for SOMTParser
Users that are interested in SOMTParser are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tool-to-Agent Protocol: tools can be smart without embedded LLM calls.☆47Jul 22, 2026Updated 3 months ago
- 将 Codex Desktop 的任务完成和权限审核提醒推送到手机和智能手表。☆32Jun 13, 2026Updated 4 months ago
- Self-hosted AI trading terminal for Hyperliquid: chart read in, validated Freqtrade/Nautilus-Trader strategy out, deployed live.☆1,003Updated this week
- Verify that the PowerPoint you are about to deliver is exactly the PPTX that passed QA—locally, offline, and with tamper-evident evidence…☆982Aug 25, 2026Updated 2 months ago
- Windows 笔记导出与迁移工具：七平台适配、四格式导出、离线阅读，明确验证范围与失败状态。☆1,008Sep 9, 2026Updated last month
- 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.
- ☆972Jul 22, 2026Updated 3 months ago
- Reconcile stuck AI-agent tasks after restarts and timeouts. Preview SQLite changes, close stale delivery states, and never guess success.☆982Aug 25, 2026Updated 2 months ago
- ☆680Aug 25, 2026Updated 2 months ago
- An SMT Solver☆29Updated this week
- Open-source mobile SSH/Mosh terminal and native AI workspace for Android and iOS.☆519Oct 19, 2026Updated last week
- ☆15Aug 25, 2026Updated 2 months ago
- Autonomous LLM Trading Asterism — a research-only multi-agent trading platform with evidence-first research, an auditable console, Shadow…☆1,073Updated this week
- Build AI agents grounded in a creator's documents, audio, and video.☆973Sep 1, 2026Updated last month
- Tiri local agent backend and web shell built on agent-runtime.☆707Jul 2, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 让 Codex Desktop 复用现有 SSH 跳板配置连接集群，适配登录 shell 网关并配置集群访问 OpenAI 的专用代理，支持 Windows 与 macOS。☆55Jul 15, 2026Updated 3 months ago
- Audit AI chat exports locally before sharing or migration. Find possible secrets, personal-data patterns, broken JSON/JSONL, SQLite issue…☆976Aug 25, 2026Updated 2 months ago
- RAG ReAct Agent - A Retrieval-Augmented Generation system with ReAct (Reasoning+Acting) agent loop for intelligent question answering wit…☆208Updated this week
- Histology Spatial Topology for Omics Profiling and Inter-section Alignment☆773Oct 13, 2026Updated 2 weeks ago
- Real-world AI penetration testing engineer for authorized assessments — built-in cloud module covering AWS/Azure/GCP + Aliyun/Tencent/Hua…☆944Oct 14, 2026Updated 2 weeks ago
- Official repository for the ACM MM 2026 Oral paper “Remember-R1: Mitigating Long-Context Visual Forgetting through Reinforcement Learning…☆417Aug 28, 2026Updated 2 months ago
- 🎬 Generate images from any camera viewpoint via 3D interactive control. Drag the camera in 3D space or use sliders to set azimuth/elevat…☆1,001Aug 28, 2026Updated 2 months ago
- semantic agent kernel which make agent efficient and self-evolve☆810Updated this week
- Yozu web app scaffold for an AI travel decision and execution layer: landing, demo flow, source-backed trip options, approval-gated coord…☆980Jun 9, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆985Jul 16, 2026Updated 3 months ago
- A novel bio-inspired swarm intelligence optimizer — immortal Jellyfish Algorithm (IJA)☆488Jun 27, 2026Updated 4 months ago
- 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…☆918Updated this week
- A decision library for running local LLMs on multi-GPU machines without NVLink: parallelism, communication, quantization, speculative dec…☆19Updated this week
- ☆198Oct 19, 2026Updated last week
- Orca: The World is in Your Mind☆886Aug 21, 2026Updated 2 months ago
- CrewMeld — Enterprise AI Digital Workforce Platform. Manage AI employees like real team members. Visual SOP orchestration, 13 LLM provide…☆1,020Aug 28, 2026Updated 2 months ago
- ☆47Sep 22, 2026Updated last month
- A competitive Cascade game-playing AI agent using adversarial search, ranked 9th out of 206 agents.☆66Aug 9, 2026Updated 2 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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…☆977Updated this week
- macOS AI 语音输入工具，支持中文与中英混合识别、AI 文本整理、上下文格式匹配和本地优先。☆290Aug 14, 2026Updated 2 months ago
- ☆103Aug 17, 2026Updated 2 months ago
- A Roadmap to Build World Models for Robot Policy Evaluation☆1,135Jul 12, 2026Updated 3 months ago
- 给 AI 伴侣的记忆仪式——你好，再见☆104Aug 14, 2026Updated 2 months ago
- A clinical decision-evidence benchmark: pull the one fact an answer rests on, and see whether the assistant's action moves with the evide…☆990Oct 19, 2026Updated last week
- Self-improving AI testing engine across Android, iOS, and Web.☆1,133Oct 7, 2026Updated 3 weeks ago