websocket 是 Go 语言的 WebSocket 实现，提供稳定的 API 和示例；mathlib4 是 Lean 4 的数学库，支持用户协作和迁移；rt64 是现代化的 N64 渲染器，优化游戏体验；assignments 是开源作业管理项目，支持分类和提醒；k8sgpt 用于扫描和诊断 Kubernetes 集群问题。