今日 GitHub 技术精选
本期精选聚焦底层系统与 AI 基础设施：从 FPGA 以太网网卡、街机内核到持久化 Wasm 运行时、Android 反编译工具链，再到世界模型驱动的游戏视频生成与光通信文件传输。
01 · rtl-nic
其他 · SystemVerilog
RTL-NIC v0 是一个源可用的 SystemVerilog RTL 架构，为 FPGA 以太网实现自定义 ARP、IPv4、UDP 以及专用 TCP 卸载，包含四路连接缓存、64 项 TCP 控制块存储和重传超时调度。
技术看点: 在 RTL 层面自定义实现 TCP 卸载等网络协议逻辑，而非直接采用现成 IP 核。
02 · mrdo
嵌入式 / IoT · Verilog
mrdo 是一个可运行时选择的 MiSTer FPGA 内核，以周期精确的硬件模型模拟 Universal Do's Castle 家族的九款街机游戏，并提供可选 PCB 级特性。
技术看点: 单个 FPGA 内核以周期精确级建模同时还原多款街机主板的硬件行为。
03 · komputer
AI 智能体 · Rust
Komputer 是一个面向有状态 WebAssembly 程序的持久化运行时：它捕获程序续延（continuation）并将交互过程记入日志，使程序在故障或迁移后能够恢复执行。
技术看点: 将 continuation 捕获与日志式持久化相结合，让 Wasm 程序天然具备故障恢复与跨机移动能力。
04 · liblzraven
桌面 · C
liblzraven 是对 Apple LZRAVEN 压缩编解码器的净室（clean-room）C11 重实现，可在任意平台上解码 OS 27 OTA 载荷，无需依赖苹果专有库。
技术看点: 以净室方式独立重现苹果专有压缩算法，摆脱专有库带来的平台限制。
05 · dexdec
移动开发 · Rust
DexDec 是一个快速、准确的 Android 反编译工作台，可将 APK/DEX 字节码还原为可读的 Java/Kotlin 源码，并通过 MCP 与 AI 智能体集成。
技术看点: 用 Rust 构建高性能反编译管线，并以 MCP 协议把反编译能力直接开放给 AI 编程代理。
06 · StatePlay
游戏开发 · Python
StatePlay 是一个有状态感知的游戏世界模型，它显式预测内部游戏状态来指导帧生成，确保生成结果与底层游戏机制保持一致。
技术看点: 将内部状态显式预测引入世界模型管线，以状态约束保证帧生成与游戏机制的一致性。
07 · vidmap
设计创意 · Python
VidMap 是一个离线视频运动恢复结构（SfM）系统，融合时间轨迹、回环检测、度量深度与全局优化，估计相机位姿、内参并生成稀疏三维地图。
技术看点: 将时间轨迹、回环闭合与度量深度联合进行全局优化，实现纯视频输入下的相机轨迹与稀疏地图重建。
08 · decimen-optical-transfer
其他 · TypeScript
这是一个概念验证项目：仅用屏幕和摄像头在两台设备间传输文件，数据被编码为无限流动的动画二维码流，并借助喷泉码（fountain coding）应对丢帧。
技术看点: 用喷泉码为屏幕-摄像头光通信链路提供丢帧容错，使扫码传输在非理想环境下依然可靠。