9 tagged algebraic effects, measured the same way as everything else here.
Browse within: compiler 5formal-verification 5
Instructions file CodexOpenCode
Instructions for thefrontside/effection, covering agents.md — effection agent contract, core invariants (do not violate), operations vs promises, structured concurrency is scope-owned and effects do not escape scopes.
Instructions file CodexOpenCode
Instructions for aallan/vera, covering agents.md — instructions for ai agents, for agents writing vera code, conformance programs as reference, workflow and commands.
Instructions file
Instructions for aallan/vera, covering claude.md — project orientation for claude code, virtual environment, key commands, project layout and writing vera code.
Instructions file CodexOpenCode
Instructions for jbwinters/jacquard-lang, covering agent notes, tooling, working rules, where to look and git hygiene.
Instructions file GitHub Copilot
Instructions for Sounio-lang/sounio, covering sounio language instructions for github copilot, compiler, critical syntax differences from rust, effects system (required) and variables and types.
Instructions file CodexOpenCode
Instructions for Sounio-lang/sounio, covering agents.md, steps, purpose, recovery + remote-first bootstrap and repository identity.
Instructions file
Instructions for Sounio-lang/sounio, covering claude.md, 1. calibration — read before any analysis, 2. project identity, 3. session bootstrap and 4. build & run.
Instructions file CodexOpenCode
AGENTS.md instructions for no-materials/hird, covering agents.md, north star, non-negotiables (definition of done), before implementing a ticket and rust workspace expectations.
Instructions file
Claude Code instructions for no-materials/hird, a project described as: A typed language for LLM agent systems on BEAM: effect-row tracking, auditable tool effects, typed actors, and OTP supervision, queryable by agents over MCP.