Contribution research for agents: check repository guidance, related work, code context, and validation before writing a patch.
-
Updated
Aug 17, 2026 - Go
Contribution research for agents: check repository guidance, related work, code context, and validation before writing a patch.
Go implementation of the spatiotemporal composability paradigm — the programming model behind Cordis and DeepSeek Harness (dsh). Revertible effects, reactive coeffects, fiber lifecycle, WASM hot-reload via wazero. Specified by the paper, verified by its five metatheory theorems.
Add a description, image, and links to the cordis topic page so that developers can more easily learn about it.
To associate your repository with the cordis topic, visit your repo's landing page and select "manage topics."