Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

autocedar

Human-in-the-loop Cedar policy authoring with symbolic verification.

Ecosystem
pypi.org
Latest Release
0.2.0
4 months ago
Versions
27
Downloads
191 last month
    Loading...
    Readme
    Loading...
    Links
    Registry pypi.org
    Source Repository
    Docs Documentation
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:pypi/autocedar
    spec
    License Apache-2.0
    First Release 5 months ago
    Last Synced 22 days ago
    Keywords
    access-control cedar cegis formal-methods human-in-the-loop policy-synthesis verification formal-verification python security
    Repository
    Stars 3 on GitHub
    Forks 0 on GitHub
    repos.ecosyste.ms
    Rankings on pypi.org
    Downloads Top 6.2%