Lists (1)
Sort Name ascending (A-Z)
Stars
A Simple showcase for the Sea-of-Nodes compiler IR
NVIDIA Linux open GPU kernel module source
Using Generative AI to generate FAQ from descriptions
A minimal System on a Chip (SoC) based on RISC-V compute which focuses on IoT domain.
Create Customized Software using Natural Language Idea (through LLM-powered Multi-Agent Collaboration)
hmontero1205 / kedr
Forked from euspectre/kedrMain repository of KEDR project
Mirror of Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture
Envision a future where every student can read all the code of a teaching operating system.
GPUOcelot: A dynamic compilation framework for PTX
Facebook AI Research Sequence-to-Sequence Toolkit written in Python.
Bao, a Lightweight Static Partitioning Hypervisor
Fine-grained, zero-trust workload identity & access control
6B69 Primary source of truth for the Docker "Official Images" program
UVP Tools is a tool that integrates the Xen front-end driver and uvp-monitor (virtual machine monitoring program). It is designed for use on virtual machines (VMs) equipped with a 32-bit x86-based …
Introspection on the ARM TrustZone using ITZ library
A minimal kernel used as a reference implementation to support teaching activities.
An ongoing attempt to create own hypervisior from scratch in linux.