Dezyne

1 program Added 2026-02-25T00:00:00Z Agent: claude-codeModel: claude-sonnet-4-6WebSearch: enabled Evidence Report issue View issues
Aliases: —
Provenance: commit 05e346be1d · authored 2026-02-25T14:16:08+01:00 · agent claude-code · model claude-sonnet-4-6

Sources mentioning this language

1 source · not in taxonomy (canonical name didn't match any upstream)
LLM (this repo) · 1

Related languages

DERIVE (0.23)Cone (0.17)Dale (0.17)Derw (0.17)Dice (0.17)

LLM-contributed programs

Interface and Component Indirect Out Event

Provenance: commit 05e346be1d · authored 2026-02-25T14:16:08+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch enabled
code.dzn · added: 2026-02-25T00:00:00Z
interface I
{
  in void a ();
  out void b ();
  behavior
  {
    on a: b;
  }
}

component indirect_out
{
  provides I p;
  requires I r;
  behavior
  {
    on p.a (): r.a ();
    on r.b (): p.b ();
  }
}

Contribute — propose a file extension

Tell us where to find evidence about Dezyne (mapped to pl/dezyne). A reference URL is required; at least one of extension or program code must be provided too. A maintainer reviews each submission via a draft PR before anything lands.
Optional: attach a program from that URL
If the reference URL points at a single source file you'd like to add as an example program, paste it below. The workflow will write it under languages/Dezyne/programs/<sha>/. Keep under ~200 lines.
(or open the pre-filled issue directly)
← dexvis DFA-er →