The project page for "ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming"
☆194Mar 15, 2026Updated 3 months ago
Alternatives and similar repositories for ConstraintLLM
Users that are interested in ConstraintLLM are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🔧 Base64 Proxy Tool - Cloudflare Workers代理工具，支持递归Base64解码、自定义UA和多层编码处理 A Cloudflare Workers-based proxy tool with recursive Base64 decod…☆29Feb 27, 2026Updated 4 months ago
- ☆230Dec 27, 2025Updated 6 months ago
- Obsidian plugin to convert XMind mind map files to JSON Canvas format☆165Jan 31, 2026Updated 5 months ago
- ☆231Dec 27, 2025Updated 6 months ago
- Job Bodyguard is a Chromium Extension designed to watch your back in the job hunting☆65May 2, 2026Updated 2 months ago
- 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.
- 2026最新赚钱方式！黑U搬砖骗局？狠狠薅骗子羊毛！☆223Feb 19, 2026Updated 4 months ago
- A modern, high-performance mathematical expression evaluator built with Pratt Parsing and Stack-based VM☆74May 31, 2026Updated last month
- [AAAI'26] MoBGS: Motion Deblurring Dynamic 3D Gaussian Splatting for Blurry Monocular Video☆92Jan 30, 2026Updated 5 months ago
- ☆209Oct 1, 2025Updated 9 months ago
- ☆210Jul 18, 2025Updated 11 months ago
- A Management System for a Health Care Facility. The system includes Registration of patients, Making appointments, Storing patient record…☆88Nov 20, 2025Updated 7 months ago
- A comprehensive Library Management System built using Java. This application features user-friendly interfaces for managing books, member…☆66Nov 20, 2025Updated 7 months ago
- ☆126Dec 13, 2025Updated 6 months ago
- ☆215Jan 13, 2025Updated last year
- 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.
- QAA AirType 是一个轻量级的局域网输入板，让你可以通过手机端的输入法（如豆包语音输入）来实现电脑端的文字输入（与Agent对话）。☆171Dec 1, 2025Updated 7 months ago
- 一个计算机系统研究生的实时资源整理。A Real-time Curation for Computer System explorer.☆122Jan 22, 2026Updated 5 months ago
- XSStrike-go☆119May 21, 2026Updated last month
- ☆224Dec 25, 2025Updated 6 months ago
- A systems-engineering playbook for delivering complex hardware–software programs from 0→1. Includes reusable templates, execution framewo…☆190Feb 6, 2026Updated 4 months ago
- 🚀 AI-powered JavaScript Decompiler & Deobfuscator. 基于 AI 与 AST 的 JS 代码分析与混淆还原工具，把不可读的构建产物变成人能看懂的代码。☆128Jan 7, 2026Updated 5 months ago
- ☆269Nov 24, 2025Updated 7 months ago
- ☆197Oct 1, 2025Updated 9 months ago
- 基于机器学习的网络安全检测系统 | 集成Kitsune/LUCID算法 | 支持ML/DL/RL模型 | 99.58%攻击检测准确率 | 19913 QPS | Docker/K8s部署☆218Jun 7, 2026Updated 3 weeks 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.
- mall项目是一套电商系统☆214Oct 17, 2025Updated 8 months ago
- ☆221Oct 8, 2023Updated 2 years ago
- Rime-AI for macOS☆253Dec 10, 2025Updated 6 months ago
- 这是一个用于 Telegram Bot 管理和 HAX.CO.ID 数据中心监控的组合型项目，支持 **Docker 部署** 和 **服务器后台运行** 两种模式。☆284Nov 27, 2025Updated 7 months ago
- telegram voice chat ai bot with image generate☆258Jun 14, 2026Updated 3 weeks ago
- 基于 AI 完整保留排版的 PDF 文档全文双语翻译☆104Mar 25, 2026Updated 3 months ago
- A Vue-based festival greeting page with animated, personalizable wishes.☆339Jun 16, 2026Updated 2 weeks ago
- ☆181Oct 1, 2025Updated 9 months ago
- 一款基于vue3+ts打造的多功能移动端组件库，加入了类型提示等功能，精美组件多功能自定义☆348Jun 15, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆68May 13, 2026Updated last month
- 去中心化工具包☆470May 23, 2026Updated last month
- 便捷注册ipv6域名及裂变，更换CF边缘证书机构☆101Nov 12, 2025Updated 7 months ago
- 统一的前端开发工具集，旨在整合复杂状态、封装常用组件，简化的整个开发流程。☆98Mar 12, 2026Updated 3 months ago
- A powerful terminal coding agent based on Claude Agent SDK. Better then Claude Code when start up a new project, or u have no idea. Just …☆120May 28, 2026Updated last month
- NebulaKit is a Metal-based iOS 3D scene and terrain rendering engine designed for building interactive 3D browsers, terrain visualization…☆269Dec 24, 2025Updated 6 months ago
- Lightweight, native Windows implementation of Linux commands | 1MB only | AI-friendly☆252Jun 10, 2026Updated 3 weeks ago