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 / scitt-ccf-ledger
  Supply Chain Integrity Transparency and Trust ledger application using Confidential Consortium Framework (CCF)
  ☆41Updated 2 weeks ago
• microsoft / confidential-sidecar-containers
  This is a collection of sidecar containers that can be incorporated within confidential container groups on Azure Container Instances.
  ☆38Updated 3 weeks ago
• microsoft / verified-storage
  Storage systems with verified correctness properties
  ☆59Updated last month
• sigstore / protobuf-specs
  Sigstore's Protocol Buffer specifications
  ☆34Updated this week
• microsoft / confidential-ai
  Confidential AI samples
  ☆46Updated last year
• microsoft / fides
  Flow Integrity Deterministic Enforcement System. Mechanisms for securing AI agents with information-flow control.
  ☆72Updated 7 months ago
• 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
• cedar-policy / cedar-spec
  Definitional implementation of Cedar language and utilities for DRT
  ☆144Updated this week
• tlaplus-workshops / ewd998
  Distributed termination detection on a ring, due to Shmuel Safra:
  ☆52Updated last year
• faasm / faabric
  Messaging and state layer for distributed serverless applications
  ☆69Updated 3 months ago
• google-research / raksha
  ☆37Updated last month
• microsoft / ccf-app-template
  Template repository for CCF apps
  ☆16Updated 11 months ago
• 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
• microsoft / ccfdns
  A CCF-based, attested DNS server
  ☆15Updated 3 months ago
• facebookresearch / fbpcs
  FBPCS (Facebook Private Computation Solutions) leverages secure multi-party computation (MPC) to output aggregated data without making u…
  ☆152Updated last year
• sigstore / docs
  Sigstore documentation
  ☆116Updated 3 weeks ago
• sigstore / model-transparency
  Supply chain security for ML
  ☆214Updated this week
• DataDog / ddprof
  The Datadog Native Profiler for Linux
  ☆57Updated 3 weeks ago
• microsoft / Precio
  Precio is a Rust library that implements the Precio protocol for computing private layered histograms and sums.
  ☆19Updated 6 months ago
• microsoft / codeql
  CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
  ☆19Updated last week
• 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
• microsoft / ccf-app-samples
  Sample applications for the Confidential Consortium Framework (CCF)
  ☆18Updated 11 months ago
• Mossaka / containerd-wasm-shims
  ☆11Updated 3 years ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆269Updated this week
• antithesishq / glitch-grid
  Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
  ☆38Updated 2 weeks ago
• microsoft / EVM-for-CCF
  Sample EVM application for CCF
  ☆14Updated 4 years ago
• DistributedClocks / shiviz
  A tool to visualize distributed system logs
  ☆85Updated 4 years ago
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆22Updated 11 months ago