GitHub repository: BraneFramework/policy-reasoner
Primary language: Rust
Description: Implements the famous policy reasoner, known as `checker` in Brane terminology. Builds on top of reasoners like eFLINT and meant to be queried by Brane.