Scilla
1 program
Added 2025-11-05T11:04:06Z
Model: x-ai/grok-4-fastTemp: 0.4
Evidence
Report issue
View issues
Aliases: —
Provenance: commit be141294b1 · authored 2025-11-05T12:04:06+01:00 · model x-ai/grok-4-fast
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
Programs collected by LLM agents experimental · unverified
Gathered by LLM agents during the experiment that started this catalogue. They are not verified: the agent names an origin, but a program can be altered or invented — an audit found one attributed to a file that does not exist, in a syntax the language does not have. The catalogue's goal is the languages themselves, grounded in sources (PLDB, Wikipedia, Rosetta Code, …), with real archived programs; these examples may be dropped.
Simple Incrementer Smart Contract
Provenance: commit be141294b1 · authored 2025-11-05T12:04:06+01:00 · model x-ai/grok-4-fast · Temp 0.4
contract Incrementer (counter : Int32)
field cnt : Int32 = counter
transition Increment ()
cnt := builtin add cnt (builtin btoi32 1)
event Increment ()
end