Found 421 repositories(showing 30)
veracruz-project
Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
veracruz-project
Veracruz branches of https://gitlab.com/arm-research/security/icecap/icecap
veracruz-project
Development Docker image for the Veracruz privacy-preserving compute project. Veracruz is an adopted project of the Confidential Compute Consortium (CCC).
veracruz-project
The Supervisionary proof-checking kernel for higher-order logic
juanjo3156
Practicas del taller de python 2022 (Instituto Tecnológico de Veracruz)
veracruz-project
A repository of larger example Veracruz computations
veracruz-project
Fork of https://github.com/bytecodealliance/wasmtime for the Veracruz project.
AlexeyPechnikov
ParaView project for geological exploration on El Cobre Property, Veracruz, Mexico
veracruz-project
Fork of https://github.com/mesalock-linux/rust-optee-trustzone-sdk for the Veracruz project.
jpaltahona
Preuba tecnica pluriza
AyuntamientoDeXalapa
API pública para conocer la ubicación e historial de los vehículos de Limpia Pública del Municipio de Xalapa, Veracruz.
veracruz-project
Fork of https://github.com/mesalock-linux/ring-sgx for the Veracruz project.
veracruz-project
Fork of https://github.com/ctz/rustls for the Veracruz project.
veracruz-project
Fork of https://github.com/mesalock-linux/webpki for the Veracruz project.
veracruz-project
The Veracruz project homepage. Veracruz is an adopted project of the Confidential Compute Consortium (CCC).
veracruz-project
Video object detection example for Veracruz
codeandoxalapa
API para el servicio de Limpia Pública del Municipio de Xalapa, Veracruz.
XalapaRust
Página web del grupo de usuarios de #rust-lang en Xalapa, Veracruz. México
camillevo
No description available
Comicao1
No description available
carloshr1098
No description available
Klinsmann
Sitio web Ecoplag Veracruz V1
emsanchez
tema de veracruz digital v1
MizarChiquito
No description available
citlalyyeyis
No description available
No description available
carlosmart7104
Sitio de Arduino Day Veracruz (Ediciones 2018 y 2019)
MauMccoy
Designed for a wild-life research project in Veracruz, Mexico.
veracruz-project
Veracruz branches of https://gitlab.com/arm-research/security/icecap/rust
veracruz-project
Fork of https://github.com/tgangwani/RegAlloc.git for the Veracruz project.