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 supported. This note will be visible to only 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 51 24 Updated Feb 18, 2026

A framework for efficient model inference with omni-modality models

Python 2,765 434 Updated Feb 16, 2026

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

Python 70,612 13,526 Updated Feb 18, 2026

📝 A website for automatically generating elegant LaTeX resumes.

TeX 3,540 486 Updated Jun 19, 2024

Private Cloud Compute (PCC)

Swift 933 96 Updated Oct 31, 2025

Confidential Containers Shim Firmware

Rust 120 70 Updated Feb 18, 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 30 25 Updated Dec 19, 2025

Confidential Containers Community

327 73 Updated Feb 18, 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 2 Updated Oct 31, 2024

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

Python 1,823 126 Updated Jul 10, 2024

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

C++ 166 16 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 41,330 7,233 Updated Feb 18, 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,810 880 Updated Feb 18, 2026

Verifying OpenTitan

Dafny 28 4 Updated Aug 20, 2023

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

Coq 128 20 Updated May 19, 2022

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

Rocq Prover 323 53 Updated Feb 17, 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,138 816 Updated Feb 13, 2026

Keystone Enclave (QEMU + HiFive Unleashed)

C 519 156 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++ 11,928 1,609 Updated Feb 18, 2026

The seL4 microkernel

C 5,317 740 Updated Feb 18, 2026

User space mappable dma buffer device driver for Linux.

C 665 185 Updated Jan 25, 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,334 2,687 Updated Aug 4, 2024
Next