Strobilus

Strobilus is a language designed to express effects over policy-specific data. Strobilus is built to seamlessly complement and integrate with Amazon’s Cedar, allowing developers to write stateful policies without modifying Cedar’s core syntax or evaluation engine. Strobilus is distinguished by its formal semantics, a strong typing system, and a guarantee of termination, which facilitates rigorous analysis and verification of policies.

The GitHub organization strobilus-lang contains the implementation and collects all the related works.