microsoft / rego-cpp
A C++ interpreter for the OPA policy language Rego
☆34Updated last week
Alternatives and similar repositories for rego-cpp:
Users that are interested in rego-cpp are comparing it to the libraries listed below
- Supply Chain Integrity Transparency and Trust ledger application using Confidential Consortium Framework (CCF)☆36Updated this week
- Storage systems with verified correctness properties☆35Updated this week
- Research unikernel for virtualized services☆48Updated 2 years ago
- Regorus - A fast, lightweight Rego (OPA policy language) interpreter written in Rust.☆172Updated 2 weeks ago
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆35Updated last year
- A library for testing concurrent C++ code and deterministically reproducing bugs.☆43Updated 2 years ago
- ☆29Updated 11 months ago
- CoseSignTool is a platform-agnostic command line application to COSE sign files and validate COSE signatures. CoseHandler is a library o…☆43Updated last month
- Protocol Buffer specifications☆27Updated this week
- Confidential Containers Guest Tools and Components☆86Updated this week
- Confidential AI samples☆39Updated last year
- ☆21Updated this week
- Our mission is to catalyze sustainable improvements to critical open source software projects and ecosystems.☆90Updated last week
- Securing open-source package ecosystems by originating, validating, and augmenting build attestations.☆33Updated this week
- A term rewriting system for experimental programming language development.☆39Updated this week
- SCITT API Emulator☆10Updated 3 months ago
- ☆11Updated 4 months ago
- A set of platform-agnostic tools to measure the performance of various BPF helper functions.☆23Updated this week
- go-tdx-guest offers a library to wrap the /dev/tdx-guest device in Linux, as well as a library for attestation verification of fundamenta…☆61Updated 3 weeks ago
- ☆35Updated this week
- Protocol and libraries for sending and receiving OpenTelemetry data using Apache Arrow☆97Updated this week
- Tooling and library for generation, validation and verification of supply chain metadata documents and frameworks☆31Updated last year
- A Python implementation of the SIEVE eviction algorithm☆18Updated last year
- A TUF repository and signing tool☆28Updated this week
- Messaging and state layer for distributed serverless applications☆65Updated 5 months ago
- The Datadog Native Profiler for Linux☆52Updated last month
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- Supply chain security for ML☆129Updated 2 weeks ago
- Template repository for CCF apps☆13Updated last month
- Microsoft OnPremise Cloud SDK for GoLang☆14Updated last week