Rd's repositories
gramine
A library OS for Linux multi-process applications, with Intel SGX support
mortgage_calculator
This is used for calculation on mortgage
linux-sgx
Intel SGX for Linux*
discord-bot
Simple discord bot to play music and manage your server
keyhouse
Keyhouse is a skeleton of general-purpose Key Management System written in Rust.
spire-workload-rs
APIs to help Rust programs use Spire workload API
sevsecret
copied from https://blog.hansenpartnership.com/wp-uploads/2020/12/sevsecret.txt, modified to support qemu 6.0.0
Presentation_FW
PDFs of all the Gitpitch presentations
cargo_fuzz_sample
sample 1 for https://rust-fuzz.github.io/book/cargo-fuzz/structure-aware-fuzzing.html#enable-the-main-projects-arbitrary-cargo-feature-for-the-fuzz-targets
graphene
Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support
spark
Apache Spark - A unified analytics engine for large-scale data processing
occlum
Occlum is a memory-safe, multi-process library OS for Intel SGX
opaque
An encrypted data analytics platform
edgelessrt
Edgeless RT is an SDK and a runtime for Intel SGX. It combines top-notch Go support with simplicity, robustness and a small TCB. Developing confidential microservices has never been easier! C++17 and Rust (experimental) are also supported.
trillian-examples
A place to store some examples which use Trillian APIs to build things.
lodash
A modern JavaScript utility library delivering modularity, performance, & extras.
tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
incubator-teaclave-sgx-sdk
Rust SGX SDK provides the ability to write Intel SGX applications in Rust Programming Language.
certificate-transparency-go
Auditing for TLS certificates (Go code)
configs-1
My configuration files
rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
cs140e-20win
cs140e course materials.
rust-sgx
The Fortanix Rust Enclave Development Platform
cortex-m-quickstart
Template to develop bare metal applications for Cortex-M microcontrollers
ardupilot
ArduPlane, ArduCopter, ArduRover source
cs140e
CS140e without Rust is not CS140e. Sergio Benitez plz come back.