An AI-native DMN/FEEL business-rules engine compiled to Go: an LLM writes the rules, the engine proves (completeness/conflicts, SMT) and runs them 100% deterministically — auditable, hot-reloadable, with an in-browser WASM playground.
golang ai compiler dsl wasm hot-reload dmn brms rules-engine smt deterministic business-rules formal-verification decision-table feel decision-management llm genai ai-authoring
-
Updated
Jun 25, 2026 - Go