achamayou

alloydocs

Proposed documentation for alloytools.org

Azure-DCAP-Client

Interfaces between SGX SDKs and the Azure Attestation SGX Certification Cache.

CCF

Confidential Consortium Framework

ccf-app-samples

Sample applications for the Confidential Consortium Framework (CCF)

ccf-app-template

Template repository for CCF apps

cimetrics

Track your metrics in GitHub PR to avoid unwanted regressions

CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

didx509cpp

A C++, header-only DID:x509 resolver

eEVM

Enclave ready EVM (eEVM) is an open-source, standalone, embeddable, C++ implementation of the Ethereum Virtual Machine.

everest-ci

CI scripts for project everest

json

JSON for Modern C++

mbedtls

An open source, portable, easy to use, readable and flexible SSL library

jwcrypto

Implements JWK,JWS,JWE specifications using python-cryptography

meeting-backgrounds

🖼️ Download and manage meeting background collections.

oe-engine

ACC template generation engine

oe-sgx-base-images

Base images for Open Enclave SGX applications

openenclave

SDK for developing enclaves

openenclave-ci

openenclave-curl

libcurl build files to enable use in Open Enclave applications

peps

Pyrona PEP WIP

pycose

A Python implementation of the COSE specification (CBOR Object Signing and Encryption) described in RFC 8152.

quint

Quint is a specification language based on the Temporal Logic of Actions

ravl

Remote Attestation Verification Library

rego-cpp

A C++ interpreter for the OPA policy language Rego

snmalloc

Message passing based allocator

tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Trieste

A term rewriting system for experimental programming language development.