- San Jose
- http://dayeol.github.io
Stars
MSLK (Meta Superintelligence Labs Kernels) is a collection of PyTorch GPU operator libraries that are designed and optimized for GenAI training and inference, such as FP8 row-wise quantization and …
A framework for efficient model inference with omni-modality models
A high-throughput and memory-efficient inference and serving engine for LLMs
📝 A website for automatically generating elegant LaTeX resumes.
Confidential Containers Shim Firmware
The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across different cloud service providers, and generate Risc0 and SP1 ZK…
Confidential Containers Community
PrivacyGo Data Clean Room (PGDCR) is an open-source project for easily building and deploying data collaboration framework to the cloud using trusted execution environments (TEEs).
[ICML 2024] LLMCompiler: An LLM Compiler for Parallel Function Calling
Synergistic fusion of privacy-enhancing technologies for enhanced privacy protection.
Ray is an AI compute engine. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.
The CORE-V CVA6 is a highly configurable, 6-stage RISC-V core for both application and embedded applications. Application class configurations are capable of booting Linux.
Formal specification and verification of hardware, especially for security and privacy.
A work-in-progress language and compiler for verified low-level programming
Simulation: Root of Trust in Keystone Enclave Architecture
An edger8r glue code generator for Keystone Enclave
An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more
Keystone Enclave (QEMU + HiFive Unleashed)
seL4 runtime for Keystone and tests (deprecated in v0.5)
User space mappable dma buffer device driver for Linux.
Loadable Module for Keystone Enclave
💎 🐳 A super customizable Jekyll theme for personal site, team site, blog, project, documentation, etc.