microsoft / rego-cppLinks
A C++ interpreter for the OPA policy language Rego
☆41Updated this week
Alternatives and similar repositories for rego-cpp
Users that are interested in rego-cpp are comparing it to the libraries listed below
Sorting:
- Supply Chain Integrity Transparency and Trust ledger application using Confidential Consortium Framework (CCF)☆39Updated this week
- [DoNotUse] OpenTelemetry Collector with Apache Arrow support FORK OF OPENTELEMETRY COLLECTOR☆31Updated 2 years ago
- Sigstore's Protocol Buffer specifications☆33Updated last week
- Storage systems with verified correctness properties☆56Updated 2 weeks ago
- Research unikernel for virtualized services☆51Updated 2 years ago
- Definitional implementation of Cedar language and utilities for DRT☆139Updated this week
- Messaging and state layer for distributed serverless applications☆68Updated last month
- Process-based Confidential Container Runtime☆84Updated 3 weeks ago
- This is a collection of sidecar containers that can be incorporated within confidential container groups on Azure Container Instances.☆36Updated last week
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆262Updated this week
- Split-Trust Encryption Tool for ubiquitous data encryption.☆39Updated this week
- A Python implementation of the SIEVE eviction algorithm☆19Updated last year
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆36Updated last year
- Nyrkiö is an open source platform for detecting performance changes in a Continuous Performance Engineering workflow☆52Updated this week
- Azure Cosmos TLA+ specifications☆22Updated 9 months ago
- Kubernetes operator for declaratively deploying wasmCloud applications (via wadm) and hosts on Kubernetes.☆40Updated this week
- 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
- Generic Attestation Service☆43Updated last year
- Sigstore documentation☆109Updated last week
- vAccel is a runtime library that aims to help development of applications using hardware acceleration☆44Updated this week
- Meta’s Anonymous Credential Service (ACS) is designed to enable it to authenticate users in a “de-identified manner,” permitting access t…☆76Updated last year
- Tools and runtime for launching unmodified container images in Trusted Execution Environments☆151Updated 3 months ago
- ☆23Updated 4 months ago
- GitVote is a GitHub application that allows holding a vote on issues and pull requests☆125Updated this week
- ☆35Updated last week
- This repo provides a C API for AWS Nitro Enclaves, including a KMS SDK that integrates it with attestation.☆111Updated 7 months ago
- Protocol and libraries for sending and receiving OpenTelemetry data using Apache Arrow☆249Updated this week
- Ability to create Kata pods using cloud provider APIs aka the peer-pods approach☆63Updated this week
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆38Updated this week
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆135Updated this week