Block or Report
Block or report achamayou
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
CCF Public
Forked from microsoft/CCFConfidential Consortium Framework
C++ Apache License 2.0 UpdatedJun 21, 2024 -
didx509cpp Public
Forked from microsoft/didx509cppA C++, header-only DID:x509 resolver
C++ MIT License UpdatedJun 10, 2024 -
ccf-app-template Public template
Forked from microsoft/ccf-app-templateTemplate repository for CCF apps
C++ MIT License UpdatedFeb 7, 2024 -
CommunityModules Public
Forked from tlaplus/CommunityModulesTLA+ snippets, operators, and modules contributed and curated by the TLA+ community
TLA MIT License UpdatedFeb 6, 2024 -
tlaplus Public
Forked from tlaplus/tlaplusTLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Java MIT License UpdatedFeb 6, 2024 -
ravl Public
Forked from microsoft/ravlRemote Attestation Verification Library
C++ MIT License UpdatedJan 26, 2024 -
ccf-app-samples Public
Forked from microsoft/ccf-app-samplesSample applications for the Confidential Consortium Framework (CCF)
TypeScript MIT License UpdatedJan 19, 2024 -
jwcrypto Public
Forked from latchset/jwcryptoImplements JWK,JWS,JWE specifications using python-cryptography
Python GNU Lesser General Public License v3.0 UpdatedDec 11, 2023 -
Trieste Public
Forked from microsoft/TriesteA term rewriting system for experimental programming language development.
C++ MIT License UpdatedAug 25, 2023 -
rego-cpp Public
Forked from microsoft/rego-cppA C++ interpreter for the OPA policy language Rego
C++ MIT License UpdatedAug 18, 2023 -
Azure-DCAP-Client Public
Forked from microsoft/Azure-DCAP-ClientInterfaces between SGX SDKs and the Azure Attestation SGX Certification Cache.
C++ MIT License UpdatedJul 13, 2023 -
-
quint Public
Forked from informalsystems/quintQuint is a specification language based on the Temporal Logic of Actions
TypeScript Apache License 2.0 UpdatedJan 18, 2023 -
pycose Public
Forked from TimothyClaeys/pycoseA Python implementation of the COSE specification (CBOR Object Signing and Encryption) described in RFC 8152.
Python Other UpdatedNov 8, 2022 -
openenclave Public
Forked from openenclave/openenclaveSDK for developing enclaves
C MIT License UpdatedMay 5, 2022 -
cimetrics Public
Forked from jumaffre/cimetricsTrack your metrics in GitHub PR to avoid unwanted regressions
Python MIT License UpdatedDec 31, 2021 -
oe-sgx-base-images Public
Base images for Open Enclave SGX applications
MIT License UpdatedJul 1, 2021 -
openenclave-curl Public
Forked from openenclave/openenclave-curllibcurl build files to enable use in Open Enclave applications
C MIT License UpdatedMay 4, 2021 -
-
snmalloc Public
Forked from microsoft/snmallocMessage passing based allocator
C++ MIT License UpdatedJan 27, 2021 -
alloydocs Public
Forked from hwayne/alloydocsProposed documentation for alloytools.org
Python MIT License UpdatedDec 23, 2020 -
meeting-backgrounds Public
Forked from letmaik/meeting-backgrounds🖼️ Download and manage meeting background collections.
Python MIT License UpdatedJul 30, 2020 -
openenclave-ci Public
Forked from openenclave/openenclave-ciGroovy MIT License UpdatedJul 17, 2020 -
oe-engine Public
Forked from microsoft/oe-engineACC template generation engine
Go MIT License UpdatedFeb 21, 2020 -
everest-ci Public
Forked from project-everest/everest-ciCI scripts for project everest
Shell UpdatedMay 21, 2019 -
eEVM Public
Forked from microsoft/eEVMEnclave ready EVM (eEVM) is an open-source, standalone, embeddable, C++ implementation of the Ethereum Virtual Machine.
C++ MIT License UpdatedApr 25, 2019 -
mbedtls Public
Forked from project-everest/mbedtlsAn open source, portable, easy to use, readable and flexible SSL library
C Other UpdatedOct 31, 2018