Inkloom-art / inkloom
Specialised AI models for logo design — a brand-analysis model turns a business into constraints, typography and symbol models construct the mark, and a composition engine produces real lockups and clear-space rules. Early access open.
ModelEngine-Group / nexent
Nexent is a zero-code platform for auto-generating production-grade AI agents using Harness Engineering principles — unified tools, skills, memory, and orchestration with built-in constraints, feedback loops, and control planes.
scipopt / scip
SCIP - Solving Constraint Integer Programs
TimefoldAI / timefold-quickstarts
Get started with Timefold quickstarts here. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.
opencobra / cobrapy
COBRApy is a package for constraint-based modeling of metabolic networks.
mindmuxai / brain.md
A persistent, file-based memory layer for coding agents — give Claude Code, Codex & others a project brain (durable decisions, requirements, constraints) via a zero-dependency CLI.
HhhTian / safe-longitudinal-planning-MPC-iLQR-CBF-Safety-Constraints
Safety-critical longitudinal planning: from DP+QP+PID to DP+augmented-state MPC with safety constraint formulation with RSS model and iLQR solver.
samber / lo
💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)
QuipNetwork / xquad
A hardware-agnostic SDK for optimization problems: define a problem once, then lower it to any quantum or classical solver
stisla / stisla
Component library built on constraint.
hlorus / CAD_Sketcher
Constraint-based geometry sketcher for blender
composer / semver
Semantic versioning utilities with the addition of version constraints parsing and checking.
coin-or / pulp
A python Linear Programming API
AntigmaLabs / ante
Ghost in your shell. Ante is a self-contained agent harness with a highly optimized core. It works like Claude Code or Codex, with none of their dependencies or model constraints.
TimefoldAI / timefold-solver
The open source Solver AI for Java and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.
hashicorp / go-version
A Go (golang) library for parsing and verifying versions and version constraints.
triska / the-power-of-prolog
The Power of Prolog: Introduction to modern Prolog
akitaonrails / ai-jail
Multi-OS sandbox to run AI agents with better constraints (it is not 100% secure, but enough)
ocaml / opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
MagicFoundation / Alcinoe
Alcinoe empowers developers to build fast, modern apps without the usual complexity or performance bottlenecks. It keeps the focus on innovation—not tool constraints—delivering top performance, deep customization, and great cross-platform UX while staying independent of GAFA ecosystems.
getActivity / ShapeView
Shape 支持在布局中直接定义啦，支持设置阴影，文字渐变色，状态选择器
dry-rb / dry-types
Flexible type system for Ruby with coercions and constraints
antoinevastel / fpscanner
Self-hosted browser fingerprinting and bot detection with real-world constraints in mind.
chocoteam / choco-solver
An open-source Java library for Constraint Programming
nucleic / kiwi
Efficient C++ implementation of the Cassowary constraint solving algorithm
pysmt / pysmt
pySMT: A library for SMT formulae manipulation and solving
confuser / graphql-constraint-directive
Validate GraphQL fields
Iltotore / iron
Strong type constraints for Scala
guillermo-navas-palencia / optbinning
Optimal binning: monotonic binning with constraints. Support batch & stream optimal binning. Scorecard modelling and counterfactual explanations.
Inference1 / clarify-intent-and-establish-shared-understanding
Systematically clarify intent, challenge assumptions, resolve contradictions, and align goals, constraints, risks, and success criteria.
To3akaRin / VLMForge
Evaluate visual models on your own images, JSON Schema, and production constraints with LangGraph, Pareto analysis, and a no-key Replay demo.
CLHfeiyi / dual_lidar_constraint_fusion
Dual_LIDAR_constraint_level fusion LIO for degenerate environments
ProjectClash / Clash
The Clash core builds on mihomo and is adapted to the constraints of Apple’s NetworkExtension framework. It processes traffic on your device, with performance tested on real hardware and the full source code open for review.
swordsalah / NEXORA-Intent-to-Cloth-Pipeline
Best AI Roblox Clothing Compiler 2026: Turn Text Prompts Into Pixel-Perfect Outfits
YOMXXX / McOptima
麦门最优解引擎 · 用运筹学穷举麦当劳菜单，算出你这张嘴的全局最优解 | Multi-constraint 0/1 knapsack solver on McDonald's official MCP | 2026 麦当劳程序员节参赛作品
Qin-sor / agent-context-lab
A minimal coding-agent harness built to measure what context management actually costs: constraint survival after compaction (8%→83%), default-FAIL verification against false completions, and KV-cache prefix design (21%→90%). Stdlib-only, real deepseek-chat runs
casimirvance5 / wan-prompts
Wan video prompt library with reusable prompt variants, camera and timeline guidance, hard constraints, and model-aware workflow examples.
Volland / lpg-modeler
Design a labeled property graph once. Generate LadybugDB DDL, Neo4j constraints, SHACL shapes and an OWL ontology from it. VS Code extension + CLI.
Noord-Ventures / vlak
Constraint-first design system for product exploration. 167 accessible React components, CSS, StyleX, shadcn registry, CLI, and MCP.
adibis / brokenBench
Systemverilog and UVM exercises inspired by ziglings
scale-venture-partners / windbag
Anti-slop linter: catches comments that narrate change history instead of a current constraint (Python/JS/TS/Terraform)
LightningOtokage / Cadence-Allegro-Full
Cadence Allegro Full Design Suite for Windows — PCB layout, constraint-driven routing, and design-rule tools ready after a short local setup.
ayles / bpf-capsule
Compile ordinary code to eBPF without shaping it around verifier constraints.
ftxcgwf / mcd-solver
基于麦当劳 MCP 的点单决策求解器：在预算、热量、钠约束下求解满足感最高的组合