Sally
1 program
Added 2026-03-12T10:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit be8ded1227 · authored 2026-03-12T05:32:19+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
2 sources · pl_id:
pl/sallyRelated languages
LLM-contributed programs
Simple Counter
Provenance: commit be8ded1227 · authored 2026-03-12T05:32:19+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
;; Simple counter: x starts at 0, increments by 1 each step
;; Property: x is always non-negative
(define-state-type counter_type
((x Int)))
(define-states initial_states counter_type
(= x 0))
(define-transition increment counter_type
(= next.x (+ x 1)))
(define-transition-system counter counter_type
initial_states
increment)
(query counter (>= x 0))
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.)