microsoft / rego-cppLinks
A C++ interpreter for the OPA policy language Rego
☆41Updated 2 months ago
Alternatives and similar repositories for rego-cpp
Users that are interested in rego-cpp are comparing it to the libraries listed below
Sorting:
- Regorus - A fast, lightweight Rego (OPA policy language) interpreter written in Rust.☆234Updated this week
- ☆31Updated last year
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆36Updated last year
- Research unikernel for virtualized services☆51Updated 2 years ago
- Confidential AI samples☆45Updated last year
- Storage systems with verified correctness properties☆55Updated last week
- Messaging and state layer for distributed serverless applications☆68Updated last week
- Azure Cosmos TLA+ specifications☆22Updated 8 months ago
- Sigstore's Protocol Buffer specifications☆33Updated this week
- Confidential Containers Guest Tools and Components☆107Updated this week
- A Python implementation of the SIEVE eviction algorithm☆19Updated last year
- Definitional implementation of Cedar language and utilities for DRT☆138Updated this week
- Generic Attestation Service☆43Updated last year
- Open Policy Agent WebAssembly SDK for Python☆13Updated 2 years ago
- Template repository for CCF apps☆15Updated 9 months ago
- DBOS file system using Voltdb☆19Updated 4 years ago
- Kubernetes operator for declaratively deploying wasmCloud applications (via wadm) and hosts on Kubernetes.☆39Updated 3 weeks ago
- Distributed termination detection on a ring, due to Shmuel Safra:☆52Updated last year
- Interfaces between SGX SDKs and the Azure Attestation SGX Certification Cache.☆64Updated 2 weeks ago
- The (B)ig (F)unction (T)axonomy is a detailed reference for common compute functions executed by different libraries, databases, and tool…☆17Updated 10 months ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆133Updated this week
- A command-line interface tool for creating, managing, and verifying Content Provenance and Authenticity (C2PA) manifests for machine lear…☆18Updated last week
- 🥑 Inspect and understand an organization's software supply chain using AI to enable stakeholders to make actionable decisions about soft…☆21Updated last year
- Tools and runtime for launching unmodified container images in Trusted Execution Environments☆151Updated 2 months ago
- Flow Integrity Deterministic Enforcement System. Mechanisms for securing AI agents with information-flow control.☆55Updated 4 months ago
- EdgelessDB is a MySQL-compatible database for confidential computing. It runs entirely inside a secure enclave and comes with advanced fe…☆169Updated 2 years ago
- The runtime for the Verona project☆35Updated 3 weeks ago
- Nyrkiö is an open source platform for detecting performance changes in a Continuous Performance Engineering workflow☆47Updated this week
- A containerd shim for running Spin Applications.☆112Updated 2 weeks ago
- Meta’s Anonymous Credential Service (ACS) is designed to enable it to authenticate users in a “de-identified manner,” permitting access t…☆75Updated last year