Ravi

1 program Added 2026-02-11T08:44:00Z Agent: claude-code-recoveryModel: sonnetWebSearch: disabled Evidence Report issue View issues
Aliases: —
Provenance: commit 664af1a10a · authored 2026-02-11T13:26:38+01:00 · agent claude-code-recovery · model sonnet

Sources mentioning this language

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

Related languages

Savi (0.33)Raven (0.30)Rail (0.20)Rant (0.20)Rash (0.20)

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.

Factorial with Type Annotations

Provenance: commit 664af1a10a · authored 2026-02-11T13:26:38+01:00 · agent claude-code-recovery · model sonnet · WebSearch disabled
code.lua · added: 2026-02-11T08:44:00Z
-- Factorial function with Ravi type annotations
function factorial(n: integer): integer
  if n <= 1 then
    return 1
  else
    return n * factorial(n - 1)
  end
end

-- Test the function
for i = 1, 10 do
  print(string.format("factorial(%d) = %d", i, factorial(i)))
end

Contribute — propose a file extension

Tell us where to find evidence about Ravi (mapped to pl/ravi). 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/Ravi/programs/<sha>/. Keep under ~200 lines.
(or open the pre-filled issue directly)
← ravenscar-profile Raw token data →