- Redmond, WA
Highlights
- Pro
-
regorus Public
Forked from microsoft/regorusRegorus - Rego interpreter, analyzer and validator written in Rust
-
-
-
-
A Playground for the Rego Virtual Machine
UpdatedSep 21, 2025 -
rego-compare Public
Comparison of Rego interpreters
-
rego-experiments Public
How do I express something in Rego
-
-
cedar-examples Public
Forked from cedar-policy/cedar-examplesSome examples of using the Cedar language to specify authorization
Rust Apache License 2.0 UpdatedApr 24, 2024 -
nvattest Public
Implementation of NVIDIA Confidential GPU Attestation within SGX Enclaves
C++ MIT License UpdatedApr 8, 2024 -
-
openenclave Public
Forked from openenclave/openenclaveSDK for developing enclaves
C MIT License UpdatedNov 3, 2023 -
-
-
mystikos Public
Forked from microsoft/mystikosTools and runtime for launching unmodified container images in Trusted Execution Environments
C UpdatedJan 30, 2023 -
containerd Public
Forked from confidential-containers/containerdAn open and reliable container runtime
Go Apache License 2.0 UpdatedJun 27, 2022 -
aks-benchmark-fio Public
Analysis of IO performance in AKS using fio benchmark tool
-
-
-
mystikos-debug-utils Public
Utilities for debugging Mystikos
-
oeedger8r-cpp Public
Forked from openenclave/oeedger8r-cppAn implementation of oeedger8r in C++
C++ MIT License UpdatedJul 28, 2021 -
-
apkman Public
Package Manager and Toolbox for enclave development
-
-
-
-
-
gperftools Public
Forked from gperftools/gperftoolsMain gperftools repository
C++ BSD 3-Clause "New" or "Revised" License UpdatedJul 2, 2020 -
imported-ecall-issue Public
Demonstrate issue with imported ecall function id conflict
Shell MIT License UpdatedJun 17, 2020 -
gdbw Public
A TUI (Textual User Interface) for GDB





