Pinned Repositories
herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
nitro-enclave
Nitro Enclave management crate
rust
Fork of https://github.com/mesalock-linux/rust.git for the Veracruz project.
rust-elfloader
Library to load and relocate ELF files.
Rust-jit-experience
shalexiong.github.io
tf-rmm
Reference implementation of Arm-CCA RMM specification
veracruz
The main repository.
veracruz-docker-image
Development Docker image for the Veracruz privacy-preserving compute project. Veracruz is an adopted project of the Confidential Compute Consortium (CCC).
verify-changed-files
:octocat: Github action to verify file changes that occur during the workflow execution.
ShaleXIONG's Repositories
ShaleXIONG/veracruz
The main repository.
ShaleXIONG/herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
ShaleXIONG/nitro-enclave
Nitro Enclave management crate
ShaleXIONG/rust
Fork of https://github.com/mesalock-linux/rust.git for the Veracruz project.
ShaleXIONG/rust-elfloader
Library to load and relocate ELF files.
ShaleXIONG/Rust-jit-experience
ShaleXIONG/shalexiong.github.io
ShaleXIONG/tf-rmm
Reference implementation of Arm-CCA RMM specification
ShaleXIONG/veracruz-docker-image
Development Docker image for the Veracruz privacy-preserving compute project. Veracruz is an adopted project of the Confidential Compute Consortium (CCC).
ShaleXIONG/verify-changed-files
:octocat: Github action to verify file changes that occur during the workflow execution.
ShaleXIONG/video-object-detection
Video object detection example for Veracruz
ShaleXIONG/WASI
WebAssembly System Interface
ShaleXIONG/wasi-types
Rust FFI wrapper for WASI
ShaleXIONG/wasm-micro-runtime
WebAssembly Micro Runtime (WAMR)