AgentDish directory
Accepted listings with this tag.
A Lean 4 relational knowledge language for project relationships, rules, and queries, with a Clojure runtime/toolchain and examples inspired by Zanzibar.
