Unified geometric constraint theory — Eisenstein lattices, deadband funnels, Laman rigidity, metronome consensus, holonomy verification. 83 tests, zero deps.
Python bindings — PyO3 wrapper for constraint-theory-core
WASM demos — browser-based Pythagorean manifold visualization
Mathematical foundations and research papers for Constraint Theory
⚒️ Forgemaster — Constraint Theory migration specialist. Takes float code and forges it into exact geometric steel. Side-by-side proof builder.
Eisenstein integer constraint math for CUDA/C — norm, multiply, conjugate, disk check, XOR dual-path anomaly detection
Constraint Theory Lab — git-native PLATO room for hypothesis validation
One-sided conservation law checker — track budgets, energy, quotas with tolerance, drift detection, and phase analysis
Constraint Theory — web visualization of constraint propagation systems
Constraint theory bridge replacing JC1 CUDA ML — 470 lines vs 12,000+ lines, 100% accuracy via Laman rigidity and cohomology
Complete backup of Constraint Theory workspace - all 7 repos in one place
VS Code extension for FLUX-C guard constraint development — compile to bytecode with Coq-verified proof certificates
Python constraint theory library (v0.3.0) — Eisenstein integers, constraint satisfaction, simulation-first prediction. 167 tests.
🎮 Gamified multi-agent system - breed, train, and coordinate AI agents through constraint-based puzzles
FLUX-C guard constraint compiler — generates proof certificates for safety-critical systems with bytecode and ASM output
💼 Enterprise automation with exact guarantees - constraint-based workflows with multi-agent orchestration
Task routing across fleets using Laman rigidity, holonomy consensus, and deadband filtering for distributed agents
Core fleet math for multi-agent constraint systems — zero holonomy consensus, homological emergence, Laman rigidity, field analysis
C11 resource conservation monitor — budget, profile, detect, report pattern for CPU, memory, disk, and bandwidth tracking
Computational algebraic geometry in Rust — polynomial rings, ideals, Gröbner bases, elimination theory, Bézout's theorem
Add a description, image, and links to the constraint-theory topic page so that developers can more easily learn about it.
To associate your repository with the constraint-theory topic, visit your repo's landing page and select "manage topics."