🚀 硬核作品
🧬
VeriDB — 形式化验证的分布式数据库
使用 TLA+ 对分布式事务协议进行完整形式化建模与模型检验，Coq 证明快照隔离正确性，Rust 实现经验证的 2PC 与 Paxos 提交协议。
⚡
Vulkanite — 自研 GPU 驱动框架
从零实现 Vulkan 1.3 兼容的 GPU 用户态驱动，涵盖 SPIR-V 着色器编译管线、命令缓冲区调度、描述符集管理与显存分配器。
🔮
QSim — 量子计算全栈模拟器
支持 32 量子比特的态向量与张量网络混合模拟引擎，实现 Shor 算法、Grover 搜索、VQE 变分求解器，含噪声模型与纠错码。
🏗️
Chimera — 异构多核微内核 OS
支持 x86-64 + RISC-V 双架构的微内核操作系统，实现 NUMA 感知调度器、用户态驱动热替换、能力安全模型与形式化验证内核接口。
🌐
ProtoStack — 自研 QUIC 协议栈
从 UDP 套接字到 HTTP/3 的完整 QUIC 协议实现，包含 0-RTT 握手、连接迁移、QPACK 头部压缩与 BBRv3 拥塞控制算法。
🔱
HydraVM — 多语言 JIT 虚拟机
基于 GraalVM 架构的元循环 JIT 编译器，支持 JavaScript/Python/Ruby 多语言混合执行，实现内联缓存、逃逸分析与部分求值优化。