Esterel

1 program Added 2025-10-30T07:12:48Z Model: x-ai/grok-4-fastTemp: 0.4 Evidence Report issue View issues
Aliases: —
Provenance: commit 25240b84c7 · authored 2025-10-30T08:12:48+01:00 · model x-ai/grok-4-fast

Sources mentioning this language

4 sources · pl_id: pl/esterel
LLM (this repo) · 1PldbWikipediaWikidata · Q486926

Wikipedia infobox

Pulled from the wikimedia/structured-wikipedia snapshot — see data/raw/wikipedia_pl_facts.*.jsonl and pl_fact.csv for the long-table provenance.

Paradigmsimperative · synchronous
Designed byInria · Gérard Berry
First appeared1980s
Homepagehttp://www.esterel.org/

Related languages

Estelle (0.29)Eel (0.25)Egel (0.25)Easel (0.23)Enkel (0.23)

LLM-contributed programs

Simple counter module

Provenance: commit 25240b84c7 · authored 2025-10-30T08:12:48+01:00 · model x-ai/grok-4-fast · Temp 0.4
code.str · added: 2025-10-30T07:12:48Z
module counter :
input tick, reset;
output count : 10;
do
  watching reset
    emit count <= 0;
  loop
    await tick;
    present count < 9 then
      emit count <= count + 1
    else
      emit count <= 0
    end
  end
end until reset end
end module

Real programs from Software Heritage

No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)

Contribute — propose a file extension

Tell us where to find evidence about Esterel (mapped to pl/esterel). 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/Esterel/programs/<sha>/. Keep under ~200 lines.
(or open the pre-filled issue directly)
← Estelle Eta →