Alternatives and similar repositories for rego-cpp

Users that are interested in rego-cpp are comparing it to the libraries listed below

• microsoft / LSKV
  A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)
  ☆39Updated 2 years ago
• microsoft / monza
  Research unikernel for virtualized services
  ☆52Updated 3 years ago
• sigstore / protobuf-specs
  Sigstore's Protocol Buffer specifications
  ☆34Updated this week
• cedar-policy / cedar-spec
  Definitional implementation of Cedar language and utilities for DRT
  ☆147Updated this week
• microsoft / confidential-sidecar-containers
  This is a collection of sidecar containers that can be incorporated within confidential container groups on Azure Container Instances.
  ☆38Updated last month
• facebookresearch / acs
  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
• microsoft / verified-storage
  Storage systems with verified correctness properties
  ☆59Updated this week
• gravitational / rbac-linter
  ☆33Updated last year
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆277Updated this week
• cncf / gitvote
  GitVote is a GitHub application that allows holding a vote on issues and pull requests
  ☆128Updated this week
• microsoft / confidential-ai
  Confidential AI samples
  ☆46Updated 2 years ago
• microsoft / verona-rt
  The runtime for the Verona project
  ☆38Updated 3 months ago
• sigstore / docs
  Sigstore documentation
  ☆120Updated last month
• faasm / faabric
  Messaging and state layer for distributed serverless applications
  ☆69Updated 3 months ago
• microsoft / ccfdns
  A CCF-based, attested DNS server
  ☆15Updated 4 months ago
• open-telemetry / otel-arrow-collector
  [DoNotUse] OpenTelemetry Collector with Apache Arrow support FORK OF OPENTELEMETRY COLLECTOR
  ☆31Updated 2 years ago
• Cjen1 / consensus-tlaplus
  ☆11Updated last year
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆21Updated last year
• DataDog / ddprof
  The Datadog Native Profiler for Linux
  ☆57Updated last week
• confidential-containers / trustee
  Attestation and Secret Delivery Components
  ☆140Updated this week
• oasis-tcs / sarif-spec
  OASIS SARIF TC: Repository for development of the draft standard, where requests for modification should be made via Github Issues
  ☆192Updated this week
• microsoft / mystikos
  Tools and runtime for launching unmodified container images in Trusted Execution Environments
  ☆151Updated 6 months ago
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆147Updated this week
• nyrkio / nyrkio
  Nyrkiö is an open source platform for detecting performance changes in a Continuous Performance Engineering workflow
  ☆60Updated this week
• google-research / raksha
  ☆37Updated 3 weeks ago
• Azure / AgentBaker
  Agent Baker is aiming to provide a centralized, portable k8s agent node provisioning lib as well as rich support on different OS image wi…
  ☆137Updated this week
• edgelesssys / edgelessdb
  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
• graspologic-org / graspologic-native
  graspologic-native is a library of rust components to add additional capability to graspologic a python library for intelligently buildin…
  ☆18Updated 10 months ago
• sigstore / root-signing
  TUF repository for Sigstore trust root
  ☆117Updated last week
• cncf / clowarden
  CLOWarden is a tool that manages access to resources across multiple services
  ☆60Updated last month