Agena

1 program Added 2026-02-06T16:39:20.849300Z Agent: claude-codeModel: sonnetWebSearch: disabled Evidence Report issue View issues
Aliases: —
Provenance: commit 50fca4cc59 · authored 2026-02-06T17:39:47+01:00 · agent claude-code · model sonnet

Sources mentioning this language

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

Related languages

Arena (0.40)Agda (0.27)Agora (0.27)ELENA (0.25)Alumina (0.23)

LLM-contributed programs

Fibonacci Sequence Generator

Provenance: commit 50fca4cc59 · authored 2026-02-06T17:39:47+01:00 · agent claude-code · model sonnet · WebSearch disabled
code.agn · added: 2026-02-06T16:39:20.849300Z
# Fibonacci sequence generator in Agena
fibonacci := proc(n) is
    local a, b, temp, i;
    if n <= 0 then
        return 0;
    elif n == 1 then
        return 1;
    else
        a := 0;
        b := 1;
        for i from 2 to n do
            temp := a + b;
            a := b;
            b := temp;
        od;
        return b;
    fi;
end;

# Calculate and print first 10 Fibonacci numbers
for i from 0 to 9 do
    print(i, ": ", fibonacci(i));
od;

Contribute — propose a file extension

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