veracruz-project's repositories
supervisionary
The Supervisionary proof-checking kernel for higher-order logic
rust-optee-trustzone-sdk
Fork of https://github.com/mesalock-linux/rust-optee-trustzone-sdk for the Veracruz project.
rust-protobuf
Fork of https://github.com/mesalock-linux/rust-protobuf-sgx for the Veracruz project.
atty
Fork of https://github.com/softprops/atty.git for the Veracruz project.
dirs
a low-level library that provides config/cache/data paths, following the respective conventions on Linux, macOS and Windows
erased-serde
Fork of https://github.com/mesalock-linux/erased-serde-sgx.git for the Veracruz project.
icecap-rust
Veracruz branches of https://gitlab.com/arm-research/security/icecap/rust
incubator-teaclave-sgx-sdk
Fork of https://github.com/apache/incubator-teaclave-sgx-sdk for the Veracruz project.
indexmap
Fork of https://github.com/mesalock-linux/indexmap-sgx/ for the Veracruz project.
json
Fork of https://github.com/mesalock-linux/serde-json-sgx/ for the Veracruz project.
num-integer
Fork of https://github.com/mesalock-linux/num-integer-sgx.git for the Veracruz project.
num-rational
Fork of https://github.com/mesalock-linux/num-rational-sgx for the Veracruz project.
parity-wasm
Fork of https://github.com/mesalock-linux/parity-wasm-sgx.git for the Veracruz project.
pinecone
Minimalistic serde format supporting no_std + alloc
region-rs
Fork of https://github.com/darfink/region-rs for the Veracruz project.
ring
Fork of https://github.com/mesalock-linux/ring-sgx for the Veracruz project.
rust-errno
Fork of https://github.com/lambda-fairy/rust-errno for the Veracruz project.
veracruz-vfs-bench
Benchmarking Veracruz's VFS, work in progress
wasi-types
Rust FFI wrapper for WASI