C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...
Official LLM training dataset for FlowZap Code (.fz). 200+ examples showing how one DSL scripts both Sequence Diagrams and Business Workflows. From simple primitives to complex edge cases in HR, Ops, ...
Generate security-oriented sequence diagrams and fine-grained parsed traffic from Burp Suite Proxy history. This extension is based on the Proxy Enriched Sequence Diagrams (PESD) format. Discover the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback