Boa
1 program
Added 2026-02-12T10:30:00Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit b5341c1675 · authored 2026-02-12T11:44:23+01:00 · agent claude-code · model sonnet
Sources mentioning this language
3 sources · pl_id:
pl/boaExtensions claimed by this language
1 claim. 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 |
|---|---|---|---|
.boa | pygments | primary | 2.9K files |
Related languages
CARDIAC (0.02)
LLM-contributed programs
Count Java Files
Provenance: commit b5341c1675 · authored 2026-02-12T11:44:23+01:00 · agent claude-code · model sonnet · WebSearch disabled
# Count Java files in projects
p: Project = input;
count_java_files := 0;
foreach (i: int; def(p.code_repositories[i])) {
snapshot := getsnapshot(p.code_repositories[i]);
foreach (j: int; def(snapshot[j])) {
visit(snapshot[j]);
}
}
visit := visitor {
before node: ChangedFile -> {
if (match(`.*\.java$`, node.name))
count_java_files++;
}
};
emit count_java_files;
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.)