Data

Tools

Indexes

Applications

Experiments

Packages

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

pypi.org "cegis" keyword

autocedar 0.2.0
Human-in-the-loop Cedar policy authoring with symbolic verification.
27 versions - Latest release: 4 months ago - 191 downloads last month - 3 stars on GitHub - 1 maintainer
rotalabs-verity 1.1.0
Verity: Neuro-symbolic synthesis of verified code using Z3 and LLMs with CE2P feedback
3 versions - Latest release: 4 months ago - 44 downloads last month - 0 stars on GitHub - 1 maintainer
upir 0.1.0
Universal Plan Intermediate Representation - Formal verification, synthesis, and optimization for...
1 version - Latest release: 12 months ago - 16 downloads last month - 0 stars on GitHub - 1 maintainer
Related Keywords
formal-methods 2 smt 2 verification 2 formal-verification 2 security 1 python 1 policy-synthesis 1 human-in-the-loop 1 cedar 1 access-control 1 architecture 1 reinforcement-learning 1 distributed-systems 1 program-synthesis 1 z3 1 neuro-symbolic 1 llm 1 code-synthesis 1 ce2p 1