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.

akitaonrails / ai-jail

Multi-OS sandbox to run AI agents with better constraints (it is not 100% secure, but enough)

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.

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.

hashicorp / go-version

A Go (golang) library for parsing and verifying versions and version constraints.

ocaml / opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

antoinevastel / fpscanner

Self-hosted browser fingerprinting and bot detection with real-world constraints in mind.

coin-or / pulp

A python Linear Programming API

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.

Iltotore / iron

Strong type constraints for Scala

composer / semver

Semantic versioning utilities with the addition of version constraints parsing and checking.

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.

dry-rb / dry-types

Flexible type system for Ruby with coercions and constraints

chocoteam / choco-solver

An open-source Java library for Constraint Programming

pysmt / pysmt

pySMT: A library for SMT formulae manipulation and solving

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.

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.

ayles / bpf-capsule

Compile ordinary code to eBPF without shaping it around verifier constraints.

samber / lo

💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)

triska / the-power-of-prolog

The Power of Prolog: Introduction to modern Prolog

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.

To3akaRin / VLMForge

Evaluate visual models on your own images, JSON Schema, and production constraints with LangGraph, Pareto analysis, and a no-key Replay demo.