marketcompiler-verifiable-dsl-edge-compi

Idea summary: A novel, open-source compiler-runtime that lets portfolio managers and fintech developers express investment rules, risk budgets, and execution policies in a mathematically-precise DSL, which is then compiled into portable, verifiable e