-
Huazhong University of Science and Technology | Ant Group
- Beijing
-
16:08
(UTC +08:00)
Highlights
- Pro
Starred repositories
PORTGPT: Towards Automated Backporting Using Large Language Models(IEEE S&P2026)
Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware.
Documentation for the RISC-V Supervisor Binary Interface
Welcome to the Public Roadmap for All Things Docker! We welcome your ideas.
This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.
Source code of a multiple series of tutorials about the hypervisor. Available at: https://rayanfam.com/tutorials
🥢像老乡鸡🐔那样做饭。主要部分于2024年完工,非老乡鸡官方仓库。文字来自《老乡鸡菜品溯源报告》,并做归纳、编辑与整理。CookLikeHOC.
Thunderbird for iOS – Open Source Email App f C300 or iOS
文言文編程語言 A programming language for the ancient Chinese.
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety an…
🎓 Path to a free self-taught education in Computer Science!
Rust virtual machine and JIT compiler for eBPF programs
《Designing Data-Intensive Application》DDIA 第一版 / 第二版 中文翻译
程序员应该访问的最佳网站中文版
一个高质量、经典计算机书籍推荐清单,特点为:只收集高质量,各方向经典书籍,不求书多,只求书精。
程序员延寿指南 | A programmer's guide to live longer
Collection of resources about Virtualization
《开源大模型食用指南》针对中国宝宝量身打造的基于Linux环境快速微调(全参数/Lora)、部署国内外开源大模型(LLM)/多模态大模型(MLLM)教程
😎 Awesome lists about all kinds of interesting topics
A curated list of awesome projects related to eBPF.