OpShin

Aliases: opshin

Provenance: commit bdf5a196e7 · authored 2026-02-12T13:20:44+01:00 · agent claude-code · model sonnet

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

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.

#!opshin
from opshin.prelude import *


def validator(context: ScriptContext) -> None:
    datum: int = own_datum_unsafe(context)
    redeemer: int = context.redeemer
    assert (
        datum + redeemer == 42
    ), f"Expected datum and redeemer to sum to 42, but they sum to {datum + redeemer}"