Handel-C
1 program
Added 2025-11-07T12:51:50Z
Model: x-ai/grok-4-fastTemp: 0.4
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 3ef4ba7dca · authored 2025-11-07T13:51:50+01:00 · model x-ai/grok-4-fast
Sources mentioning this language
4 sources · pl_id:
pl/handel-cWikipedia infobox ↗
Pulled from the
wikimedia/structured-wikipedia
snapshot — see data/raw/wikipedia_pl_facts.*.jsonl and
pl_fact.csv for the long-table provenance.
| Paradigms | imperative (procedural · structured) · concurrent |
|---|---|
| Typing | static, manifest, nominal, inferred |
| Designed by | ESL · Celoxica · Agility · Mentor Graphics · Siemens EDA · Oxford University Computing Laboratory |
| First appeared | 1996 |
| Influenced by | C · CSP · occam |
| Homepage | https://eda.sw.siemens.com/en-US/ic/precision/ |
Extensions claimed by this language
2 claims. Each row is one upstream assertion with its strength.
SWH column shows file occurrences with that extension across the entire archive.| Extension | Source | Strength | SWH |
|---|---|---|---|
.hcc | wikipedia | proposed | 2.2K files |
.hch | wikipedia | proposed | 476 files |
Related languages
LLM-contributed programs
Parallel incrementers example
Provenance: commit 3ef4ba7dca · authored 2025-11-07T13:51:50+01:00 · model x-ai/grok-4-fast · Temp 0.4
void main (void)
par
{
clock = clk ;
par
{
do
{
a = a + 1 ;
}
od
}
with
{
do
{
b = b + 1 ;
}
od
}
with
{
do
{
c = c + 1 ;
}
od
} ;
} ;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.)