Ontology-Contract-OCL DSL: UFO-A/B/C modeling with OCL invariants, Z3-backed LSP verification, Mermaid diagrams, React Flow data, and TypeScript code generation (interfaces, factories, runtime validators, sync+async event wrappers, commitment lifecycle re
Cross-referenced across 55 tracked directories
#5808
Popularity Rank
1 / 55
Listed In
Emerging
Adoption Stage
6/12/2026
First Seen
Recently added to the ecosystem
effectssdk
Add real-time AI video effects: virtual backgrounds, blur, touch-up, auto-framing, color correction, lower-thirds, and more. Works on all browsers for conferencing, streaming, and recording.
...morecohereai
microsoft1es
Microsoft Application Insights JavaScript SDK - Web
creamidea
