Skip to content
View dayeol's full-sized avatar
🏠
Working from home
🏠
Working from home

Block or report dayeol

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

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 …

Python 110 59 Updated Jun 23, 2026

A framework for efficient model inference with omni-modality models

Python 5,242 1,158 Updated Jun 23, 2026

A high-throughput and memory-efficient inference and serving engine for LLMs

Python 83,591 18,341 Updated Jun 23, 2026

📝 A website for automatically generating elegant LaTeX resumes.

HTML 3,567 490 Updated Jun 22, 2026

Private Cloud Compute (PCC)

Swift 1,018 104 Updated May 15, 2026

Confidential Containers Shim Firmware

Rust 126 72 Updated Jun 22, 2026

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…

Rust 35 26 Updated Apr 20, 2026

Confidential Containers Community

362 78 Updated May 29, 2026

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).

Go 35 3 Updated Oct 31, 2024

[ICML 2024] LLMCompiler: An LLM Compiler for Parallel Function Calling

Python 1,859 135 Updated Jul 10, 2024

Synergistic fusion of privacy-enhancing technologies for enhanced privacy protection.

C++ 167 18 Updated Jan 24, 2025

Ray is an AI compute engine. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

Python 42,976 7,714 Updated Jun 23, 2026

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.

Assembly 2,976 964 Updated Jun 22, 2026

Verifying OpenTitan

Dafny 29 4 Updated Aug 20, 2023

Formal specification and verification of hardware, especially for security and privacy.

Coq 133 20 Updated May 19, 2022

A work-in-progress language and compiler for verified low-level programming

Rocq Prover 332 55 Updated Jun 19, 2026

Simulation: Root of Trust in Keystone Enclave Architecture

C 3 Updated Jan 1, 2020

An edger8r glue code generator for Keystone Enclave

OCaml 1 Updated Nov 15, 2019

An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more

Scala 2,294 877 Updated Jun 22, 2026

Keystone Enclave (QEMU + HiFive Unleashed)

C 530 165 Updated Mar 10, 2025

seL4 runtime for Keystone and tests (deprecated in v0.5)

Shell 5 Updated Feb 6, 2020

The Z3 Theorem Prover

C++ 12,389 1,667 Updated Jun 23, 2026

The seL4 microkernel

C 5,583 777 Updated Jun 22, 2026

User space mappable dma buffer device driver for Linux.

C 692 188 Updated Mar 12, 2026

Eyrie enclave runtime kernel

C 37 20 Updated Aug 2, 2023

Loadable Module for Keystone Enclave

C 19 18 Updated Sep 24, 2022

💎 🐳 A super customizable Jekyll theme for personal site, team site, blog, project, documentation, etc.

SCSS 3,343 2,667 Updated Jun 8, 2026
Next