Carlos's repositories
latex-docker
A zero-install LaTeX distribution
aws-sdk-cpp
AWS SDK for C++
conan-center-index
Recipes for the ConanCenter repository
confidential-containers
Confidential Containers Community
csg-faasm
Useful Faasm-related stuff.
DeathStarBench
Open-source benchmark suite for cloud microservices
faabric
Messaging and state layer for distributed serverless applications
csg-web
Personal website
faasm-experiments
Experiments and transient code related to Faasm
guest-components
Confidential Containers Guest Tools and Components
hoststats
Gather resource usage from remote hosts over time using a minimal HTTP API.
kata-containers
Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/
latexmk-docker
Useful LaTeX environment on :whale:
microsoft-azure-attestation
Microsoft Azure Attestation is a solution for attesting Trusted Execution Environments (TEEs)
mml-autumn-2022
Materials for Autumn 2022 Mathematics for Machine Learning course.
set-compose-version-action
Action to set a specific `docker compose` version in a GHA runner.
simple-kbs
Key Broker Server for SEV(-ES)
useful_scripts
Personal scripts that I or someone I know may need at some point.
wamr-cr
Checkpoint/Restore of WebAssembly modules in WAMR
wasm-micro-runtime
WebAssembly Micro Runtime (WAMR)
WAVM
WebAssembly Virtual Machine