Clarity
1 program
Added 2025-11-05T08:14:24Z
Model: x-ai/grok-4-fastTemp: 0.4
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 4b9f5d0eb2 · authored 2025-11-05T09:14:24+01:00 · model x-ai/grok-4-fast
Sources mentioning this language
3 sources · pl_id:
pl/clarityExtensions 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 |
|---|---|---|---|
.clar | linguist | primary | 13.9K files |
Related languages
LLM-contributed programs
Counter Contract
Provenance: commit 4b9f5d0eb2 · authored 2025-11-05T09:14:24+01:00 · model x-ai/grok-4-fast · Temp 0.4
(define-data-var count uint u0)
(define-read-only (get-count)
(var-get count))
(define-public (increment)
(begin
(var-set count (+ u1 (var-get count)))
(ok true)))
(define-public (decrement)
(begin
(if (> (var-get count) u0)
(begin
(var-set count (- (var-get count) u1))
(ok true))
(err u0))))
(define-public (reset)
(begin
(var-set count u0)
(ok true)))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.)