Koka
1 program
Added 2025-10-22T14:21:57Z
Model: anthropic/claude-3.5-sonnetTemp: 0.4
Evidence
Report issue
View issues
Aliases: koka-lang
Provenance: commit be175d2cd5 · authored 2025-10-22T16:21:57+02:00 · model anthropic/claude-3.5-sonnet
Sources mentioning this language
5 sources · pl_id:
pl/kokaExtensions claimed by this language
3 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 |
|---|---|---|---|
.kk | linguist | primary | 11.8K files |
.kk | pygments | primary | 11.8K files |
.kki | pygments | secondary | 452 files |
Related languages
LLM-contributed programs
Fibonacci with Effect Handlers
Provenance: commit be175d2cd5 · authored 2025-10-22T16:21:57+02:00 · model anthropic/claude-3.5-sonnet · Temp 0.4
public fun fib( n : int ) : div int
if n <= 1 then n else fib(n-1) + fib(n-2)
public fun main()
println("fib(10) = " + fib(10).show())
val t0 = time()
val x = fib(35)
val t1 = time()
println("fib(35) = " + x.show() + ", took: " + (t1 - t0).show() + " seconds")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.)